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 128.
  1. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

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

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

  3. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

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

  4. Christoph Klauck; Johannes Schwagereit

    GGD: Graph Grammar Developer for features in CAD/CAM

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

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

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

  7. Bernhard Hollunder

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

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

  8. Jochen Bedersdorfer; Karsten Konrad; Ingo Neis; Oliver Scherf; Jörg Steffen; Michael Wein

    Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen

    In: Harold Boley; François Bry; Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere …

  9. Rolf Backofen; Hans-Ulrich Krieger; Stephen P. Spackman; Hans Uszkoreit

    EAGLES Workshop on Implemented Formalisms at DFKI

    DFKI Document, DFKI, Vol. D-93-27, 1993.

  10. Rolf Backofen; Hans-Ulrich Krieger; Stephen P. Spackman; Hans Uszkoreit

    Report of the EAGLES Workshop on Implemented Formalisms at DFKI

    DFKI, DFKI Documents (D), Vol. 93-27, 1993.