Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1993
Remove all filters
Displaying results 11 to 20 of 81.

  1. Bernhard Hollunder

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

    DFKI, DFKI Research Reports (RR), Vol. 93-01, 1993.

  2. Frank Peters

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

    DFKI, DFKI Documents (D), Vol. 93-26, 1993.

  3. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Modeling Epistemic Propositions

    DFKI, DFKI Documents (D), Vol. 93-25, 1993.

  4. Brigitte Krenn; Martin Volk

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

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

  5. Andreas Abecker

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

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

  6. Dennis Drollinger

    Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken

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

  7. Bernhard Herbig

    Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus

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

  8. 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.

  9. 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.

  10. 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.

Year