Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 61 bis 70 von 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. Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

    Working Notes of the KI'95 Workshop: KRDB-95 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

    DFKI, DFKI Documents (D), Vol. 95-12, 1995.

  5. Technical Staff

    DFKI Jahresbericht 1994

    DFKI, DFKI Documents (D), Vol. 95-08, 1995.