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 111 bis 120 von 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. 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 …

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

  9. Zhaohui Wu; Ansgar Bernardi; Christoph Klauck

    Skeletal Plans Reuse: A Restricted Conceptual Graph Classification Approach

    In: Proceedings of Seventh Annual Workshop on Conceptual Graphs. Annual Workshop on Conceptual Graphs, Conceptual Structures: Theory and …

  10. Ansgar Bernardi; Ralf Legleitner; Christoph Klauck

    PIM: Skeletal plan based CAPP

    In: CARS & FOF '92: Excerpts from the 8th International Conference on CAD/CAM, Robotics and Factories of the Future. ISPE International Conference on …