Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Zeige Ergebnisse 21 bis 30 von 42

Cornelia Fischer

PAntUDE -- An Anti-Unification Algorithm for Expressing Refined Generalizations

DFKI, DFKI Technical Memos (TM), Vol. 94-04, 1994.
Victoria Hall

Uncertainty-Valued Horn Clauses

DFKI, DFKI Technical Memos (TM), Vol. 94-03, 1994.
Rainer Bleisinger; Berthold Kröll

Representation of Non-Convex Time Intervals and Propagation of Non-Convex Relations

DFKI, DFKI Technical Memos (TM), Vol. 94-02, 1994.
Rainer Bleisinger; Klaus-Peter Gores

Text Skimming as a Part in Paper Document Understanding

DFKI, DFKI Technical Memos (TM), Vol. 94-01, 1994.
Stephan Oepen

German Nominal Syntax in HPSG - On Syntactic Categories and Syntagmatic Relations -

DFKI, DFKI Documents (D), Vol. 94-15, 1994.
Arthur Sehn; Serge Autexier (Hrsg.)

Proceedings des Studentenprogramms der 18. Deutschen Jahrestagung für Künstliche Intelligenz KI-94

DFKI, DFKI Documents (D), Vol. 94-12, 1994.
Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

DFKI, DFKI Documents (D), Vol. 94-11, 1994.
Franz Baader; M. Lenzerini; Werner Nutt; P.F. Patel-Schneider (Hrsg.)

Working Notes of the 1994 International Workshop on Description Logics

This collection of papers forms the permanent record of the 1994 International Workshop on Description Logics, that was held at the Gustav Stresemann …
Technical Staff

DFKI Wissenschaftlich-Technischer Jahresbericht 1993

DFKI, DFKI Documents (D), Vol. 94-09, 1994.
Harald Feibel

IGLOO 1.0 - Eine grafikunterstützte Beweisentwicklungsumgebung

DFKI, DFKI Documents (D), Vol. 94-08, 1994.

Jahr

Aktive Filter:

Jahr