Follow
Hans-Jürgen Bürckert
Hans-Jürgen Bürckert
Verified email at dfki.de - Homepage
Title
Cited by
Cited by
Year
Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra
B Nebel, HJ Bürckert
Journal of the ACM (JACM) 42 (1), 43-66, 1995
6351995
Transportation scheduling with holonic MAS: The TeleTruck approach
HJ Burckert, K Fischer, G Vierke
International Conference on the Practical Application of Intelligent Agents …, 1998
1311998
Terminological knowledge representation: A proposal for a terminological logic
F Baader, HJ Bürckert, J Heinsohn, B Hollunder, J Müller, B Nebel, W Nutt, ...
1201990
Holonic transport scheduling with teletruck
HJ Bürckert, K Fischer, G Vierke
Applied Artificial Intelligence 14 (7), 697-725, 2000
1132000
On equational theories, unification, and (un) decidability
HJ Bürckert, A Herold, M Schmidt-Schauss
Journal of Symbolic Computation 8 (1-2), 3-49, 1989
891989
A resolution principle for a logic with restricted quantifiers
HJ Bürckert
Springer Berlin Heidelberg, 1991
831991
A resolution principle for constrained logics
HJ Bürckert
Artificial intelligence 66 (2), 235-271, 1994
791994
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
F Baader, HJ Bürckert, B Nebel, W Nutt, G Smolka
Journal of Logic, Language and Information 2, 1-18, 1993
711993
A resolution principle for clauses with constraints
HJ Bürckert
701990
Deduktionssysteme
KH Bläsius, HJ Bürckert
Automatisierung des logi, 1992
69*1992
Concept logics
F Baader, HJ Bürckert, B Hollunder, W Nutt, JH Siekmann
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 …, 1990
621990
Matching—A special case of unification?
HJ Bürckert
Journal of Symbolic Computation 8 (5), 523-536, 1989
561989
Opening the AC-unification race
HJ Bürckert, A Herold, D Kapur, JH Siekmann, ME Stickel, M Tepp, ...
Journal of Automated Reasoning 4, 465-474, 1988
551988
Towards a definition of robustness for market-style open multi-agent systems
M Schillo, HJ Bürckert, K Fischer, M Klusch
Proceedings of the fifth international conference on Autonomous agents, 75-76, 2001
442001
Teletruck: A holonic fleet management system
HJ Bürckert, K Fischer, G Vierke
411997
Solving disequations in equational theories
HJ Bürckert
9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988
411988
On solving equations and disequations
WL Buntine, HJ Bürckert
Journal of the ACM (JACM) 41 (4), 591-629, 1994
341994
RATMAN: Rational agents testbed for multi-agent networks
HJ Bürckert, J Müller
Decentralized AI 2, 217-230, 1991
321991
Some relationships between unification, restricted unification, and matching
HJ Bürckert
8th International Conference on Automated Deduction: Oxford, England, July …, 2005
272005
Deduction Systems in Artificial Intelligence
KH Blasius, HJ Burchert
Prentice Hall Professional Technical Reference, 1989
271989
The system can't perform the operation now. Try again later.
Articles 1–20