Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 97.
  1. Andreas Abecker; Harold Boley; Knut Hinkelmann; Holger Wache; Franz Schmalhofer

    An Environment for Exploring and Validating Declarative Knowledge

    DFKI, DFKI Technical Memos (TM), Vol. 95-03, 1995.

  2. Martin Buchheit; Rüdiger Klein; Werner Nutt

    Constructive Problem Solving: A Model Construction Approach towards Configuration

    DFKI, DFKI Technical Memos (TM), Vol. 95-01, 1995.

  3. Bernhard Nebel; Jana Koehler

    Plan Reuse versus Plan Generation: A theoretical and empirical Analysis

    In: Artificial Intelligence (AIJ), Vol. 76, No. 1-2, Pages 427-454, ELSEVIER, Amsterdam, 7/1995.

  4. Anne Kilger; Wolfgang Finkler

    Incremental Generation for Real-Time Applications

    DFKI, DFKI Research Reports (RR), Vol. 95-11, 1995.

  5. Gert Smolka

    The Oz Programming Model

    DFKI, DFKI Research Reports (RR), Vol. 95-10, 1995.

  6. Martin Buchheit; F. M. Donini; Werner Nutt; A. Schaerf

    A Refined Architecture for Terminological Systems: Terminology = Schema + Views

    DFKI, DFKI Research Reports (RR), Vol. 95-09, 1995.

  7. Michael Mehl; Ralf Scheidhauer; Christian Schulte

    An Abstract Machine for Oz

    DFKI, DFKI Research Reports (RR), Vol. 95-08, 1995.

  8. Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt

    The Complexity of Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 95-07, 1995.