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.
Frank Peters

Unterstützung des Experten bei der Formalisierung von Textwissen INFOCOM - Eine interaktive Formalisierungskomponente

DFKI, DFKI Documents (D), Vol. 93-26, 1993.
Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

Modeling Epistemic Propositions

DFKI, DFKI Documents (D), Vol. 93-25, 1993.
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.