Seguir
Hans-Jürgen Bürckert
Hans-Jürgen Bürckert
Dirección de correo verificada de dfki.de - Página principal
Título
Citado por
Citado por
Año
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
6511995
Transportation scheduling with holonic MAS: The TeleTruck approach
HJ Burckert, K Fischer, G Vierke
International Conference on the Practical Application of Intelligent Agents …, 1998
1301998
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, ...
1251990
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
911989
A resolution principle for a logic with restricted quantifiers
HJ Bürckert
Springer Berlin Heidelberg, 1991
811991
A resolution principle for constrained logics
HJ Bürckert
Artificial intelligence 66 (2), 235-271, 1994
801994
A resolution principle for clauses with constraints
HJ Bürckert
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
731990
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
Deduktionssysteme
KH Bläsius, HJ Bürckert
Automatisierung des logi, 1992
67*1992
Concept logics
F Baader, HJ Bürckert, B Hollunder, W Nutt, JH Siekmann
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 …, 1990
631990
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
442001
Solving disequations in equational theories
HJ Bürckert
9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988
431988
Teletruck: A holonic fleet management system
HJ Bürckert, K Fischer, G Vierke
421997
On solving equations and disequations
WL Buntine, HJ Bürckert
Journal of the ACM (JACM) 41 (4), 591-629, 1994
351994
RATMAN: Rational agents testbed for multi-agent networks
HJ Bürckert, J Müller
Decentralized AI 2, 217-230, 1991
331991
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20