Publications

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

Search narrowed by:

Displaying results 31 to 40 of 128.

Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi

An Empirical Analysis of Optimization Techniques for Terminological Representation Systems

DFKI, DFKI Research Reports (RR), Vol. 93-03, 1993.
Wolfgang Wahlster; Elisabeth Andre; Wolfgang Finkler; Hans-Jürgen Profitlich; Thomas Rist

Plan-based Integration of Natural Language and Graphics Generation

DFKI, DFKI Research Reports (RR), Vol. 93-02, 1993.
Bernhard Hollunder

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

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