Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 97.
  1. Syntactic Analysis and Representation of Spatial Structures by Puzzle¬trees

    In: International Journal on Pattern Recognition and Artificial Intelligence (IJPRAI), Vol. 9, No. 3/1995, Pages 517-533, 1995.

  2. 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 Intelligence: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI), Pages 125-136, Lecture Notes In Computer Science (LNCS), Vol. 981, ISBN 3-540-60343-3, Springer-Verlag, London, UK, 1995.

  3. 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 Informatik e.V. (KI), Vol. 95, No. 5, Pages 18-26, 1995.

  4. 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.

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

    Task Acquisition with a Descriptin Logic Reasoner

    In: A. Borgida; M. Lenzerini; D. Nardi; B. Nebel (Hrsg.). Proceedings of the 1995 International Workshop on Description Logics. International Workshop on Description Logics (DL-1995), June 2-3, University "La Sapienza", Rome, Italy, Pages 99-105, Research Reports, Vol. RAP 07.95, 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

    Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 95-04, 1995.

  7. 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.

  8. 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.