Publikationen von Hans-Jürgen Bürckert

2002

• Matthias Klusch; Hans-Jürgen Bürckert; Petra Funk; Andreas Gerber; Christian Ruß
  Applications of Information Agent Systems.
  In: L. C. Jain (Hrsg.). Practical Applications of Intelligent Agents. Springer, 2002.

2001

• Michael Schillo; Hans-Jürgen Bürckert; Klaus Fischer; Matthias Klusch
  Towards a Definition of Robustness for Market-Style Open Multi-Agent Systems.
  In: Proceedings of the Fifth International Conference on Autonomous Agents. International Conference on Autonomous Agents (AGENTS-01), May 28 - June 1, Montreal, Canada, Pages 75-76, ACM Press, New York, 2001.

2000

• Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke
  Holonic Transport Scheduling with TeleTruck.
  In: Applied Artificial Intelligence, Vol. 14, No. 7, Pages 697-725, 2000.
• Hans-Jürgen Bürckert; Petra Funk; Gero Vierke
  An Intercompany Dispatch Support System for Intermodal Transport Chains.
  In: Proceedings of Hawaii International Conference on System Sciences. HICSS-33, 2000.

1999

• Petra Funk; Gero Vierke; Hans-Jürgen Bürckert
  A Multi-Agent Perspective on Intermodal Transport Chains.
  In: Proceedings der Logistik-Management-Tagung. LMT-99, 1999.
• Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke
  Holonic Fleet Scheduling with TeleTruck.
  In: Daniel M. Dubois (Hrsg.). The second international conference on computing anticipatory systems, CASYS '98. CASYS-98, Liege, Belgium, Pages 531-542, Vol. 465, No. 1, American Institut of Physics (AIP), 1999.
• Hans-Jürgen Bürckert; Petra Funk; Gero Vierke
  An Intercompany Dispatch Support System for Intermodal Transport Chains.
  DFKI, DFKI Technical Memos (TM), Vol. 99-02, 1999.
• Petra Funk; Gero Vierke; Hans-Jürgen Bürckert
  Distributed Intermodal Transportation Planning.
  In: Proceedings des Workshops Agententechnologie - Multiagentensysteme in der Informationslogistik und wirtschaftlcihe Perspektiven der Agentenkonzeptualisierung. 23. Deutsche Jahrestagung für Künstliche Intelligenz (KI-99), September 14-15, Bremen, Germany, TZI Berichte, No. 16, Universität Bremen, 1999.

1998

• Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke
  Transportation Scheduling with Holonic MAS - The TeleTruck Approach.
  In: Proceedings of 3rd International Conference on Practical Applications of Intelligent Agents and Multiagents, PAAM-98. Pages 577-590, 1998.
• Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke
  TELETRUCK: Fleet Management with a Holonic Multiagent System.
  In: Proceedings of 14th European Meeting on Cybernetics ans Systems Research, EMCSR-98. Pages 695-700, 1998.
• Petra Funk; Gero Vierke; Hans-Jürgen Bürckert
  A Multi-Agent Perspective on Intermodal Transport Chains.
  DFKI, DFKI Technical Memos (TM), Vol. 98-06, 1998.
• Hans-Jürgen Bürckert; Gero Vierke
  Simulated Trading Mechanismen für speditionsübergreifende Transportplanung.
  DFKI, DFKI Technical Memos (TM), Vol. 98-04, 1998.

1997

• Hans-Jürgen Bürckert; Klaus Fischer; Jörg Siekmann
  Die EDV als Führungs- Steuerungs- und Kontrollinstrument im Wirtschafts- und Güterverkehr.
  In: Tagungsband der 1. Saarbrücker Logistik-Tage. 1997.
• Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke
  TELETRUCK: Fleet Management with a Holonic Multiagent System.
  DFKI, DFKI Technical Memos (TM), Vol. 97-03, 1997.

1996

• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  On Skolemization in Constrained Logics.
  In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence, Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.
