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 21 bis 30 von 58
  1. 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.

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

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

  4. Guiding Induction Proofs

    In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …

  5. 16 Einträge für den Bereich der Unifikationsgrammatiken

    In: H. Bußmann (Hrsg.). Lexikon der Sprachwissenschaft. Kröner, Stuttgart, 1990.

  6. 13 Lexikonartikel für den Bereich der Unifikationsgrammatiken

    In: H. Bußmann (Hrsg.). Lexikon der Sprachwissenschaft. Kröner, Stuttgart, 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 …

  9. La grammaire d'unification catégorielle

    In: Philip Miller; T. Torris (Hrsg.). Formalismes syntaxiques pour le traitement automatique du langage naturel. Pages 183-205, Hermes, Paris, 1990.

  10. Extraposition and Adjunct Attachment in Categorial Unification Grammar

    In: Werner Bahner (Hrsg.). Proceedings of the 14th International Congress of Linguists. International Congress of Linguists, 14th, August 10-15, …