Institut für Wirtschaftsinformatik

Seite 7 von 11.

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

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

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

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

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

6. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

   Concept Logics

   In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, …

7. Hans-Jürgen Bürckert

   A Resolution Principle for Clauses with Constraints

   In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …

8. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

   On Equational Theories, Unification, and (Un)decidability

   In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.

9. Hans-Jürgen Bürckert

   Matching - A Special Case of Unification?

   In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.

10. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

    Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.

• vorherige
• 1
• …
• 6
• 7
• 8
• …
• 11
• nächste