Dr. Hans-Jürgen Bürckert


 Freelance Consultant

  currently in order of 


Deutsches Forschungszentrum für Künstliche Intelligenz GmbH

  Dr. Hans-Jürgen Bürckert
  Heidenkopferdell 45 
  D-66123 Saarbrücken
  Mobile:   +49.160.97834644
  Find below
    my activities
    selected publications

Current Activities

Former Activities


Selected Publications

Deduction Systems in Artificial Intelligence.
Ellis Horwood Series in Artificial Intelligence, 1989.

Matching - a special case of unification?
J. of Symbolic Computation 8, 523-536, 1989.

On equational theories, unification, and (un)decidability.
J. of Symbolic Computation 8, 3-49, 1989.

A Resolution Principle for a Logic with Restricted Quantifiers.
Springer Lecture Notes in Artificial Intelligence 568, 1991.

RATMAN: Rational Agent Testbed for Multi Agent Networks.
In: Demazeau, Muller (eds.), Decentralized A.I. 2., Elsevier Science Publishers, 217-230, 1991.

2. erweiterte Auflage. Oldenbourg, 1992.

On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
J. of Logic, Language, and Information 2, 1-18, 1993.

On solving equations and disequations.
JACM 41(4), 591-629, 1994.

A resolution principle for constrained logics.
Artificial Intelligence 66, 235-271, 1994.

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.

Terminological reasoning with knowledge and belief.
In: Laux, Wansing (eds.),
Knowledge and Belief in Philosophy and Artificial Intelligence.
Akademie-Verlag, 1995.

Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra.
JACM 42(1), 43-66, 1995.

On Skolemization in constrained logics.
Annals of Mathematics and Artificial Intelligence18, 95-131, 1996.

Holonic transport scheduling with TELETRUCK
Applied Artificial Intelligence 14(7), 697-726, 2000.



last modified 2021-09-30


Data Protection -- Legal Information