Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 128.
  1. Wolfgang Wahlster; Elisabeth Andre; Wolfgang Finkler; Hans-Jürgen Profitlich; Thomas Rist

    Plan-based Integration of Natural Language and Graphics Generation

    DFKI, DFKI Research Reports (RR), Vol. 93-02, 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. Jochen Bedersdorfer; Karsten Konrad; Ingo Neis; Oliver Scherf; Jörg Steffen; Michael Wein

    Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen

    In: Harold Boley; François Bry; Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere …

  4. Rolf Backofen; Hans-Ulrich Krieger; Stephen P. Spackman; Hans Uszkoreit

    EAGLES Workshop on Implemented Formalisms at DFKI

    DFKI Document, DFKI, Vol. D-93-27, 1993.

  5. Rolf Backofen; Hans-Ulrich Krieger; Stephen P. Spackman; Hans Uszkoreit

    Report of the EAGLES Workshop on Implemented Formalisms at DFKI

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

  6. Rolf Backofen; Hans-Ulrich Krieger

    The TDL/ UDiNe System

    DFKI Document, DFKI, Vol. D-93-27, 1993.

  7. Rolf Backofen

    Regular Path Expressions in Feature Logic

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

  8. Rolf Backofen

    Regular Path Expressions in Feature Logic

    In: C. Kirchner (Hrsg.). 5th International Conference of the Rewriting Techniques and Applications (RTA '93), June 16-18. International Conference on …

  9. Rolf Backofen

    On the Decidability of Functional Uncertainty

    In: 31st Annual Meeting of the Association for Computational Linguistics. Annual Meeting of the Association for Computational Linguistics (ACL), 31st, …