Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 128.
  1. Pierre Sablayrolles

    A Two-Level Semantics for French Expressions of Motion

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

  2. Martin Buchheit; Francesco M. Donini; Andrea Schaerf

    Decidable Reasoning in Terminological Knowledge Representation Systems

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

  3. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

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

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

  5. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

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

  6. Christoph Klauck; Johannes Schwagereit

    GGD: Graph Grammar Developer for features in CAD/CAM

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

  7. Manfred Meyer; Jörg P. Müller

    Weak Looking-Ahead and its Application in Computer-Aided Process Planning

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

  8. Franz Baader; Bernhard Hollunder

    Embedding Defaults into Terminological Knowledge Representation Formalisms

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

  9. Klaus Schild

    Terminological Cycles and the Propositional μ-Calculus

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

  10. Gert Smolka; Martin Henz; Jörg Würtz

    Object-Oriented Concurrent Constraint Programming in Oz

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