Publications

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

Displaying results 11 to 20 of 105.

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.
Harold Boley; Ulrich Buhrmann; Christof Kremer

Towards a Sharable Knowledge Base on Recyclable Plastics

DFKI, DFKI Research Reports (RR), Vol. 94-14, 1994.
Jana Koehler

Planning from Second Principles---A Logic-based Approach

DFKI, DFKI Research Reports (RR), Vol. 94-13, 1994.
Hubert Comon; Ralf Treinen

Ordering Constraints on Trees

DFKI, DFKI Research Reports (RR), Vol. 94-12, 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.
Otto Kühn; Björn Höfling

Conserving Corporate Knowledge for Crankshaft Design

DFKI, DFKI Research Reports (RR), Vol. 94-08, 1994.
Harold Boley

Finite Domains and Exclusions as First-Class Citizens

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