dblp.uni-trier.dewww.uni-trier.de

Hans-Jürgen Bürckert Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
32EEHans-Jürgen Bürckert: Jahresbericht 2006 des FB KI. KI 21(1): 67 (2007)
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
27EEMichael 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
26EEHans-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
22EEBernhard 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
18EEBernhard Nebel, Hans-Jürgen Bürckert: Managing Qualitative Temporal Information: Expressiveness vs. Complexity. IS/KI 1994: 104-117
17EEHans-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)
15EEWray 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
9EEHans-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
6EEHans-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
4EEHans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß: On Equational Theories, Unification and Decidability. RTA 1987: 204-215
1986
3EEHans-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)

Coauthor Index

1Franz Baader [10] [13]
2Gerhard Brewka [21]
3Martin Buchheit [23]
4Wray L. Buntine [15]
5Klaus Fischer [25] [27]
6Petra Funk [26]
7Ulrich Furbach [21]
8Jochen Heinsohn [10]
9Alexander Herold [1] [4] [5] [8]
10Joachim Hertzberg [21]
11Bernhard Hollunder [10] [13] [19] [23] [24]
12Deepak Kapur [5]
13Matthias Klusch [27]
14Gerhard Lakemeyer [21]
15Armin Laux [13] [19] [23] [24]
16Jürgen Müller [10]
17Bernhard Nebel [10] [18] [20] [21] [22]
18Werner Nutt [10] [13] [14] [23]
19Hans-Jürgen Profitlich [10]
20Frank Puppe [21]
21Torsten Schaub [21]
22Michael Schillo [27]
23Manfred Schmidt-Schauß [4] [8]
24Jörg H. Siekmann [5]
25Mark E. Stickel [5]
26Michael Tepp [5]
27Gero Vierke [25] [26]
28Marek Wójcik [23]
29Hantao Zhang [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)