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 21 bis 30 von 80
  1. Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Knowledge Representation and Configuration

    Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.

  2. Hans-Jürgen Bürckert; Werner Nutt; Christian Seel

    The Role of Formal Knowledge Representation in Configuration

    In: Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.). Proceedings of the Workshop on Knowledge Representation and Configuration. Workshop on …

  3. Hans-Jürgen Bürckert; Ingo Zinnikus

    Modellgesteuertes Daten-Retrieval (Abstract)

    In: K. Prasser (Hrsg.). Workshop Deduktion - Zusammenfassungen. Workshop Deduktion, Uni Dresden, Vol. Interner Bericht Uni Dresden, No. WV-96-09, Uni …

  4. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

    Projekt TACOS: Taxonomies and Common Sense

    Abschlussbericht, 1996.

  5. Hans-Jürgen Bürckert

    Induktion

    In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 265-266, Klett-Kotta, 1996.

  6. Hans-Jürgen Bürckert

    Deduktion

    In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 112-113, Klett-Kotta, 1996.

  7. Hans-Jürgen Bürckert

    Abduktion

    In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Page 8, Klett-Kotta, 1996.

  8. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    On Skolemization in Constrained Logics

    In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.

  9. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

    Mastersthesis, TH-Darmstadt, Germany, 12/1996.

  10. Susanne Biundo; Werner Stephan

    Modelling Planning Domains Systematically

    In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …