Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 97
  1. Technical Staff

    DFKI Jahresbericht 1994

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

  2. Georg Schneider

    Eine Werkbank zur Erzeugung von 3D-Illustrationen

    DFKI, DFKI Documents (D), Vol. 95-05, 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. Andreas Butz

    BETTY - Ein System zur Planung und Generierung informativer Animationssequenzen

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

  5. Susanne Biundo; Wolfgang Tank (Hrsg.)

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

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

  6. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik

    Task Acquisition with a Description Logic Reasoner

    In: Ipke Wachsmuth; Claus-Rainer Rollinger; Wilfried Brauer (Hrsg.). KI'95: Proceedings of the 19th Annual German Conference on Artificial …

  7. Ulrich Furbach; Hans-Jürgen Bürckert; Joachim Hertzberg; Bernhard Nebel; Gerd Brewka; Gerd Lakemeyer; Torsten Schaub; Frank Puppe

    Ist die Wissensrepräsentation tot?

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  8. Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux

    Terminological Reasoning with Knowledge and Beliefs

    In: Armin Laux; Heinrich Wansing (Hrsg.). Knowledge and Beliefs in Philosophy and Artificial Intelligence. Pages 29-64, Akademie-Verlag, 1995.