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
6411995
Transportation scheduling with holonic MAS: The TeleTruck approach
HJ Burckert, K Fischer, G Vierke
International Conference on the Practical Application of Intelligent Agents …, 1998
1321998
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, ...
1211990
Holonic transport scheduling with teletruck
HJ Bürckert, K Fischer, G Vierke
Applied Artificial Intelligence 14 (7), 697-725, 2000
1172000
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
911989
A resolution principle for constrained logics
HJ Bürckert
Artificial intelligence 66 (2), 235-271, 1994
801994
A resolution principle for a logic with restricted quantifiers
HJ Bürckert
Springer Berlin Heidelberg, 1991
801991
A resolution principle for clauses with constraints
HJ Bürckert
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
711990
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
691993
Concept logics
F Baader, HJ Bürckert, B Hollunder, W Nutt, JH Siekmann
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 …, 1990
681990
Deduktionssysteme
KH Bläsius, HJ Bürckert
Automatisierung des logi, 1992
62*1992
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
591988
Matching—A special case of unification?
HJ Bürckert
Journal of Symbolic Computation 8 (5), 523-536, 1989
581989
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
432001
Teletruck: A holonic fleet management system
HJ Bürckert, K Fischer, G Vierke
421997
Solving disequations in equational theories
HJ Bürckert
9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988
421988
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
International Conference on Automated Deduction, 514-524, 1986
281986
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