Publications

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

Displaying results 1 to 10 of 105.

Rolf Backofen

A Complete Axiomatization of a Theory with Feature and Arity Constraints

DFKI, DFKI Research Reports (RR), Vol. 94-35, 1994.
Franz Baader; Armin Laux

Terminological Logics with Modal Operators

DFKI, DFKI Research Reports (RR), Vol. 94-33, 1994.
Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

DFKI, DFKI Research Reports (RR), Vol. 94-31, 1994.
Gert Smolka

The Definition of Kernel Oz

DFKI, DFKI Research Reports (RR), Vol. 94-23, 1994.
Christian Schulte; Gert Smolka; Jörg Würtz

Encapsulated Search and Constraint Programming in Oz

DFKI, DFKI Research Reports (RR), Vol. 94-20, 1994.
Rainer Hoch

Using IR Techniques for Text Classification in Document Analysis

DFKI, DFKI Research Reports (RR), Vol. 94-19, 1994.
Klaus Fischer; Jörg P. Müller; Markus Pischel

Unifying Control in a Layered Agent Architecture

DFKI, DFKI Technical Memos (TM), Vol. 94-05, 1994.
Cornelia Fischer

PAntUDE -- An Anti-Unification Algorithm for Expressing Refined Generalizations

DFKI, DFKI Technical Memos (TM), Vol. 94-04, 1994.
Victoria Hall

Uncertainty-Valued Horn Clauses

DFKI, DFKI Technical Memos (TM), Vol. 94-03, 1994.
Rainer Bleisinger; Berthold Kröll

Representation of Non-Convex Time Intervals and Propagation of Non-Convex Relations

DFKI, DFKI Technical Memos (TM), Vol. 94-02, 1994.