Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1991
Remove all filters
Displaying results 51 to 60 of 119.

  1. Winfried Graf; Wolfgang Maaß

    Constraint-basierte Verarbeitung graphischen Wissens

    In: W. Brauer; D. Hernández (Hrsg.). Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 4. Internationaler GI-Kongress Wissensbasierte Systeme, Proceedings. Internationaler GI-Kongress "Wissensbasierte Systeme", 4. October 23-24, München, Germany, Pages 243-253, Springer, 1991.

  2. Klaus-Dieter Althoff; Frank Maurer; Ralph Traphöner; Stefan Wess

    Die Lernkomponente der MOLTKE3-Werkbank zur Diagnose technischer Systeme

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 1991, No. 1, Pages 58-64, FBO-Verlag, 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 Agent World. European Workshop on Modelling Autonomous Agents in Multi Agent Worlds (MAAMAW-90), 2nd, Pages 217-230, Elsevier Science Publishers, 1991.

  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, IBFI Dagstuhl, Dagstuhl Seminar-Reports, Vol. 24, 1991.

  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 Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany, Pages 120-128, DFKI Documents (D), Vol. 91-13, DFKI GmbH, 1991.

Year