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 91 to 100 of 119.
  1. 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 …

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

  3. Hans-Jürgen Bürckert

    Resolution, Graph-based

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

  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. Rolf Backofen; Harald Trost; Hans Uszkoreit

    Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends

    In: W. Brauer; D. Hernandez (Hrsg.). 4th Internationaler GI-Kongress Wissenbasierte Systeme. Verteilte Künstliche Intelligenz und kooperatives …

  7. Rolf Backofen; Lutz Euler; Günther Görz

    Towards the Integration of Functions, Relations and Types in an AI Programming Language

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

  8. Rolf Backofen; Lutz Euler; Günther Görz

    Distributed Disjunctions for LIFE

    In: Harold Boley; M.M. Richter (Hrsg.). International Workshop on Processing Declarative Knowledge. International Workshop on Processing Declarative …

  9. Tania Avgustinova; Karel Oliva

    The Structure of Bulgarian Verb Complex

    CLAUS-Report, Universität des Saarlandes, Vol. 4, 2/1991.