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 91 to 100 of 119.
  1. 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.

  2. Hans-Jürgen Bürckert

    Resolution, Graph-based

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

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

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

  5. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

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

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

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

  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. Michael M. Richter; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Akquisition und Repräsentation von technischem Wissen für Planungsaufgaben im Bereich der Fertigungstechnik

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

  9. Michael M. Richter; Bernd Bachmann; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner; Gabriele Schmidt

    Akquisition und Repräsentation von technischem Wissen für Planungsaufgaben im Bereich der Fertigungstechnik

    In: VDI-EKV: Erfolgreiche Anwendung wissensbasierter Systeme in Entwicklung und Konstruktion. VDI-EKV Fachtagung des Arbeitskreises Entwicklung, …

  10. Ralf Legleitner; Ansgar Bernardi; Christoph Klauck

    PIM: Skeletal Plan Based CAPP

    In: International Conference on Manufacturing Automation. International Conference on Manufacturing Automation (ICMA), 1991.