Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 1990
Remove all filters
Displaying results 11 to 20 of 58.

  1. Franz Baader

    A Formal Definition for the Expressive Power of Knowledge Representation Languages

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

  2. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  3. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

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

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

  5. Jay Weber

    The Myth of Domain-Independent Persistence

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

  6. Som Bandyopadhyay

    Towards an Understanding of Coherence in Multimodal Discourse

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

  7. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

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

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

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

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

Year