Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 41 to 50 of 105.

  1. Hans Uszkoreit; Rolf Backofen; Stephan Busemann; Abdel Kader Diagne; Elizabeth Hinkelman; Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Klaus Netter; Günter Neumann; Stephan Oepen; Stephen P. Spackman

    DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling

    DFKI, DFKI Research Reports (RR), Vol. 94-38, 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.

Year