Skip to main content Skip to main navigation

Publications

 

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

Displaying results 21 to 30 of 105.
  1. Josua Boon (Hrsg.)

    DFKI-Publications: The First Four Years 1990 - 1993

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

  2. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

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

  3. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

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

  4. Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

    Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

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

  5. Gert Smolka

    The Definition of Kernel Oz

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

  6. Christian Schulte; Gert Smolka; Jörg Würtz

    Encapsulated Search and Constraint Programming in Oz

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

  7. Rainer Hoch

    Using IR Techniques for Text Classification in Document Analysis

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

  8. Rolf Backofen; Ralf Treinen

    How to Win a Game with Features

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

  9. Georg Struth

    Philosophical Logics---A Survey and a Bibliography

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

  10. Gert Smolka

    A Foundation for Higher-order Concurrent Constraint Programming

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