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
6271995
Transportation scheduling with holonic MAS: The TeleTruck approach
HJ Burckert, K Fischer, G Vierke
International Conference on the Practical Application of Intelligent Agents …, 1998
1271998
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, ...
1191990
Holonic transport scheduling with teletruck
HJ Bürckert, K Fischer, G Vierke
Applied Artificial Intelligence 14 (7), 697-725, 2000
1102000
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
831989
A resolution principle for constrained logics
HJ Bürckert
Artificial intelligence 66 (2), 235-271, 1994
811994
A resolution principle for a logic with restricted quantifiers
HJ Bürckert
Springer Science & Business Media, 1991
761991
Deduktionssysteme
KH Bläsius, HJ Bürckert
Automatisierung des logi, 1992
70*1992
A resolution principle for clauses with constraints
HJ Bürckert
International Conference on Automated Deduction, 178-192, 1990
701990
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
671993
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
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
501988
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
International Conference on Automated Deduction, 517-526, 1988
381988
On solving equations and disequations
WL Buntine, HJ Bürckert
Journal of the ACM (JACM) 41 (4), 591-629, 1994
311994
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
Deduction Systems in Artificial Intelligence
KH Blasius, HJ Burchert
Prentice Hall Professional Technical Reference, 1989
261989
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20