• Hans-Jürgen Bürckert
  Abduktion.
  In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Page 8, Klett-Kotta, 1996.
• Hans-Jürgen Bürckert
  Deduktion.
  In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 112-113, Klett-Kotta, 1996.
• Hans-Jürgen Bürckert
  Induktion.
  In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 265-266, Klett-Kotta, 1996.
• Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
  Projekt TACOS: Taxonomies and Common Sense.
  Abschlussbericht, 1996.
• Hans-Jürgen Bürckert; Ingo Zinnikus
  Modellgesteuertes Daten-Retrieval (Abstract).
  In: K. Prasser (Hrsg.). Workshop Deduktion - Zusammenfassungen. Uni Dresden, Vol. Interner Bericht Uni Dresden, No. WV-96-09, Uni Dresden, 1996.
• Hans-Jürgen Bürckert; Werner Nutt; Christian Seel
  The Role of Formal Knowledge Representation in Configuration.
  In: Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.). Proeceedings of the Workshop on Knowledge Representation and Configuration. Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI GmbH, Pages 11-16, DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.
• Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
  Proceedings of the Workshop on Knowledge Representation and Configuration.
  Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.
• Franz Baader; Hans-Jürgen Bürckert; Andreas Günter; Werner Nutt (Hrsg.)
  Proceedings of the Workshop on Knowledge Representation and Configuration WKRP'96.
  DFKI, DFKI Documents (D), Vol. 96-04, 1996.

1995

• Hans-Jürgen Bürckert; Bernhard Nebel
  Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
  In: JACM, Vol. 42, No. 1, Pages 43-66, 1995.
• Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux
  Terminological Reasoning with Knowledge and Beliefs.
  In: Armin Laux; Heinrich Wansing (Hrsg.). Knowledge and Beliefs in Philosophy and Artificial Intelligence. Pages 29-64, Akademie-Verlag, 1995.
• Ulrich Furbach; Hans-Jürgen Bürckert; Joachim Hertzberg; Bernhard Nebel; Gerd Brewka; Gerd Lakemeyer; Torsten Schaub; Frank Puppe
  Ist die Wissensrepräsentation tot?.
  In: Künstliche Intelligenz, Vol. 95, No. 5, Pages 18-26, 1995.
• Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik
  Task Acquisition with a Description Logic Reasoner.
  In: Ipke Wachsmuth; Claus-Rainer Rollinger; Wilfried Brauer (Hrsg.). KI'95: Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence. Pages 125-136, Lecture Notes In Computer Science (LNCS), Vol. 981, ISBN 3-540-60343-3, Springer-Verlag, London, UK, 1995.
• Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik
  Task Acquisition with a Description Logic Reasoner.
  Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 95-04, 1995.
• Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik
  Task Acquisition with a Descriptin Logic Reasoner.
  In: A. Borgida; M. Lenzerini; D. Nardi; B. Nebel (Hrsg.). Proceedings of the 1995 International Workshop on Description Logics. DL-1995, June 2-3, University "La Sapienza", Rome, Italy, Pages 99-105, Research Reports, Vol. RAP 07.95, 1995.

1994

• Hans-Jürgen Bürckert
  A Resolution Principle for Constrained Logics.
  In: Artificial Intelligence, Vol. 66, Pages 235-271, 1994.
• Wray Buntine; Hans-Jürgen Bürckert
  On Solving Equations and Disequations.
  In: JACM, Vol. 41, No. 4, Pages 591-629, 1994.
• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  Concept Logics with Function Symbols.
  In: Anthony G. Cohn (Hrsg.). Proceedings of the 11th European Conference on Artificial Intelligence. ECAI-94, August 8-12, Amsterdam, Netherlands, Pages 406-410, J. Wiley, 1994.
• Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux
  Terminological Reasoning with Knowledge and Beliefs. Extended Abstract.
  In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of the 18th German Annual Conferecnce on Artificial Intelligence. Pages 127-128, 1994.
