Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 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. Rolf Backofen; James Rogers; K. Vijay-Shanker

    A First-Order Axiomatization of the Theory of Finite Trees

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

  4. Georg Schneider

    Eine Werkbank zur Erzeugung von 3D-Illustrationen

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

  5. Andreas Butz

    BETTY - Ein System zur Planung und Generierung informativer Animationssequenzen

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

  6. Susanne Biundo; Wolfgang Tank (Hrsg.)

    Beiträge zum Workshop "Planen und Konfigurieren", Februar 1995

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

  7. Joachim Niehren

    Functional Computation as Concurrent Computation

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

  8. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

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