Publikationen

Aktive Filter:

Zeige Ergebnisse 31 bis 40 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.
Winfried Graf; Wolfgang Maaß

Constraint-basierte Verarbeitung graphischen Wissens

DFKI, DFKI Research Reports (RR), Vol. 91-35, 1991.
Bernhard Nebel; Christer Bäckström

On the Computational Complexity of Temporal Projection and some related Problems

DFKI, DFKI Research Reports (RR), Vol. 91-34, 1991.
Franz Baader; Klaus Schulz

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

DFKI, DFKI Research Reports (RR), Vol. 91-33, 1991.
Hans-Ulrich Krieger; John Nerbonne

Feature-Based Inheritance Networks for Computational Lexicons

DFKI, DFKI Research Reports (RR), Vol. 91-31, 1991.
Daniel Flickinger; John Nerbonne

Inheritance and Complementation: A Case Study of Easy Adjectives and Related Nouns

DFKI, DFKI Research Reports (RR), Vol. 91-30, 1991.
Ansgar Bernardi; Harold Boley; Philipp Hanschke; Knut Hinkelmann; Christoph Klauck; Otto Kühn; Ralf Legleitner; Manfred Meyer; M.M. Richter; Franz Schmalhofer; Gabriele Schmidt; Walter Sommer

ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

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