• Hans-Jürgen Bürckert
  Terminologies and Rules.
  In: Kai von Luck; Heinz Marburger (Hrsg.). Proceedings of 3rd Workshop on Information Systems and Artificial Intelligence: Management and Processing of Complex Data Structures. February 28 - March 2, Pages 44-63, Lecture Notes In Computer Science (LNCS), Vol. 777, ISBN 3-540-57802-1, Springer, London, 1994.
• Hans-Jürgen Bürckert; Bernhard Nebel
  Managing Qualitative Temporal Information: Expressiveness vs. Complexity.
  In: Kai von Luck; Heinz Marburger (Hrsg.). Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop "Information Systems and Artificial Intelligence". Pages 104-117, LNCS, Vol. 777, Springer, 1994.
• Hans-Jürgen Bürckert
  Terminologies and Rules. Extended Abstract.
  In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of 18th German Conference on Artificial Intelligence. Pages 141-142, 1994.
• Bernhard Nebel; Hans-Jürgen Bürckert
  Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
  In: Proceedings of 12th National Conference on Artificial Intelligence. AAAI-94, Pages 356-361, 1994.

1993

• 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.
  In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.
• Hans-Jürgen Bürckert; Werner Nutt
  Modellierung epistemischer Propositionen.
  In: O. Herzog; Th. Christaller; D. Schütt (Hrsg.). Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz. September 13-16, Pages 264-267, Informatik aktuell, ISBN 3-540-57278-3, Springer, London, 1993.
• Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
  The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen.
  In: A. B. Cremers; G. Lakemeyer (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". Bonn, Germany, 1993.
• Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
  Proceedings of the Workshop on Modeling Epistemic Propositions.
  Workshop on Modeling Epistemic Propositions, located at 17th German Conference on Artificial Intelligence, Berlin, Germany, DFKI Documents (D), Vol. 93-25, DFKI GmbH, 1993.
• Franz Baader; Hans-Jürgen Bürckert
  Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract).
  In: Eric Domenjoud; Claude Kirchner (Hrsg.). Proceedings of 1st CCL Workshop. CRIN Nancy Frankre, Interner Bericht, Vol. 93-R-023, CRIN, 1993.
• Bernhard Nebel; Hans-Jürgen Bürckert
  Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
  DFKI, DFKI Research Reports (RR), Vol. 93-11, 1993.
• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  Concept Logics with Function Symbols.
  DFKI GmbH, DFKI Research Reports (RR), Vol. 93-07, 4/1993.
• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  On Skolemization in Constrained Logis.
  DFKI GmbH, DFKI Research Reports (RR), Vol. 93-06, 1993.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann
  Projekt WINO: Wissens- und Inferenzobjektivierung.
  Abschlussbericht, 1993.
• Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
  Modeling Epistemic Propositions.
  DFKI, DFKI Documents (D), Vol. 93-25, 1993.

1992

• Dieter Hutter
  Vollständige Induktion.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Page o.A. Oldenbourg Verlag, 1992.
• Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
  Deduktionssysteme. Automatisierung des logischen Denkens.
  Oldenbourg-Verlag, 1992.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
  Terminologische Logik.
  In: Künstliche Intelligenz, Vol. 92, No. 3, Pages 23-33, 1992.
• Hans-Jürgen Bürckert
  Deduktion, Abduktion, Induktion. KI-Lexikon.
  In: Künstliche Intelligenz, Vol. 92, No. 3, Pages 69-70, 1992.
• Hans-Jürgen Bürckert
  Unifikationstheorie.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 112-125, Oldenbourg, 1992.
• Hans-Jürgen Bürckert
  Deduktion als Berechnung.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatiserung des logischen Denkens. Pages 151-178, Oldenbourg, 1992.
• Hans-Jürgen Bürckert; Werner Nutt
  On Abduction and Answer Generation through Constrained Resolution.
  Research Report, Vol. RR-92-51, 1992.
