Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 80.
  1. Hans-Jürgen Bürckert

    Abduktion

    In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Page 8, Klett-Kotta, 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 …

  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 …

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

  7. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

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

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …

  10. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.