Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 92
  1. Hans Werner Höper

    Systematik zur Beschreibung von Werkstücken in der Terminologie der Featuresprache

    DFKI, DFKI Documents (D), Vol. 92-06, 1992.

  2. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

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

  3. Harold Boley

    A Direkt Semantic Characterization of RELFUN

    DFKI, DFKI Research Reports (RR), Vol. 92-54, 1992.

  4. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

    DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.

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

  6. Hans-Jürgen Bürckert; Werner Nutt

    On Abduction and Answer Generation through Constained Resolution

    DFKI, DFKI Research Reports (RR), Vol. 92-51, 1992.

  7. Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

    Heuristic Classification for Automated CAPP

    DFKI, DFKI Research Reports (RR), Vol. 92-49, 1992.

  8. Bernhard Nebel; Jana Koehler

    Plan Modifications versus Plan Generation: A Complexity-Theoretic Perspective

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

  9. Frank Bomarius

    A Multi-Agent Approach towards Modeling Urban Traffic Scenarios

    DFKI, DFKI Research Reports (RR), Vol. 92-47, 1992.

  10. Elisabeth Andre; Wolfgang Finkler; Winfried Graf; Thomas Rist; Anne Schauder; Wolfgang Wahlster

    WIP: The Automatic Synthesis of Multimodal Presentations

    DFKI, DFKI Research Reports (RR), Vol. 92-46, 1992.