• Hans-Jürgen Bürckert; Werner Nutt
  On Abduction and Answer Generation through Constained Resolution.
  DFKI, DFKI Research Reports (RR), Vol. 92-51, 1992.

1991

• Hans-Jürgen Bürckert
  A Resolution Principle for a Logic with Restricted Quantifiers.
  Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, Springer, 1991.
• Hans-Jürgen Bürckert
  RATMAN: A Rational Agent Testbed for Multi Agent Networks.
  In: Yves Demazeau; Jean-Pierre Müller (Hrsg.). Decentralized AI2 - Proceedings of 2nd European Workshop on Modelling Autonomous Agents in a Multi Agent World. European Workshop on Modelling Autonomous Agents in Multi Agent Worlds (MAAMAW-90), 2nd, Pages 217-230, Elsevier Science Publishers, 1991.
• Hans-Jürgen Bürckert; Heinz-Jürgen Müller
  RATMAN: Rational Agent Testbed for Multi Agent Networks.
  In: Yves Demazeau; Jean-Pierre Müller (Hrsg.). Decentralized A.I. 2. Pages 217-230, Elsevier Science Publishers, 1991.
• Hans-Jürgen Bürckert
  Resolution, Graph-based.
  In: Stuart C. Shapiro (Hrsg.). Encyclopedia of Artificial Intelligence. Pages 1353-1356, John Wiley, 1991.
• Hans-Jürgen Bürckert
  A Resolution Principle for a Logic with Restricted Quantifiers.
  PhD-Thesis, Universität Kaiserslautern, FB Informatik, Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, 1991.
• Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Werner Nutt; Hans-Jürgen Profitlich
  Terminological Knowledge Representation: A Proposal for a Terminological Logic.
  In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany, Pages 120-128, DFKI Documents (D), Vol. 91-13, DFKI GmbH, 1991.
• Hans-Jürgen Bürckert; Jürgen Müller; Achim Schupeta
  RATMAN and its Relation to other Multi-agent Testbeds.
  DFKI, DFKI Research Reports (RR), Vol. 91-09, 1991.
• 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.
  DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.
• Hans-Jürgen Bürckert
  Constraints and Restricted Quantifiers (Abstract).
  In: Comon et al. (Hrsg.). Theorem Proving and Logic Programming with Constraints. IBFI Dagstuhl, Dagstuhl Seminar-Reports, Vol. Dagstuhl-Seminar-Report 24, 1991.

1990

• Hans-Jürgen Bürckert
  A Resolution Principle for Clauses with Constraints.
  In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Pages 178-192, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer, Berlin - Heidelberg, 1990.
• Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
  On Equational Theories, Unification, and (Un)decidability.
  In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.
• Hans-Jürgen Bürckert
  Matching - A Special Case of Unification?.
  In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
  Concept Logics.
  In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, Pages 177-201, ESPRIT Basic Research Series, Vol. 1, Springer, 11/1990.
• 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.
  DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
  Concept Logics.
  Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.
• Hans-Jürgen Bürckert
  A Resolution Principle for Clauses with Constraints.
  DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
  Concept Logics.
  DFKI, DFKI Research Reports (RR), Vol. 90-10, 1990.

1989

• Dieter Hutter
  Complete Induction.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Page o.A. Ellis Horwood Series in Artificial Intelligence, ISBN 9780745804095, Ellis Horwood, 1989.
• Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
  Deduction Systems in Artificial Intelligence.
  Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
• Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang
  Opening the AC-Unification Race.
  In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.
• Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß
  On Equational Theories, Unification, and (Un)decidability.
  In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.
• Hans-Jürgen Bürckert
  Matching - A Special Case of Unification?.
  In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 523-536, Elsevier, 1989.
• Hans-Jürgen Bürckert
  Unification Theory.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
• Hans-Jürgen Bürckert
  Compuational Logic.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 177-202, Ellis Horwood, 1989.
• Hans-Jürgen Bürckert; Manfred Schmidt-Schauß
  On the Solvability of Equational Problems.
  Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.
• Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
  Extended Abstracts of 3rd International Workshop on Unification.
  International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany, SEKI Reports, Vol. SR-89-17, Universität Kaiserslautern, 1989.
• Wary Buntine; Hans-Jürgen Bürckert
  On Solving Equations and Disequations.
  Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.

1988

• Hans-Jürgen Bürckert
  Solving Disequations in Equational Theories.
  In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9), May 23-26, Argonne, IL, United States, Pages 517-526, Lecture Notes in Computer Science (LNCS), Vol. 310, Springer, 1988.
• Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang
  Opening the AC-Unification Race.
  Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

1987

• Dieter Hutter
  Vollständige Induktion.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.
• Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
  Deduktionssysteme. Automatisierung des logischen Denkens.
  Oldenbourg-Verlag, 1987.
• Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
  On Equational Theories, Unification, and Decidability.
  In: Pierre Lescanne (Hrsg.). Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on Rewriting Techniques and Applications (RTA-2), 2nd, May 25-27, Bordeaux, France, Pages 204-215, Lecture Notes in Computer Science (LNCS), Vol. 256, Springer, 1987.
• Hans-Jürgen Bürckert
  Lazy E-Unification - A Method to Delay Alternative Solutions.
  Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.
• Hans-Jürgen Bürckert; Andreas Künkler
  Gesellschaftliche Auswirkungen der Informatik. Seminarvorträge.
  Skriptum, Universität Kaiserslautern, Skriptum, Vol. WS 1986/87, 1987.
• Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
  On Equational Theories.
  Universität Kaiserslautern, SEKI Reports, Vol. SR-87-20, 1987.
• Hans-Jürgen Bürckert
  Solving Disequation in Equational Theories.
  Universität Kaiserslautern, SEKI Reports, Vol. SR-87-15, 1987.
• Hans-Jürgen Bürckert
  Matching - A Special Case of Unification?.
  Universität Kaiserslautern, SEKI Reports, Vol. SR-87-08, 1987.
• Hans-Jürgen Bürckert
  Lazy E-Unification - A Method to Delay Alternative Solution (Extended Abstract).
  Universität Kaiserslautern, SEKI Working Papers, Vol. SWP-87-07, 1987.
• Hans-Jürgen Bürckert
  Matching - A Special Case of Unification? (Abstract).
  In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, Val d`Ajol, France, Pages 162-169, Rapport Interne, Vol. 87 R 34, Université de Nancy, 1987.
• Hans-Jürgen Bürckert
  Unifikationstheorie.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 104-114, Oldenbourg-Verlag, 1987.
• Hans-Jürgen Bürckert
  Deduktion als Berechnung.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 134-152, Oldenbourg Verlag, 1987.

1986

• Hans-Jürgen Bürckert; Alexander Herold
  Unifikation. Aktuelles Schlagwort.
  In: Informatik-Spektrum, Vol. 9, No. 3, Pages 186-187, Springer, 1986.
• Hans-Jürgen Bürckert
  Some relationship Between Unification, Restricted Unification, and Matching.
  In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986), 8th, July 27 - August 1, Oxford, United Kingdom, Pages 514-524, Lecture Notes in Computer Science (LNCS), Vol. 230, Springer, 1986.
• Hans-Jürgen Bürckert
  Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine.
  In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 277-288, Informatik-Fachberichte, Vol. 124, Springer, 1986.
• Hans-Jürgen Bürckert
  Some relationships between Unification, Restricted Unification, and Matching.
  Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.

1985

• Hans-Jürgen Bürckert
  Extending the Warren Abstract Machine to Many-sorted PROLOG.
  SEKI-Memo, Universität Kaiserslautern, SEKI-Memo, Vol. SEKI-85-07, 1985.

1983

• Hans-Jürgen Bürckert; H. Wang; R. Zheng
  MKRP: A Performance Test by Working Mathematicians.
  Universität Karlsruhe, Interner Bericht, Vol. 19/83, 1983.