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: 1994
Remove all filters
Displaying results 61 to 70 of 105.

  1. Rolf Backofen; Ralf Treinen

    How to Win a Game with Features

    DFKI, DFKI Research Reports (RR), Vol. 94-18, 1994.

  2. Georg Struth

    Philosophical Logics---A Survey and a Bibliography

    DFKI, DFKI Research Reports (RR), Vol. 94-17, 1994.

  3. Gert Smolka

    A Foundation for Higher-order Concurrent Constraint Programming

    DFKI, DFKI Research Reports (RR), Vol. 94-16, 1994.

  4. Stephan Oepen

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

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

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

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

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

  8. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1993

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

  9. Harald Feibel

    IGLOO 1.0 - Eine grafikunterstützte Beweisentwicklungsumgebung

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

  10. Claudia Wenzel; Rainer Hoch

    Eine Übersicht über Information Retrieval (IR) und NLP-Verfahren zur Klassifikation von Texten

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

Year