Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 128.
  1. Winfried Graf

    LAYLAB: A Constraint-Based Layout Manager for Multimedia Presentations

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

  2. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

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

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

  4. Stephen P. Spackman; Elizabeth Hinkelman

    Corporate Agents

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

  5. Armin Laux

    Representing Belief in Multi-Agent Worlds via Terminological Logics

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

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

    Feature-Based Allomorphy

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

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

    The Agent Architecture InteRRaP: Concept and Application

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

  8. Klaus Fischer; Norbert Kuhn

    A DAI Approach to Modeling the Transportation Domain

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

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

  10. Franz Baader; Bernhard Hollunder

    Embedding Defaults into Terminological Knowledge Representation Formalisms

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