Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 80.
  1. Gregor Erbach

    Toward a Theory of Degrees of Grammaticality

    In: C. Martin-Vide (Hrsg.). 1st International Conference on Mathematical Linguistics. International Conference on Mathematical Linguistics, 1st, May 2-4, Tarragona, Spain, Pages 15-16, 1996.

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

  3. 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 Knowledge Representation and Configuration (WKRP-96), DFKI GmbH, Pages 11-16, DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.

  4. 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 Dresden, 1996.

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

    Projekt TACOS: Taxonomies and Common Sense

    Abschlussbericht, 1996.

  6. Hans-Jürgen Bürckert

    Induktion

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

  7. Hans-Jürgen Bürckert

    Deduktion

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

  8. Hans-Jürgen Bürckert

    Abduktion

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

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

  10. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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