Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 144

Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul

PHI - A Logic-Based Tool for Intelligent Help Systems

DFKI, DFKI Research Reports (RR), Vol. 92-52, 1992.
Hans-Jürgen Bürckert; Werner Nutt

On Abduction and Answer Generation through Constained Resolution

DFKI, DFKI Research Reports (RR), Vol. 92-51, 1992.
Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

Heuristic Classification for Automated CAPP

DFKI, DFKI Research Reports (RR), Vol. 92-49, 1992.
Bernhard Nebel; Jana Koehler

Plan Modifications versus Plan Generation: A Complexity-Theoretic Perspective

DFKI, DFKI Research Reports (RR), Vol. 92-48, 1992.
Karl Schlechta

Defaults, Preorder Semantics and Circumscription

DFKI, DFKI Research Reports (RR), Vol. 92-60, 1992.
Karl Schlechta; David Makinson

On Principles and Problems of Defeasible Inheritance

DFKI, DFKI Research Reports (RR), Vol. 92-59, 1992.
Franz Baader; Bernhard Hollunder

How to Prefer More Specific Defaults in Terminological Default Logic

DFKI, DFKI Research Reports (RR), Vol. 92-58, 1992.
Armin Laux

Integrating a Modal Logic of Knowledge into Terminological Logics

DFKI, DFKI Research Reports (RR), Vol. 92-56, 1992.
Achim Schupeta

Organizing Communication and Introspection in a Multi-Agent Blocksworld

DFKI, DFKI Technical Memos (TM), Vol. 92-02, 1992.
Lijuan Zhang

Entwurf und Implementierung eines Compilers zur Transformation von Werkstückrepräsentationen

DFKI, DFKI Technical Memos (TM), Vol. 92-01, 1992.