Hans-Jürgen Bürckert

Affiliations:
  • German Research Centre for Artificial Intelligence, DFKI, Kaiserslautern, Germany


According to our database1, Hans-Jürgen Bürckert authored at least 34 papers between 1986 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2011
Vom Schmuddelkind zum Fachbereich.
Künstliche Intell., 2011

2007
Jahresbericht 2006 des FB KI.
Künstliche Intell., 2007

2006
Jahresbericht 2005 des FB Ku"nstliche Intelligenz.
Künstliche Intell., 2006

2002
Protokoll der FB-KI-Sitzung am 17.09.2002.
Künstliche Intell., 2002

Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz.
Künstliche Intell., 2002

Protokoll der FB1-Leitungssitzung.
Künstliche Intell., 2002

2001
Towards a definition of robustness for market-style open multi-agent systems.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Holonic Transport Scheduling with Teletruck.
Appl. Artif. Intell., 2000

An Intermodal Dispatch Support System for Intermodal Transport Chains.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1998
Transportation Scheduling with Holonic MAS: The TELETRUCK Approach.
Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

1996
On Skolemization in Constrained Logics.
Ann. Math. Artif. Intell., 1996

1995
Ist die Wissensrepräsentation tot?
Künstliche Intell., 1995

Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
J. ACM, 1995

Task Acquisition with a Description Logic Reasoner.
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

1994
On Solving Equations and Disequations.
J. ACM, 1994

A Resolution Principle for Constrained Logics.
Artif. Intell., 1994

Managing Qualitative Temporal Information: Expressiveness vs. Complexity.
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Terminologies and Rules.
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Concept Logics with Function Symbols.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
J. Log. Lang. Inf., 1993

Modellierung epistemischer Propositionen.
Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

1992
Deduktion, Abduktion, Induktion.
Künstliche Intell., 1992

Terminologische Logiken.
Künstliche Intell., 1992

1991
Terminological Knowledge Representation: A Proposal for a Terminological Logic.
Proceedings of the International Workshop on Terminological Logics 1991, 1991

A Resolution Principle for a Logic with Restricted Quantifiers
Lecture Notes in Computer Science 568, Springer, ISBN: 3-540-55034-8, 1991

1990
A Resolution Principle for Clauses with Constraints.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
On Equational Theories, Unification, and (Un)Decidability.
J. Symb. Comput., 1989

Matching - A Special Case of Unification?
J. Symb. Comput., 1989

1988
Opening the AC-Unification Race.
J. Autom. Reason., 1988

Solving Disequations in Equational Theories.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
On Equational Theories, Unification and Decidability.
Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

1986
Unifikation - Das aktuelle Schlagwort.
Inform. Spektrum, 1986

Lazy Theory Unification inProlog: An Extension of the warren Abstract machine.
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

Some Relationships between Unification, restricted Unification, and Matching.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986


  Loading...