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 81 to 90 of 128.
  1. Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi

    An Empirical Analysis of Optimization Techniques for Terminological Representation Systems

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

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

  3. Bernhard Hollunder

    An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

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

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