Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 21 bis 30 von 46

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.
Dietmar Dengler

An Adaptive Deductive Planning System

DFKI, DFKI Research Reports (RR), Vol. 94-06, 1994.
Franz Schmalhofer; J. Stuart Aitken; Lyle E. Bourne jr.

Beyond the Knowledge Level: Descriptions of Rational Behavior for Sharing and Reuse

DFKI, DFKI Research Reports (RR), Vol. 94-05, 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.