Publikationen

Seite 8 von 11.

Hans-Jürgen Bürckert
A Resolution Principle for Clauses with Constraints
DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic
DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
Concept Logics
DFKI, DFKI Research Reports (RR), Vol. 90-10, 1990.
Dieter Hutter
Complete Induction
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, …
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Deduction Systems in Artificial Intelligence
Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang
Opening the AC-Unification Race
In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.
Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß
On Equational Theories, Unification, and (Un)decidability
In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.
Hans-Jürgen Bürckert
Matching - A Special Case of Unification?
In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 523-536, Elsevier, 1989.
Hans-Jürgen Bürckert
Unification Theory
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial …
Hans-Jürgen Bürckert
Compuational Logic
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 177-202, Ellis Horwood, 1989.