Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 58.
  1. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.

  2. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …

  3. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    STEP: Überblick über eine zukünftige Schnittstelle zum Produktdatenaustausch

    DFKI, DFKI Documents (D), Vol. 90-04, 9/1990.

  4. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Abschlußbericht des Arbeitspaketes PROD

    DFKI, DFKI Documents (D), Vol. 90-03, 9/1990.

  5. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

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

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

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

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

  9. Jay Weber

    The Myth of Domain-Independent Persistence

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