Dr. Hans-Jürgen Bürckert

  
 Freelance Consultant 

  currently in order of 
 

  Deutsches Forschungszentrum für Künstliche Intelligenz GmbH

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

Current Activities

• Owner of consultIG
• Freelance concultant in order of Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
• Founding Shareholder of KI Beteiligungen GmbH (KIBG)

Former Activities

• 2004-2010      Member of the Board of GI-Regionalgruppe Saar – Pfalz
• 2003-2012      Authorized Signatory of (new) DACOS Software GmbH
• 2001-2021      Head of DFKI Administration & Services in Kaiserslautern, Saarbrücken, Bremen, Berlin, Osnabrück, Oldenburg, Lübeck
• 2001-2012      Founding Shareholder of (new) DACOS Software GmbH
• 2001-2006      Chair of the AI Department (Fachbereich Künstliche Intelligenz) of GI
• 1998-2011      Member of DFKI’s Supervisory Board
• 1994-2006      Member of the Board of the German Informatics society (GI - Gesellschaft für Informatik)
• 1990               PhD in Computer Science and Artificial Intelligence at University of Kaiserslautern
• 1990-2000      Chair of DFKI’s Works Council
• 1989-2000      Associate Head of DFKI’s Deduction & Multi-Agent Systems Lab at Kaiserslautern and Saarbrücken
• 1984-1989      Research Assistant at University of Kaiserslautern
• 1984               Research Assistant at Technical University of Berlin
• 1983               Research Assistant at University of Karlsruhe
• 1976-1983      Student of Mathematics at University of Karlsruhe

TOP

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.
 

• List of all publications

TOP

last modified 2021-09-30