Hans-Jürgen Bürckert

Publication Activity (10 Years)

Years Active: 1986-2011
Publications (10 Years): 0

Publications

Hans-Jürgen Bürckert, Ulrich Furbach
Vom Schmuddelkind zum Fachbereich. Künstliche Intell. 25 (4) (2011)
Hans-Jürgen Bürckert
Jahresbericht 2006 des FB KI. Künstliche Intell. 21 (1) (2007)
Hans-Jürgen Bürckert
Jahresbericht 2005 des FB Ku"nstliche Intelligenz. Künstliche Intell. 20 (1) (2006)
Hans-Jürgen Bürckert
Protokoll der FB1-Leitungssitzung. Künstliche Intell. 16 (1) (2002)
Hans-Jürgen Bürckert
Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz. Künstliche Intell. 16 (2) (2002)
Hans-Jürgen Bürckert
Protokoll der FB-KI-Sitzung am 17.09.2002. Künstliche Intell. 16 (4) (2002)
Michael Schillo, Hans-Jürgen Bürckert, Klaus Fischer, Matthias Klusch
Towards a definition of robustness for market-style open multi-agent systems. Agents (2001)
Hans-Jürgen Bürckert, Petra Funk, Gero Vierke
An Intermodal Dispatch Support System for Intermodal Transport Chains. HICSS (2000)
Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke
Holonic Transport Scheduling with Teletruck. Appl. Artif. Intell. 14 (7) (2000)
Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke
Transportation Scheduling with Holonic MAS: The TELETRUCK Approach. PAAM (1998)
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logics. Ann. Math. Artif. Intell. 18 (2-4) (1996)
Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
Ist die Wissensrepräsentation tot? Künstliche Intell. 9 (5) (1995)
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Description Logic Reasoner. KI (1995)
Bernhard Nebel, Hans-Jürgen Bürckert
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. J. ACM 42 (1) (1995)
Hans-Jürgen Bürckert
A Resolution Principle for Constrained Logics. Artif. Intell. 66 (2) (1994)
Hans-Jürgen Bürckert
Terminologies and Rules. IS/KI (1994)
Bernhard Nebel, Hans-Jürgen Bürckert
Managing Qualitative Temporal Information: Expressiveness vs. Complexity. IS/KI (1994)
Bernhard Nebel, Hans-Jürgen Bürckert
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. AAAI (1994)
Wray L. Buntine, Hans-Jürgen Bürckert
On Solving Equations and Disequations. J. ACM 41 (4) (1994)
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols. ECAI (1994)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. Log. Lang. Inf. 2 (1) (1993)
Hans-Jürgen Bürckert, Werner Nutt
Modellierung epistemischer Propositionen. KI (1993)
Hans-Jürgen Bürckert
Deduktion, Abduktion, Induktion. Künstliche Intell. 6 (3) (1992)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logiken. Künstliche Intell. 6 (3) (1992)
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. Description Logics (1991)
Hans-Jürgen Bürckert
A Resolution Principle for Clauses with Constraints. CADE (1990)
Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
On Equational Theories, Unification, and (Un)Decidability. J. Symb. Comput. 8 (1/2) (1989)
Hans-Jürgen Bürckert
Matching - A Special Case of Unification? J. Symb. Comput. 8 (5) (1989)
Hans-Jürgen Bürckert
Solving Disequations in Equational Theories. CADE (1988)
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. J. Autom. Reason. 4 (4) (1988)
Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
On Equational Theories, Unification and Decidability. RTA (1987)
Hans-Jürgen Bürckert, Alexander Herold
Unifikation - Das aktuelle Schlagwort. Inform. Spektrum 9 (3) (1986)
Hans-Jürgen Bürckert
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. GWAI (1986)
Hans-Jürgen Bürckert
Some Relationships between Unification, restricted Unification, and Matching. CADE (1986)