Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 1993
Remove all filters
Displaying results 41 to 50 of 71.

  1. Otto Kühn; Andreas Birk

    Reconstructive Integrated Explanation of Lathe Production Plans

    DFKI, DFKI Technical Memos (TM), Vol. 93-01, 1993.

  2. Bernhard Hollunder

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

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

  3. Frank Peters

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

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

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

    Modeling Epistemic Propositions

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

  5. Brigitte Krenn; Martin Volk

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

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

  6. Andreas Abecker

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

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

  7. Dennis Drollinger

    Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken

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

  8. Bernhard Herbig

    Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus

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

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

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

Year