default search action

combined dblp search
author search
venue search
publication search

ask others

Hans-Jürgen Bürckert

> Home > Persons

Person information

affiliation: German Research Centre for Artificial Intelligence, DFKI, Kaiserslautern, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/BurckertF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BurckertF11
Hans-Jürgen Bürckert, Ulrich Furbach:
Vom Schmuddelkind zum Fachbereich. Künstliche Intell. 25(4): 329-331 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j18]
- view
  - electronic edition @ kuenstliche-intelligenz.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Burckert07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Burckert07
Hans-Jürgen Bürckert:
Jahresbericht 2006 des FB KI. Künstliche Intell. 21(1): 67 (2007)
2006
[j17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Burckert06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Burckert06
Hans-Jürgen Bürckert:
Jahresbericht 2005 des FB Ku"nstliche Intelligenz. Künstliche Intell. 20(1): 66- (2006)
2002
[j16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Burckert02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Burckert02
Hans-Jürgen Bürckert:
Protokoll der FB1-Leitungssitzung. Künstliche Intell. 16(1): 81 (2002)
[j15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Burckert02a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Burckert02a
Hans-Jürgen Bürckert:
Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz. Künstliche Intell. 16(2): 62-63 (2002)
[j14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Burckert02b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Burckert02b
Hans-Jürgen Bürckert:
Protokoll der FB-KI-Sitzung am 17.09.2002. Künstliche Intell. 16(4): 67 (2002)
2001
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/agents/SchilloBFK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agents/SchilloBFK01
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
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/aai/BurckertFV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aai/BurckertFV00
Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke:
Holonic Transport Scheduling with Teletruck. Appl. Artif. Intell. 14(7): 697-725 (2000)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/BurckertFV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/BurckertFV00
Hans-Jürgen Bürckert, Petra Funk, Gero Vierke:
An Intermodal Dispatch Support System for Intermodal Transport Chains. HICSS 2000

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/paam/Burckert0V98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paam/Burckert0V98
Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke:
Transportation Scheduling with Holonic MAS: The TELETRUCK Approach. PAAM 1998: 577-590
1996
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BurckertHL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BurckertHL96
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
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/NebelB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/NebelB95
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)
[j10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/FurbachBHNBLSP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/FurbachBHNBLSP95
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): 18-26 (1995)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BuchheitBHLNW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BuchheitBHLNW95
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
1994
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Burckert94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Burckert94
Hans-Jürgen Bürckert:
A Resolution Principle for Constrained Logics. Artif. Intell. 66(2): 235-271 (1994)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/BuntineB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/BuntineB94
Wray L. Buntine, Hans-Jürgen Bürckert:
On Solving Equations and Disequations. J. ACM 41(4): 591-629 (1994)
[c11]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/NebelB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NebelB94
Bernhard Nebel, Hans-Jürgen Bürckert:
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. AAAI 1994: 356-361
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/BurckertHL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BurckertHL94
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux:
Concept Logics with Function Symbols. ECAI 1994: 406-410
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iski/Burckert94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iski/Burckert94
Hans-Jürgen Bürckert:
Terminologies and Rules. IS/KI 1994: 44-63
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iski/NebelB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iski/NebelB94
Bernhard Nebel, Hans-Jürgen Bürckert:
Managing Qualitative Temporal Information: Expressiveness vs. Complexity. IS/KI 1994: 104-117
1993
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/BaaderBNNS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/BaaderBNNS93
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): 1-18 (1993)
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ki/BurckertN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BurckertN93
Hans-Jürgen Bürckert, Werner Nutt:
Modellierung epistemischer Propositionen. KI 1993: 264-267
1992
[j6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/BaaderBHLN92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BaaderBHLN92
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt:
Terminologische Logiken. Künstliche Intell. 6(3): 23-33 (1992)
[j5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Burckert92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Burckert92
Hans-Jürgen Bürckert:
Deduktion, Abduktion, Induktion. Künstliche Intell. 6(3): 69-70 (1992)
1991
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Burckert91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Burckert91
Hans-Jürgen Bürckert:
A Resolution Principle for a Logic with Restricted Quantifiers. Kaiserslautern University of Technology, Germany, Lecture Notes in Computer Science 568, Springer 1991, ISBN 3-540-55034-8, pp. 1-116
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderBhHMNNP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderBhHMNNP91
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
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Burckert90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Burckert90
Hans-Jürgen Bürckert:
A Resolution Principle for Clauses with Constraints. CADE 1990: 178-192

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/BurckertHS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BurckertHS89
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)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Burckert89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Burckert89
Hans-Jürgen Bürckert:
Matching - A Special Case of Unification? J. Symb. Comput. 8(5): 523-536 (1989)
1988
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BurckertHKSSTZ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BurckertHKSSTZ88
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): 465-474 (1988)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Burckert88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Burckert88
Hans-Jürgen Bürckert:
Solving Disequations in Equational Theories. CADE 1988: 517-526
1987
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/BurckertHS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BurckertHS87
Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß:
On Equational Theories, Unification and Decidability. RTA 1987: 204-215
1986
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/insk/BurckertH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/insk/BurckertH86
Hans-Jürgen Bürckert, Alexander Herold:
Unifikation - Das aktuelle Schlagwort. Inform. Spektrum 9(3): 186-187 (1986)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Burckert86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Burckert86
Hans-Jürgen Bürckert:
Some Relationships between Unification, restricted Unification, and Matching. CADE 1986: 514-524
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Burckert86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Burckert86
Hans-Jürgen Bürckert:
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. GWAI 1986: 277-288

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.