Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1992
Remove all filters
Displaying results 31 to 40 of 144.

  1. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

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

  2. Harold Boley

    A Direkt Semantic Characterization of RELFUN

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

  3. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

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

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

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

    On Abduction and Answer Generation through Constained Resolution

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

  6. Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

    Heuristic Classification for Automated CAPP

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

  7. Bernhard Nebel; Jana Koehler

    Plan Modifications versus Plan Generation: A Complexity-Theoretic Perspective

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

  8. Christoph Klauck; Jakob Mauss

    A Heuristic driven Parser for Attributed Node Labeled Graph Grammars and its Application to Feature Recognition in CIM

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

  9. John Nerbonne

    A Feature-Based Syntax/Semantics Interface

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

  10. Andreas Lux

    A Multi-Agent Approach towards Group Scheduling

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

Year