Publikationen

Seite 4 von 11.

Hans-Jürgen Bürckert
A Resolution Principle for Constrained Logics
In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.
Wray Buntine; Hans-Jürgen Bürckert
On Solving Equations and Disequations
In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.
Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
Concept Logics with Function Symbols
In: Anthony G. Cohn (Hrsg.). Proceedings of the 11th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …
Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux
Terminological Reasoning with Knowledge and Beliefs. Extended Abstract.
In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of the 18th German Annual Conference on Artificial Intelligence. German Conference on Artificial …
Hans-Jürgen Bürckert
Terminologies and Rules
In: Kai von Luck; Heinz Marburger (Hrsg.). Proceedings of 3rd Workshop on Information Systems and Artificial Intelligence: Management and Processing …
Hans-Jürgen Bürckert; Bernhard Nebel
Managing Qualitative Temporal Information: Expressiveness vs. Complexity
In: Kai von Luck; Heinz Marburger (Hrsg.). Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop "Information Systems and …
Hans-Jürgen Bürckert
Terminologies and Rules. Extended Abstract.
In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of 18th German Conference on Artificial Intelligence. German Conference on Artificial …
Bernhard Nebel; Hans-Jürgen Bürckert
Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra
In: Proceedings of 12th National Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-94), 12th, July 31 - August …
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.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.