Search the dblp DataBase
Hans-Jürgen Bürckert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Bernhard Nebel, Hans-Jürgen Bürckert
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. [Citation Graph (0, 0)][DBLP]
AAAI, 1994, pp:356-361 [Conf] - Michael Schillo, Hans-Jürgen Bürckert, Klaus Fischer, Matthias Klusch
Towards a definition of robustness for market-style open multi-agent systems. [Citation Graph (0, 0)][DBLP]
Agents, 2001, pp:75-76 [Conf] - Hans-Jürgen Bürckert
Some Relationships between Unification, restricted Unification, and Matching. [Citation Graph (0, 0)][DBLP]
CADE, 1986, pp:514-524 [Conf] - Hans-Jürgen Bürckert
Solving Disequations in Equational Theories. [Citation Graph (0, 0)][DBLP]
CADE, 1988, pp:517-526 [Conf] - Hans-Jürgen Bürckert
A Resolution Principle for Clauses with Constraints. [Citation Graph (0, 0)][DBLP]
CADE, 1990, pp:178-192 [Conf] - Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic. [Citation Graph (0, 0)][DBLP]
Description Logics, 1991, pp:120-128 [Conf] - Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols. [Citation Graph (0, 0)][DBLP]
ECAI, 1994, pp:406-410 [Conf] - Hans-Jürgen Bürckert, Petra Funk, Gero Vierke
An Intermodal Dispatch Support System for Intermodal Transport Chains. [Citation Graph (0, 0)][DBLP]
HICSS, 2000, pp:- [Conf] - Hans-Jürgen Bürckert
Terminologies and Rules. [Citation Graph (0, 0)][DBLP]
IS/KI, 1994, pp:44-63 [Conf] - Bernhard Nebel, Hans-Jürgen Bürckert
Managing Qualitative Temporal Information: Expressiveness vs. Complexity. [Citation Graph (0, 0)][DBLP]
IS/KI, 1994, pp:104-117 [Conf] - Hans-Jürgen Bürckert
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. [Citation Graph (0, 0)][DBLP]
GWAI, 1986, pp:277-288 [Conf] - Hans-Jürgen Bürckert, Werner Nutt
Modellierung epistemischer Propositionen. [Citation Graph (0, 0)][DBLP]
KI, 1993, pp:264-267 [Conf] - Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Description Logic Reasoner. [Citation Graph (0, 0)][DBLP]
KI, 1995, pp:125-136 [Conf] - Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
On Equational Theories, Unification and Decidability. [Citation Graph (0, 0)][DBLP]
RTA, 1987, pp:204-215 [Conf] - Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke
Holonic Transport Scheduling with Teletruck. [Citation Graph (0, 0)][DBLP]
Applied Artificial Intelligence, 2000, v:14, n:7, pp:697-725 [Journal] - Hans-Jürgen Bürckert
A Resolution Principle for Constrained Logics. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 1994, v:66, n:2, pp:235-271 [Journal] - Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logics. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:95-131 [Journal] - Hans-Jürgen Bürckert, Alexander Herold
Unifikation - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
Informatik Spektrum, 1986, v:9, n:3, pp:186-187 [Journal] - Wray L. Buntine, Hans-Jürgen Bürckert
On Solving Equations and Disequations. [Citation Graph (0, 0)][DBLP]
J. ACM, 1994, v:41, n:4, pp:591-629 [Journal] - Bernhard Nebel, Hans-Jürgen Bürckert
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. [Citation Graph (0, 0)][DBLP]
J. ACM, 1995, v:42, n:1, pp:43-66 [Journal] - Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
Opening the AC-Unification Race. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal] - Hans-Jürgen Bürckert
Matching - A Special Case of Unification? [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1989, v:8, n:5, pp:523-536 [Journal] - Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
On Equational Theories, Unification, and (Un)Decidability. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1989, v:8, n:1/2, pp:3-49 [Journal] - Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logiken. [Citation Graph (0, 0)][DBLP]
KI, 1992, v:6, n:3, pp:23-33 [Journal] - Hans-Jürgen Bürckert
Protokoll der FB1-Leitungssitzung. [Citation Graph (0, 0)][DBLP]
KI, 2002, v:16, n:1, pp:81- [Journal] - Hans-Jürgen Bürckert
Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz. [Citation Graph (0, 0)][DBLP]
KI, 2002, v:16, n:2, pp:62-63 [Journal] - Hans-Jürgen Bürckert
Protokoll der FB-KI-Sitzung am 17.09.2002. [Citation Graph (0, 0)][DBLP]
KI, 2002, v:16, n:4, pp:67- [Journal] - Hans-Jürgen Bürckert
Jahresbericht 2005 des FB Ku"nstliche Intelligenz. [Citation Graph (0, 0)][DBLP]
KI, 2006, v:20, n:1, pp:66-0 [Journal] - Hans-Jürgen Bürckert
Deduktion, Abduktion, Induktion. [Citation Graph (0, 0)][DBLP]
KI, 1992, v:6, n:3, pp:69-70 [Journal] - Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
Ist die Wissensrepräsentation tot? [Citation Graph (0, 0)][DBLP]
KI, 1995, v:9, n:5, pp:18-26 [Journal]
Search in 0.004secs, Finished in 0.005secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002