Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 119
  1. Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Koehler; G. Merziger

    Integrated Plan Generation and Recognition - A Logic-Based Approach

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

  2. Karin Harbusch; Wolfgang Finkler; Anne Schauder

    Incremental Syntax Generation with Tree Adjoining Grammars

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

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

  4. Hans-Jürgen Bürckert

    Resolution, Graph-based

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

  5. Hans-Jürgen Bürckert; Heinz-Jürgen Müller

    RATMAN: Rational Agent Testbed for Multi Agent Networks

    In: Yves Demazeau; Jean-Pierre Müller (Hrsg.). Decentralized A.I. 2. Pages 217-230, Elsevier Science Publishers, 1991.

  6. Hans-Jürgen Bürckert

    RATMAN: A Rational Agent Testbed for Multi Agent Networks

    In: Yves Demazeau; Jean-Pierre Müller (Hrsg.). Decentralized AI2 - Proceedings of 2nd European Workshop on Modelling Autonomous Agents in a Multi …

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

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

  9. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

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

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

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