2006 |
31 | | Hans-Jürgen Bürckert:
Jahresbericht 2005 des FB Ku"nstliche Intelligenz.
KI 20(1): 66- (2006) |
2002 |
30 | | Hans-Jürgen Bürckert:
Protokoll der FB1-Leitungssitzung.
KI 16(1): 81 (2002) |
29 | | Hans-Jürgen Bürckert:
Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz.
KI 16(2): 62-63 (2002) |
28 | | Hans-Jürgen Bürckert:
Protokoll der FB-KI-Sitzung am 17.09.2002.
KI 16(4): 67 (2002) |
2001 |
27 | EE | 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: 75-76 |
2000 |
26 | EE | Hans-Jürgen Bürckert,
Petra Funk,
Gero Vierke:
An Intermodal Dispatch Support System for Intermodal Transport Chains.
HICSS 2000 |
25 | | Hans-Jürgen Bürckert,
Klaus Fischer,
Gero Vierke:
Holonic Transport Scheduling with Teletruck.
Applied Artificial Intelligence 14(7): 697-725 (2000) |
1996 |
24 | | Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux:
On Skolemization in Constrained Logics.
Ann. Math. Artif. Intell. 18(2-4): 95-131 (1996) |
1995 |
23 | | 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: 125-136 |
22 | EE | Bernhard Nebel,
Hans-Jürgen Bürckert:
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
J. ACM 42(1): 43-66 (1995) |
21 | | Ulrich Furbach,
Hans-Jürgen Bürckert,
Joachim Hertzberg,
Bernhard Nebel,
Gerhard Brewka,
Gerhard Lakemeyer,
Torsten Schaub,
Frank Puppe:
Ist die Wissensrepräsentation tot?
KI 9(5): 18-26 (1995) |
1994 |
20 | | Bernhard Nebel,
Hans-Jürgen Bürckert:
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
AAAI 1994: 356-361 |
19 | | Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux:
Concept Logics with Function Symbols.
ECAI 1994: 406-410 |
18 | | Bernhard Nebel,
Hans-Jürgen Bürckert:
Managing Qualitative Temporal Information: Expressiveness vs. Complexity.
IS/KI 1994: 104-117 |
17 | | Hans-Jürgen Bürckert:
Terminologies and Rules.
IS/KI 1994: 44-63 |
16 | | Hans-Jürgen Bürckert:
A Resolution Principle for Constrained Logics.
Artif. Intell. 66(2): 235-271 (1994) |
15 | EE | Wray L. Buntine,
Hans-Jürgen Bürckert:
On Solving Equations and Disequations.
J. ACM 41(4): 591-629 (1994) |
1993 |
14 | | Hans-Jürgen Bürckert,
Werner Nutt:
Modellierung epistemischer Propositionen.
KI 1993: 264-267 |
1992 |
13 | | Franz Baader,
Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux,
Werner Nutt:
Terminologische Logiken.
KI 6(3): 23-33 (1992) |
12 | | Hans-Jürgen Bürckert:
Deduktion, Abduktion, Induktion.
KI 6(3): 69-70 (1992) |
1991 |
11 | | Hans-Jürgen Bürckert:
A Resolution Principle for a Logic with Restricted Quantifiers
Springer 1991 |
10 | | 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: 120-128 |
1990 |
9 | | Hans-Jürgen Bürckert:
A Resolution Principle for Clauses with Constraints.
CADE 1990: 178-192 |
1989 |
8 | | Hans-Jürgen Bürckert,
Alexander Herold,
Manfred Schmidt-Schauß:
On Equational Theories, Unification, and (Un)Decidability.
J. Symb. Comput. 8(1/2): 3-49 (1989) |
7 | | Hans-Jürgen Bürckert:
Matching - A Special Case of Unification?
J. Symb. Comput. 8(5): 523-536 (1989) |
1988 |
6 | | Hans-Jürgen Bürckert:
Solving Disequations in Equational Theories.
CADE 1988: 517-526 |
5 | | 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. Reasoning 4(4): 465-474 (1988) |
1987 |
4 | | Hans-Jürgen Bürckert,
Alexander Herold,
Manfred Schmidt-Schauß:
On Equational Theories, Unification and Decidability.
RTA 1987: 204-215 |
1986 |
3 | | Hans-Jürgen Bürckert:
Some Relationships between Unification, restricted Unification, and Matching.
CADE 1986: 514-524 |
2 | | Hans-Jürgen Bürckert:
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine.
GWAI 1986: 277-288 |
1 | | Hans-Jürgen Bürckert,
Alexander Herold:
Unifikation - Das aktuelle Schlagwort.
Informatik Spektrum 9(3): 186-187 (1986) |