Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1990
Alle Filter entfernen
Zeige Ergebnisse 21 bis 30 von 58.

  1. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

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

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

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

  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, Pages 177-201, ESPRIT Basic Research Series, Vol. 1, Springer, 11/1990.

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

    The Application of Two-Level Morphology to Non-Concatenative German Morphology

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

  8. Harald Trost

    The Application of Two-Level Morphology to Non-Concatenative German Morphology

    In: Hans Karlgren (Hrsg.). Proceedings of the13th International Conference on Computational Linguistics (COLING '90). International Conference on Computational Linguistics (COLING), 13th, August 20-25, Helsinki, Finland, Pages 371-376, Vol. 2, University of Helsinki, 1990.

  9. Günter Neumann; Wolfgang Finkler

    A Head-Driven Approach to Incremental and Parallel Generation of Syntactic Structures

    Universität des Saarlandes, CLAUS-Report, Vol. 2, 8/1990.

  10. Günter Neumann; Wolfgang Finkler

    A Head-Driven Approach to Incremental and Parallel Generation of Syntactic Structures

    In: Hans Karlgren (Hrsg.). Proceedings of the 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-90), 13th, August 19-25, Helsinki, Finland, Pages 288-293, Vol. 2, University of Helsinki, 1990.

Jahr