Publications

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

Search narrowed by:

Displaying results 41 to 50 of 128.

Bernhard Hollunder

An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

DFKI, DFKI Research Reports (RR), Vol. 93-01, 1993.
Bernhard Nebel; Jana Koehler

Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective

In: Ruzena Bajcsy (Hrsg.). Proceedings of the 13th International Joint Conference on Artificial Intelligence. International Joint Conference on …
Brigitte Krenn; Martin Volk

DiTo-Datenbank: Datendokumentation zu Funktionsverbgefügen und Relativsätzen

DFKI, DFKI Documents (D), Vol. 93-24, 1993.
Andreas Abecker

Implementierung graphischer Benutzungsoberflächen mit Tcl/Tk und Common Lisp

DFKI, DFKI Documents (D), Vol. 93-22, 1993.
Dennis Drollinger

Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken

DFKI, DFKI Documents (D), Vol. 93-21, 1993.
Bernhard Herbig

Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus

DFKI, DFKI Documents (D), Vol. 93-20, 1993.
Robert Laux

Untersuchung maschineller Lernverfahren und heuristischer Methoden im Hinblick auf deren Kombination zur Unterstützung eines Chart-Parsers

DFKI, DFKI Documents (D), Vol. 93-15, 1993.
Manfred Meyer (Hrsg.)

Constraint Processing - Proceedings of the International Workshop at CSAM'93, St.Petersburg, July 20-21, 1993

DFKI, DFKI Documents (D), Vol. 93-14, 1993.
Harold Boley; Klaus Elsbernd; Michael Herfert; Michael Sintek; Werner Stein

RELFUN Guide: Programming with Relations and Functions Made Easy

DFKI, DFKI Documents (D), Vol. 93-12, 1993.
Knut Hinkelmann; Armin Laux (Hrsg.)

DFKI Workshop on Knowledge Representation Techniques - Proceedings

DFKI DFKI Workshops, July 8, Kaiserslautern, Germany, DFKI Documents (D), Vol. 93-11, DFKI, 1993.