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 31 to 40 of 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. G. Barth; Andreas Dengel

    Künstliche Intelligenz

    In: Bild der Wissenschaft, Vol. 1/90, Pages 106-110, Konradin Medien GmbH, Leinfelden-Echterdingen, 1990.

  5. Franz Baader; Bernhard Hollunder

    KRIS: K-nowledge R-epresentation and I-nference S-ystem -System Description-

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

  6. Jay Weber

    The Myth of Domain-Independent Persistence

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

  7. Som Bandyopadhyay

    Towards an Understanding of Coherence in Multimodal Discourse

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

  8. Franz Baader; Werner Nutt

    Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification

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

  9. Franz Schmalhofer; Otto Kühn; Gabriele Schmidt

    Integrated Knowledge Acquisition from Text, Previously Solved Cases, and Expert Memories

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