Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

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

  1. Gregor Erbach

    An Environment for Experimenting with Parsing Strategies

    IWBS Report, IBM Deutschland GmbH, Vol. 167, 1991.

  2. Gregor Erbach

    A Bottom-Up Algorithm for Parsing and Generation

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

  3. John Nerbonne; Klaus Netter; Abdel Kader Diagne; Ludwig Dickmann; Judith Klein

    A Diagnostic Tool for German Syntax

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

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

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

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

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

  8. Hans-Jürgen Bürckert

    A Resolution Principle for a Logic with Restricted Quantifiers

    Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, Springer, 1991.

  9. Dieter Hutter

    Mustergesteuerte Strategien für das Beweisen von Gleichungen

    PhD-Thesis, University of Karlsruhe, 1991.

Year