Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 80
  1. Armin Laux

    Representing Belief in Multi-Agent Worlds via Terminological Logics

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

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

    Feature-Based Allomorphy

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

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

    The Agent Architecture InteRRaP: Concept and Application

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

  4. Klaus Fischer; Norbert Kuhn

    A DAI Approach to Modeling the Transportation Domain

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

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

  6. Franz Baader; Bernhard Hollunder

    Embedding Defaults into Terminological Knowledge Representation Formalisms

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

  7. Klaus Schild

    Terminological Cycles and the Propositional μ-Calculus

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

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

    Object-Oriented Concurrent Constraint Programming in Oz

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

  9. Frank Berger; Thomas Fehrle; Kristof Klöckner; Volker Schölles; Markus A. Thies; Wolfgang Wahlster

    PLUS - Plan-based User Support Final Project Report

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

  10. Joachim Niehren; Andreas Podelski; Ralf Treinen

    Equational and Membership Constraints for Infinite Trees

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