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 101 to 110 of 119.
  1. An Approach for Self-Adapting Structuring of Space Using Puzzletree-Encoding

    In: Proceedings of the 4th International Symposium on Artificial Intelligence. International Symposium on Artificial Intelligence (ISAI), 4th, …

  2. Hans-Jürgen Bürckert

    Constraints and Restricted Quantifiers (Abstract)

    In: Comon et al. (Hrsg.). Theorem Proving and Logic Programming with Constraints. Dagstuhl Seminare/Workshops, Dagstuhl Seminar 9143, October 24-25, …

  3. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.

  4. Hans-Jürgen Bürckert; Jürgen Müller; Achim Schupeta

    RATMAN and its Relation to other Multi-agent Testbeds

    DFKI, DFKI Research Reports (RR), Vol. 91-09, 1991.

  5. Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Werner Nutt; Hans-Jürgen Profitlich

    Terminological Knowledge Representation: A Proposal for a Terminological Logic.

    In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International …

  6. Wirklichkeiten und Wunschdenken: Menschliche Wahrnehmung und maschinelles Sehen

    In: Themen aus der Wissenschaft, Vol. Wissenschaftliche Aspekte der Künstlichen Intelligenz, No. 4, Pages 55-70, 5/1991.

  7. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    TEC-REP: Repräsentation von Geometrie- und Technologieinformationen

    DFKI, DFKI Documents (D), Vol. 91-07, 6/1991.

  8. Ansgar Bernardi; Harold Boley; Knut Hinkelmann; Philipp Hanschke; Christoph Klauck; Otto Kühn; Ralf Legleitner; Manfred Meyer; Michael M. Richter; Gabriele Schmidt; Franz Schmalhofer; Walter Sommer

    ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

    In: Proceedings of th 10th International Workshop on Expert Systems and their Applications: Tools, Techniques and Methods. International Workshop on …

  9. Hans-Jürgen Bürckert

    A Resolution Principle for a Logic with Restricted Quantifiers

    PhD-Thesis, Universität Kaiserslautern, FB Informatik, Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, 1991.

  10. Hans-Jürgen Bürckert

    Resolution, Graph-based

    In: Stuart C. Shapiro (Hrsg.). Encyclopedia of Artificial Intelligence. Pages 1353-1356, John Wiley, 1991.