Volgen
Hans-Jürgen Bürckert
Hans-Jürgen Bürckert
Geverifieerd e-mailadres voor dfki.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20