Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 58
  1. Gregor Erbach

    Syntactic Processing of Unknown Words

    IBM, IWBS Report, Vol. 131, 1990.

  2. Gregor Erbach

    Parsing

    IBM Deutschland GmbH, IWBS Report , Vol. 137, 1990.

  3. Gregor Erbach

    Natural Language Understanding in LILOG: An Intermediate Overview

    IBM Deutschland GmbH, IWBS Report, Vol. 137, 1990.

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

  5. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

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

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

  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

    A Resolution Principle for Clauses with Constraints

    DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.

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

  10. Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich

    Terminological Knowledge Representation: A Proposal for a Terminological Logic

    DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.