Skip to main content Skip to main navigation

Publications

 

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

Displaying results 11 to 20 of 58.
  1. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

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

  2. Susanne Biundo

    Plan Generation Using a Method of Deductive Program Synthesis

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

  3. Bernhard Hollunder

    Hybrid Inferences in KL-ONE-based Knowledge Representation Systems

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

  4. Franz Baader

    A Formal Definition for the Expressive Power of Knowledge Representation Languages

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

  5. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  6. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

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

  7. Georg Seul

    Logisches Programmieren mit Feature - Typen

    DFKI, DFKI Documents (D), Vol. 90-02, 1990.

  8. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1989

    DFKI, DFKI Documents (D), Vol. 90-01, 1990.

  9. Generierung natürlicher Sprache mit Generalisierten Phrasenstrukturgrammatiken

    PhD-Thesis, Technische Universität Berlin, Fachbereich Informatik, KIT Report, Vol. 87, No. 87, 1990.