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 31 to 40 of 128.
  1. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann

    Projekt WINO: Wissens- und Inferenzobjektivierung

    Abschlussbericht, 1993.

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

    On Skolemization in Constrained Logis

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-06, 1993.

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

    Concept Logics with Function Symbols

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-07, 4/1993.

  4. Bernhard Nebel; Hans-Jürgen Bürckert

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    DFKI, DFKI Research Reports (RR), Vol. 93-11, 1993.

  5. Franz Baader; Hans-Jürgen Bürckert

    Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)

    In: Eric Domenjoud; Claude Kirchner (Hrsg.). Proceedings of 1st CCL Workshop. Computational Chemistry List Workshop (CCL), 1st, Nancy, France, …

  6. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Modeling Epistemic Propositions

    Workshop on Modeling Epistemic Propositions, located at 17th German Conference on Artificial Intelligence, September 13-16, Berlin, Germany, DFKI …

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

    The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen

    In: A. B. Cremers; G. Lakemeyer (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". AKI-Workshop Wissensrepräsentation, Bonn, Germany, 1993.

  8. Hans-Jürgen Bürckert; Werner Nutt

    Modellierung epistemischer Propositionen

    In: O. Herzog; Th. Christaller; D. Schütt (Hrsg.). Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz. …

  9. Ansgar Bernardi; Zhaohui Wu; Christoph Klauck; Ralf Legleitner

    Manufacturing Process Planning: A Case-Based Approach

    In: Jianping Wu; Jin Yang; Wen Gao; Yamin Li (Hrsg.). Proceedings of Third International Conference for Young Computer Scientists. International …

  10. Ansgar Bernardi; Ralf Legleitner; Christoph Klauck

    PIM-Skeletal plan-based CAPP

    In: Computers in Industry, Vol. 23, No. 1-2, Pages 87-97, Elsevier Science Publishers B. V. 11/1993.