Skip to main content Skip to main navigation

Publications

Displaying results 11 to 20 of 58.
  1. Susanne Biundo

    Plan Generation Using a Method of Deductive Program Synthesis

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

  2. Bernhard Hollunder

    Hybrid Inferences in KL-ONE-based Knowledge Representation Systems

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

  3. Franz Baader

    A Formal Definition for the Expressive Power of Knowledge Representation Languages

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

  4. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  5. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

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

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

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

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

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