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 91 to 100 of 128.
  1. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

    The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen

    In: A. B. Cremers; G. Lakemeyer (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". AKI-Workshop Wissensrepräsentation, Bonn, Germany, 1993.

  2. Hans-Jürgen Bürckert; Werner Nutt

    Modellierung epistemischer Propositionen

    In: O. Herzog; Th. Christaller; D. Schütt (Hrsg.). Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz. …

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