Publications

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

Displaying results 11 to 20 of 30.

Gert Smolka

A Foundation for Higher-order Concurrent Constraint Programming

DFKI, DFKI Research Reports (RR), Vol. 94-16, 1994.
Manfred Meyer

Issues in Concurrent Knowledge Engineering. Knowledge Base and Knowledge Share Evolution

DFKI, DFKI Research Reports (RR), Vol. 94-36, 1994.
Winfried Graf; Stefan Neurohr

Using Graphical Style and Visibility Constraints for a Meaningful Layout in Visual Programming Interfaces

DFKI, DFKI Research Reports (RR), Vol. 94-15, 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.
Rainer Bleisinger; Klaus-Peter Gores

Text Skimming as a Part in Paper Document Understanding

DFKI, DFKI Technical Memos (TM), Vol. 94-01, 1994.
Knut Hinkelmann

A Consequence Finding Approach for Feature Recognition in CAPP

DFKI, DFKI Research Reports (RR), Vol. 94-11, 1994.
Knut Hinkelmann; Helge Hintze

Computing Cost Estimates for Proof Strategies

DFKI, DFKI Research Reports (RR), Vol. 94-10, 1994.