| 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 | 646 | 1995 |
| Transportation scheduling with holonic MAS: The TeleTruck approach HJ Burckert, K Fischer, G Vierke International Conference on the Practical Application of Intelligent Agents …, 1998 | 135 | 1998 |
| 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, ... | 121 | 1990 |
| Holonic transport scheduling with teletruck HJ Bürckert, K Fischer, G Vierke Applied Artificial Intelligence 14 (7), 697-725, 2000 | 115 | 2000 |
| 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 | 93 | 1989 |
| A resolution principle for constrained logics HJ Bürckert Artificial intelligence 66 (2), 235-271, 1994 | 81 | 1994 |
| A resolution principle for a logic with restricted quantifiers HJ Bürckert Springer Berlin Heidelberg, 1991 | 81 | 1991 |
| A resolution principle for clauses with constraints HJ Bürckert 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990 | 73 | 1990 |
| 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 | 68 | 1993 |
| 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 | 64 | 1990 |
| Matching—A special case of unification? HJ Bürckert Journal of Symbolic Computation 8 (5), 523-536, 1989 | 60 | 1989 |
| 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 | 60 | 1988 |
| Teletruck: A holonic fleet management system HJ Bürckert, K Fischer, G Vierke | 42 | 1997 |
| Solving disequations in equational theories HJ Bürckert 9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988 | 42 | 1988 |
| 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 | 41 | 2001 |
| On solving equations and disequations WL Buntine, HJ Bürckert Journal of the ACM (JACM) 41 (4), 591-629, 1994 | 35 | 1994 |
| RATMAN: Rational agents testbed for multi-agent networks HJ Bürckert, J Müller Decentralized AI 2, 217-230, 1991 | 33 | 1991 |
| Some relationships between unification, restricted unification, and matching HJ Bürckert International Conference on Automated Deduction, 514-524, 1986 | 29 | 1986 |
| Deduction Systems in Artificial Intelligence KH Blasius, HJ Burchert Prentice Hall Professional Technical Reference, 1989 | 27 | 1989 |
Werner NuttProfessor of Computer Science, Free University of Bozen-Bolzano確認したメール アドレス: unibz.it