Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 51 bis 60 von 119
  1. Bernhard Hollunder; Franz Baader

    Qualifying Number Restrictions in Concept Languages

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

  2. Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt

    The Complexity of Existential Quantification in Concept Languages

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

  3. Strategies for Adding Control Information to Declarative Grammars

    In: Proceedings of the 29th Annual Meeting of the Association of Computational Linguistics. Annual Meeting of the Association for Computational …

  4. Strategies for Adding Control Information to Declarative Grammars

    CLAUS-Report, Universität des Saarlandes, Vol. 10, 6/1991.

  5. Strategies for Adding Control Information to Declarative Grammars

    DFKI, DFKI Research Reports (RR), Vol. 91-29, 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 …

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

  8. Hans-Jürgen Bürckert

    Resolution, Graph-based

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

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

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