Skip to main content Skip to main navigation

Publications

 

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

Displaying results 61 to 70 of 144.
  1. Hassan Aït-Kaci; Andreas Podelski; Gert Smolka

    A Feature-based Constraint System for Logic Programming with Entailment

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

  2. Jochen Heinsohn; Daniel Kudenko; Bernhard Nebel; Hans-Jürgen Profitlich

    An Empirical Analysis of Terminological Representation Systems

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

  3. Winfried Graf

    Constraint-Based Graphical Layout of Multimodal Presentations

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

  4. Markus A. Thies; Frank Berger

    Planbasierte graphische Hilfe in objektorientierten Benutzungsoberflächen

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

  5. Susanne Biundo; Dietmar Dengler; Jana Koehler

    Deductive Planning and Plan Reuse in a Command Language Environment

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

  6. Mathias Bauer

    An Interval-based Temporal Logic in a Multivalued Setting

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

  7. Winfried Graf; Markus A. Thies

    Perspektiven zur Kombination von automatischem Animationsdesign und planbasierter Hilfe

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

  8. Gabriele Merziger

    Approaches to Abductive Reasoning - An Overview

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

  9. Michael Beetz

    Decision-theoretic Transformational Planning

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