Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 21 bis 30 von 128
  1. Martin Buchheit; Francesco M. Donini; Andrea Schaerf

    Decidable Reasoning in Terminological Knowledge Representation Systems

    DFKI, DFKI Research Reports (RR), Vol. 93-10, 1993.

  2. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

    DFKI, DFKI Research Reports (RR), Vol. 93-09, 1993.

  3. Harold Boley; Philipp Hanschke; Knut Hinkelmann; Manfred Meyer

    CoLab: A Hybrid Knowledge Representation and Compilation Laboratory

    DFKI, DFKI Research Reports (RR), Vol. 93-08, 1993.

  4. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

    DFKI, DFKI Research Reports (RR), Vol. 93-05, 1993.

  5. Christoph Klauck; Johannes Schwagereit

    GGD: Graph Grammar Developer for features in CAD/CAM

    DFKI, DFKI Research Reports (RR), Vol. 93-04, 1993.

  6. Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi

    An Empirical Analysis of Optimization Techniques for Terminological Representation Systems

    DFKI, DFKI Research Reports (RR), Vol. 93-03, 1993.

  7. Wolfgang Wahlster; Elisabeth Andre; Wolfgang Finkler; Hans-Jürgen Profitlich; Thomas Rist

    Plan-based Integration of Natural Language and Graphics Generation

    DFKI, DFKI Research Reports (RR), Vol. 93-02, 1993.

  8. Bernhard Hollunder

    An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

    DFKI, DFKI Research Reports (RR), Vol. 93-01, 1993.

  9. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

    DFKI, DFKI Research Reports (RR), Vol. 93-42, 1993.

  10. Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt; Andrea Schaerf

    Queries, Rules and Definitions as Epistemic Statements in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 93-40, 1993.