Hans-Jürgen Bürckert
Hans-Jürgen Bürckert
Bestätigte E-Mail-Adresse bei dfki.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
5971995
Transportation scheduling with holonic MAS: The TeleTruck approach
HJ Burckert, K Fischer, G Vierke
International Conference on the Practical Application of Intelligent Agents …, 1998
1211998
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, ...
1131990
Holonic transport scheduling with teletruck
HJ Bürckert, K Fischer, G Vierke
Applied Artificial Intelligence 14 (7), 697-725, 2000
1032000
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 constrained logics
HJ Bürckert
Artificial intelligence 66 (2), 235-271, 1994
801994
A resolution principle for clauses with constraints
HJ Bürckert
International Conference on Automated Deduction, 178-192, 1990
771990
A resolution principle for a logic with restricted quantifiers
HJ Bürckert
Springer Science & Business Media, 1991
721991
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
661993
Deduktionssysteme
KH Bläsius, HJ Bürckert
Automatisierung des logi, 1992
64*1992
Concept logics
F Baader, HJ Bürckert, B Hollunder, W Nutt, JH Siekmann
Computational logic, 177-201, 1990
561990
Matching—A special case of unification?
HJ Bürckert
Journal of Symbolic Computation 8 (5), 523-536, 1989
541989
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
541988
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
411997
Solving disequations in equational theories
HJ Bürckert
International Conference on Automated Deduction, 517-526, 1988
381988
RATMAN: Rational agents testbed for multi-agent networks
HJ Bürckert, J Müller
Decentralized AI 2, 217-230, 1991
311991
Some relationships between unification, restricted unification, and matching
HJ Bürckert
International Conference on Automated Deduction, 514-524, 1986
281986
On solving equations and disequations
WL Buntine, HJ Bürckert
Journal of the ACM (JACM) 41 (4), 591-629, 1994
261994
Terminologische logiken
F Baader, HJ Bürckert, B Hollunder, A Laux, W Nutt
KI 6 (3), 23-33, 1992
241992
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20