default search action
Hans-Jürgen Bürckert
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
2010 – 2019
- 2011
- [j19]Hans-Jürgen Bürckert, Ulrich Furbach:
Vom Schmuddelkind zum Fachbereich. Künstliche Intell. 25(4): 329-331 (2011)
2000 – 2009
- 2007
- [j18]Hans-Jürgen Bürckert:
Jahresbericht 2006 des FB KI. Künstliche Intell. 21(1): 67 (2007) - 2006
- [j17]Hans-Jürgen Bürckert:
Jahresbericht 2005 des FB Ku"nstliche Intelligenz. Künstliche Intell. 20(1): 66- (2006) - 2002
- [j16]Hans-Jürgen Bürckert:
Protokoll der FB1-Leitungssitzung. Künstliche Intell. 16(1): 81 (2002) - [j15]Hans-Jürgen Bürckert:
Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz. Künstliche Intell. 16(2): 62-63 (2002) - [j14]Hans-Jürgen Bürckert:
Protokoll der FB-KI-Sitzung am 17.09.2002. Künstliche Intell. 16(4): 67 (2002) - 2001
- [c15]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]Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke:
Holonic Transport Scheduling with Teletruck. Appl. Artif. Intell. 14(7): 697-725 (2000) - [c14]Hans-Jürgen Bürckert, Petra Funk, Gero Vierke:
An Intermodal Dispatch Support System for Intermodal Transport Chains. HICSS 2000
1990 – 1999
- 1998
- [c13]Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke:
Transportation Scheduling with Holonic MAS: The TELETRUCK Approach. PAAM 1998: 577-590 - 1996
- [j12]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]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]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]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]Hans-Jürgen Bürckert:
A Resolution Principle for Constrained Logics. Artif. Intell. 66(2): 235-271 (1994) - [j8]Wray L. Buntine, Hans-Jürgen Bürckert:
On Solving Equations and Disequations. J. ACM 41(4): 591-629 (1994) - [c11]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]Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux:
Concept Logics with Function Symbols. ECAI 1994: 406-410 - [c9]Hans-Jürgen Bürckert:
Terminologies and Rules. IS/KI 1994: 44-63 - [c8]Bernhard Nebel, Hans-Jürgen Bürckert:
Managing Qualitative Temporal Information: Expressiveness vs. Complexity. IS/KI 1994: 104-117 - 1993
- [j7]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]Hans-Jürgen Bürckert, Werner Nutt:
Modellierung epistemischer Propositionen. KI 1993: 264-267 - 1992
- [j6]Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt:
Terminologische Logiken. Künstliche Intell. 6(3): 23-33 (1992) - [j5]Hans-Jürgen Bürckert:
Deduktion, Abduktion, Induktion. Künstliche Intell. 6(3): 69-70 (1992) - 1991
- [b1]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]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]Hans-Jürgen Bürckert:
A Resolution Principle for Clauses with Constraints. CADE 1990: 178-192
1980 – 1989
- 1989
- [j4]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]Hans-Jürgen Bürckert:
Matching - A Special Case of Unification? J. Symb. Comput. 8(5): 523-536 (1989) - 1988
- [j2]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]Hans-Jürgen Bürckert:
Solving Disequations in Equational Theories. CADE 1988: 517-526 - 1987
- [c3]Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß:
On Equational Theories, Unification and Decidability. RTA 1987: 204-215 - 1986
- [j1]Hans-Jürgen Bürckert, Alexander Herold:
Unifikation - Das aktuelle Schlagwort. Inform. Spektrum 9(3): 186-187 (1986) - [c2]Hans-Jürgen Bürckert:
Some Relationships between Unification, restricted Unification, and Matching. CADE 1986: 514-524 - [c1]Hans-Jürgen Bürckert:
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. GWAI 1986: 277-288
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint