Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 128
  1. 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.

  2. Gregor Erbach

    Preference Values in Typed Feature Structures

    In: Harald Trost (Hrsg.). Feature Formalisms and Linguistic Ambiguity. Ellis Horwood, Chichester, 1993.

  3. Rolf Backofen; Hans-Ulrich Krieger

    The TDL/ UDiNe System

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

  4. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann

    Projekt WINO: Wissens- und Inferenzobjektivierung

    Abschlussbericht, 1993.

  5. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    On Skolemization in Constrained Logis

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

  6. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    Concept Logics with Function Symbols

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-07, 4/1993.

  7. Bernhard Nebel; Hans-Jürgen Bürckert

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

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

  8. Franz Baader; Hans-Jürgen Bürckert

    Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)

    In: Eric Domenjoud; Claude Kirchner (Hrsg.). Proceedings of 1st CCL Workshop. Computational Chemistry List Workshop (CCL), 1st, Nancy, France, …

  9. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Modeling Epistemic Propositions

    Workshop on Modeling Epistemic Propositions, located at 17th German Conference on Artificial Intelligence, September 13-16, Berlin, Germany, DFKI …

  10. Ottmar Luzy; Andreas Dengel

    A Comparison of Simulators for Artificial Neural Nets

    In: IEEE Expert, Vol. 8, No. 4, Pages 43-51, IEEE, 8/1993.