Publikationen

Zeige Ergebnisse 21 bis 30 von 119

Technical Staff

DFKI Wissenschaftlich-Technischer Jahresbericht 1990

DFKI, DFKI Documents (D), Vol. 91-04, 1991.
Harold Boley; Klaus Elsbernd; Hans-Günther Hein; Thomas Krause

RFM Manual: Compiling RELFUN into the Relational/Functional Machine

DFKI, DFKI Documents (D), Vol. 91-03, 1991.
Jörg P. Müller

Design and Implementation of a Finite Domain Constraint Logic Programming System based on PROLOG with Coroutining

DFKI, DFKI Documents (D), Vol. 91-02, 1991.
Werner Stein; Michael Sintek

Relfun/X - An Experimental Prolog Implementation of Relfun

DFKI, DFKI Documents (D), Vol. 91-01, 1991.
Munindar P. Singh

On the Commitments and Precommitments of Limited Agents

DFKI, DFKI Research Reports (RR), Vol. 91-19, 1991.
Bernhard Nebel; Gert Smolka

Attributive Description Formalisms ... and the Rest of the World

DFKI, DFKI Research Reports (RR), Vol. 91-15, 1991.
Peter Breuer; Jürgen Müller

A Two Level Representation for Spatial Relations, Part I

DFKI, DFKI Research Reports (RR), Vol. 91-14, 1991.
Gert Smolka

Residuation and Guarded Rules for Constraint Logic Programming

DFKI, DFKI Research Reports (RR), Vol. 91-13, 1991.
J. Mark Gawron; John Nerbonne; Stanley Peters

The Absorption Principle and E-Type Anaphora

DFKI, DFKI Research Reports (RR), Vol. 91-12, 1991.
Bernhard Nebel

Belief Revision and Default Reasoning: Syntax-Based Approaches

DFKI, DFKI Research Reports (RR), Vol. 91-11, 1991.