Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 85.
  1. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

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

  2. Christoph Klauck; Johannes Schwagereit

    GGD: Graph Grammar Developer for features in CAD/CAM

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

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

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

  5. Bernhard Hollunder

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

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

  6. Armin Laux

    Representing Belief in Multi-Agent Worlds via Terminological Logics

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

  7. Hans-Ulrich Krieger; John Nerbonne; Hannes Pirker

    Feature-Based Allomorphy

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

  8. Jörg P. Müller; Markus Pischel

    The Agent Architecture InteRRaP: Concept and Application

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

  9. Klaus Fischer; Norbert Kuhn

    A DAI Approach to Modeling the Transportation Domain

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

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