Hans-Jürgen Bürckert

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