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 71 to 80 of 119.
  1. 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.

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

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

  4. Ralf Legleitner; Ansgar Bernardi; Christoph Klauck

    PIM: Skeletal Plan Based CAPP

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

  5. Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

    FEAT-REP: Representing Features in CAD/CAM

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

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

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

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

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

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