Publications

Search narrowed by:

Displaying results 41 to 50 of 128.

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 …
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, …
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.
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. …
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.
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.
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.
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, …
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 …
Andreas Dengel; Ottmar Lutzy

Comparative Study of Connectionist Simulators

DFKI, DFKI Research Reports (RR), Vol. 93-23, 5/1993.