|
|
Hans-Jürgen Bürckert
Address: Dr. Hans-Jürgen Bürckert DFKI GmbH Stuhlsatzenhausweg 3 D-66123 Saarbrücken, Germany Office: Saarbrücken (SB) Rm +2.18 Kaiserslautern (KL) Rm 4.01 Phone: SB +49.681.302-5321 KL +49.631.205-75-505 Fax: SB +49.681.302-5040 KL +49.631.205-75-503 Mobile:+49.160.97834644 Find below my current activities selected publications |
Activities
- Head
of DFKI Administration & Services in Kaiserslautern, Saarbrücken, and Bremen
- Member of DFKI Supervisory
Board
- President Shareholder of KI Beteiligungen GmbH (KIBG)
- Shareholder of DACOS
Software GmbH
- Member
of the Board of GI-Regionalgruppe Saar - Pfalz
- Vicepresident of Verein
der Freunde und Förderer des DFKI (VFF-DFKI)
Selected
Publications
- Karl-Hans Bläsius, Hans-Jürgen Bürckert (eds.):
Deduction Systems in Artificial Intelligence.
Ellis Horwood
Series in Artificial Intelligence, 1989.
- Hans-Jürgen Bürckert:
Matching - a special case of
unification?
J. of
Symbolic Computation
8, 523-536, 1989.
- Hans-Jürgen Bürckert, Alexander Herold, Manfred
Schmidt-Schauß:
On equational theories, unification, and
(un)decidability.
J. of
Symbolic Computation
8, 3-49, 1989.
- Hans-Jürgen Bürckert:
A Resolution Principle for a Logic
with Restricted Quantifiers.
Springer Lecture
Notes in Artificial Intelligence 568, 1991.
- Hans-Jürgen Bürckert, H. Jürgen Müller:
RATMAN: Rational Agent Testbed for Multi Agent
Networks.
In: Demazeau, Muller (eds.), Decentralized A.I. 2., Elsevier Science
Publishers, 217-230, 1991.
- Karl-Hans Bläsius, Hans-Jürgen Bürckert (Hrsg.):
Deduktionssysteme.
2. erweiterte Auflage. Oldenbourg, 1992.
- 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. of Logic,
Language, and Information
2, 1-18, 1993.
- Wray Buntine, Hans-Jürgen Bürckert:
On solving equations and disequations.
JACM 41(4), 591-629, 1994.
- Hans-Jürgen Bürckert:
A resolution principle for constrained logics.
Artificial
Intelligence
66, 235-271, 1994.
- Hans-Jürgen Bürckert:
Terminologies and rules.
In: v. Luck, Marburger (eds.):
Management and Processing of Complex Data Structures.
Lecture Notes in
Artificial Intelligence LNAI 777, 44-63, Springer 1994.
- Andrea Gräber, Hans-Jürgen Bürckert, Armin Laux:
Terminological reasoning with knowledge and
belief.
In: Laux, Wansing (eds.),
Knowledge and Belief in Philosophy and Artificial Intelligence.
Akademie-Verlag,
1995.
- Bernhard Nebel, Hans-Jürgen Bürckert:
Reasoning about temporal relations: A maximal
tractable subclass of Allen's interval algebra.
JACM 42(1), 43-66, 1995.
- Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux:
On Skolemization in constrained logics.
Annals of
Mathematics and Artificial Intelligence18,
95-131, 1996.
- Hans-Jürgen Bürckert, Klaus Fischer, and Gero Vierke:
Holonic transport scheduling with TELETRUCK
Applied Artificial Intelligence 14(7), 697-726, 2000.
last modified 2008-01-30