Hans-Jürgen Bürckert
Hans-Jürgen Bürckert
Verified email at dfki.de - Homepage
TitleCited byYear
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
5741995
Transportation scheduling with holonic MAS: The TeleTruck approach
HJ Burckert, K Fischer, G Vierke
International Conference on the Practical Application of Intelligent Agents …, 1998
1171998
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, ...
1101990
Holonic transport scheduling with teletruck
HJ Bürckert, K Fischer, G Vierke
Applied Artificial Intelligence 14 (7), 697-725, 2000
982000
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
871989
A resolution principle for constrained logics
HJ Bürckert
Artificial intelligence 66 (2), 235-271, 1994
781994
A resolution principle for clauses with constraints
HJ Bürckert
International Conference on Automated Deduction, 178-192, 1990
751990
A resolution principle for a logic with restricted quantifiers
HJ Bürckert
Springer Science & Business Media, 1991
721991
Deduktionssysteme
KH Bläsius, HJ Bürckert
Automatisierung des logi, 1992
68*1992
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), 1-18, 1993
631993
Concept logics
F Baader, HJ Bürckert, B Hollunder, W Nutt, JH Siekmann
Computational logic, 177-201, 1990
551990
Matching—A special case of unification?
HJ Bürckert
Journal of Symbolic Computation 8 (5), 523-536, 1989
521989
Opening the AC-unification race
HJ Bürckert, A Herold, D Kapur, JH Siekmann, ME Stickel, M Tepp, ...
Journal of Automated Reasoning 4 (4), 465-474, 1988
501988
Teletruck: A holonic fleet management system
HJ Bürckert, K Fischer, G Vierke
391997
Solving disequations in equational theories
HJ Bürckert
International Conference on Automated Deduction, 517-526, 1988
391988
Towards a definition of robustness for market-style open multi-agent systems
M Schillo, HJ Bürckert, K Fischer, M Klusch
International Conference on Autonomous Agents: Proceedings of the fifth …, 2001
382001
RATMAN: Rational agents testbed for multi-agent networks
HJ Bürckert, J Müller
Decentralized AI 2, 217-230, 1991
301991
On solving equations and disequations
WL Buntine, HJ Bürckert
Journal of the ACM (JACM) 41 (4), 591-629, 1994
271994
Deduction Systems in Artificial Intelligence
KH Bläsius, HJ Bürckert
261989
Some relationships between unification, restricted unification, and matching
HJ Bürckert
International Conference on Automated Deduction, 514-524, 1986
251986
The system can't perform the operation now. Try again later.
Articles 1–20