Hans-Jürgen Bürckert

According to our database, Hans-Jürgen Bürckert authored at least 34 papers between 1986 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Vom Schmuddelkind zum Fachbereich.

Hans-Jürgen Bürckert, Ulrich Furbach

Künstliche Intell., 2011

2007

Jahresbericht 2006 des FB KI.

Hans-Jürgen Bürckert

Künstliche Intell., 2007

2006

Jahresbericht 2005 des FB Ku"nstliche Intelligenz.

Hans-Jürgen Bürckert

Künstliche Intell., 2006

2002

Protokoll der FB-KI-Sitzung am 17.09.2002.

Hans-Jürgen Bürckert

Künstliche Intell., 2002

Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz.

Hans-Jürgen Bürckert

Künstliche Intell., 2002

Protokoll der FB1-Leitungssitzung.

Hans-Jürgen Bürckert

Künstliche Intell., 2002

2001

Towards a definition of robustness for market-style open multi-agent systems.

Michael Schillo, Hans-Jürgen Bürckert, Klaus Fischer, Matthias Klusch

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

Holonic Transport Scheduling with Teletruck.

Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke

Appl. Artif. Intell., 2000

An Intermodal Dispatch Support System for Intermodal Transport Chains.

Hans-Jürgen Bürckert, Petra Funk, Gero Vierke

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1998

Transportation Scheduling with Holonic MAS: The TELETRUCK Approach.

Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke

Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

1996

On Skolemization in Constrained Logics.

Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux

Ann. Math. Artif. Intell., 1996

1995

Ist die Wissensrepräsentation tot?

Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe

Künstliche Intell., 1995

Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.

Bernhard Nebel, Hans-Jürgen Bürckert

J. ACM, 1995

Task Acquisition with a Description Logic Reasoner.

Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

1994

On Solving Equations and Disequations.

Wray L. Buntine, Hans-Jürgen Bürckert

J. ACM, 1994

A Resolution Principle for Constrained Logics.

Hans-Jürgen Bürckert

Artif. Intell., 1994

Managing Qualitative Temporal Information: Expressiveness vs. Complexity.

Bernhard Nebel, Hans-Jürgen Bürckert

Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Terminologies and Rules.

Hans-Jürgen Bürckert

Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Concept Logics with Function Symbols.

Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

On the expressivity of feature logics with negation, functional uncertainty, and sort equations.

Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka

J. Log. Lang. Inf., 1993

Modellierung epistemischer Propositionen.

Hans-Jürgen Bürckert, Werner Nutt

Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

1992

Deduktion, Abduktion, Induktion.

Hans-Jürgen Bürckert

Künstliche Intell., 1992

Terminologische Logiken.

Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt

Künstliche Intell., 1992

1991

Terminological Knowledge Representation: A Proposal for a Terminological Logic.

Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich

Proceedings of the International Workshop on Terminological Logics 1991, 1991

A Resolution Principle for a Logic with Restricted Quantifiers

Hans-Jürgen Bürckert

Lecture Notes in Computer Science 568, Springer, ISBN: 3-540-55034-8, 1991

1990

A Resolution Principle for Clauses with Constraints.

Hans-Jürgen Bürckert

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

On Equational Theories, Unification, and (Un)Decidability.

Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß

J. Symb. Comput., 1989

Matching - A Special Case of Unification?

Hans-Jürgen Bürckert

J. Symb. Comput., 1989

1988

Opening the AC-Unification Race.

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang

J. Autom. Reason., 1988

Solving Disequations in Equational Theories.

Hans-Jürgen Bürckert

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

On Equational Theories, Unification and Decidability.

Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

1986

Unifikation - Das aktuelle Schlagwort.

Hans-Jürgen Bürckert, Alexander Herold

Inform. Spektrum, 1986

Lazy Theory Unification inProlog: An Extension of the warren Abstract machine.

Hans-Jürgen Bürckert

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

Some Relationships between Unification, restricted Unification, and Matching.

Hans-Jürgen Bürckert

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986