Skip to main content Skip to main navigation

Publications

Displaying results 13 to 18 of 97.
  1. Andreas Abecker; Harold Boley; Knut Hinkelmann; Holger Wache; Franz Schmalhofer

    An Environment for Exploring and Validating Declarative Knowledge

    DFKI, DFKI Technical Memos (TM), Vol. 95-03, 1995.

  2. Martin Buchheit; Rüdiger Klein; Werner Nutt

    Constructive Problem Solving: A Model Construction Approach towards Configuration

    DFKI, DFKI Technical Memos (TM), Vol. 95-01, 1995.

  3. Joachim Niehren

    Functional Computation as Concurrent Computation

    DFKI, DFKI Research Reports (RR), Vol. 95-14, 1995.

  4. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

    DFKI, DFKI Research Reports (RR), Vol. 95-13, 1995.