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 61 to 70 of 119.
  1. Hans-Jürgen Bürckert

    Resolution, Graph-based

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

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

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

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

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

  6. Ralf Legleitner; Ansgar Bernardi; Christoph Klauck

    PIM: Skeletal Plan Based CAPP

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

  7. Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

    FEAT-REP: Representing Features in CAD/CAM

    Research Report, Vol. 91-20, 6/1991.

  8. Christoph Klauck; Ansgar Bernardi; Ralf Legleitner

    FEAT-REP: Representing Features in CAD/CAM

    In: IV International Symposium on Artificial Intelligence: Applications in Informatics and International Conference on Manufacturing Automation. …

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

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