Publications

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

Displaying results 31 to 33 of 33.

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.
Michael Sintek

FLIP: Functional-plus-Logic Programming on an Integrated Platform

DFKI, DFKI Technical Memos (TM), Vol. 95-02, 1995.
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.