[1]
K.-H. Bläsius, H.-J. Bürckert (Hrsg.): Deduktionssysteme.
Automatisierung des logischen Denkens. Oldenbourg,
1. Auflage, 179 Seiten, 1987.
[2]
K.-H. Bläsius,
H.-J. Bürckert
(eds.): Deduction Systems in Artificial Intelligence. (Translation
of [1]). Ellis Horwood, Chichester, England, 237
pages, 1989.
[3]
H.-J. Bürckert: A
Resolution Principle for a Logic with Restricted
Quantifiers. Springer,
LNAI 568, 118 pages, 1991.
[4]
K.-H. Bläsius, H.-J. Bürckert (Hrsg.): Deduktionssysteme. Automatisierung
des logischen Denkens. Oldenbourg, 2. Erweiterte
und überarbeitete Auflage, 291 Seiten, 1992.
[5]
H.-J. Bürckert, A. Herold, D. Kapur, J.H. Siekmann, M.E. Stickel, M. Tepp, H. Zhang: Opening the
AC-Unification Race. J. of Automated Reasoning 4(4), 465-474,
1989.
[6] H.-J. Bürckert, A. Herold, M. Schmidt-Schauß: On Equational Theories, Unification, and (Un)decidability. In: Special Issue on Unification, J. of Symbolic Computation 8, 3-49, 1989.
[7] H.-J. Bürckert: Matching - A Special Case of Unification? In: Special Issue on Unification, J. of Symbolic Computation 8, 523-536, 1989.
[8] F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka: On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations. J. of Logic, Language, and Information 2, 1-18, 1993.
[9]
H.-J. Bürckert: A
Resolution Principle for Constrained Logics. Artificial Intelligence 66
235-271, 1994.
[10] W.Buntine, H.-J. Bürckert: On Solving Equations and Disequations. JACM 41(4), 591-629, 1994.
[11] B. Nebel, H.-J. Bürckert: Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. JACM 42(1), 43-66, 1995.
[12] H.-J. Bürckert, B. Hollunder, A. Laux: On Skolemization in Constrained Logics. Annals of Mathematics and Artificial Intelligence 18, 95-131, 1996.
[13] H.-J. Bürckert, K. Fischer, G. Vierke: Holonic Transport Scheduling with TeleTruck. Applied Artificial Intelligence 14(7), 697-725, 2000.
[14]
H.-J. Bürckert, A. Herold: Unifikation. Aktuelles Schlagwort. Informatik-Spektrum
9(3), 186-187, Springer, 1986.
[15]
F. Baader, H.-J. Bürckert,
B. Hollunder, A. Laux, W. Nutt:
Terminologische Logik. Künstliche Intelligenz 3/92, 23-33, 1992.
[16]
H.-J. Bürckert: Deduktion, Abduktion, Induktion. KI-Lexikon. Künstliche Intelligenz
3/92, 69-70, 1992.
[17]
U. Furbach, H.-J. Bürckert, J. Hertzberg, B. Nebel, G. Brewka, G. Lakemeyer, T. Schaub, F. Puppe: Ist die
Wissensrepräsentation tot? Künstliche Intelligenz 5/95, 18-26, 1995.
[18]
H.-J. Bürckert, U. Furbach: Vom Schmuddelkind zum Fachbereich. Künstliche Intelligenz
25/2011, 329-331, 2011.
[19] H.-J. Bürckert: Some
Relationship Between Unification, Restricted
Unification, and Matching. Proceedings of 8th Intern. Conference on Automated
Deduction, CADE-86 (ed.: J.H. Siekmann), Springer
LNCS 230, 514-524, 1986.
[20] H.-J. Bürckert: Lazy Theory Unification in Prolog: An
Extension of the Warren Abstract Machine. Proceedings of 10th German
Workshop on Artificial Intelligence & 2. Österreichische
Artificial-Intelligence-Tagung, GWAI/ÖGAI-86 (eds.:
C.-R. Rollinger, W. Horn), Springer Informatik-Fachberichte 124, 277-288, 1986.
[21] H.-J. Bürckert, A. Herold, M. Schmidt-Schauß: On Equational Theories, Unification, and Decidability. Proceedings of 2nd International Conference on Rewriting Techniques and Applications, RTA-87 (ed.: P. Lescanne), Springer LNCS 256, 204-215, 1987.
[22] H.-J. Bürckert: Solving Disequations in Equational Theories. Proceedings of 9th International Conference on Automated Deduction, CADE-88 (eds.: E.L. Lusk, R. Overbeek), Springer LNCS 310, 517-526, 1988.
[23] H.-J. Bürckert: A Resolution Principle for Clauses with Constraints. Proceedings of 10th International Conference on Automated Deduction, CADE-90 (ed.: M.E. Stickel), Springer LNAI 449, 178-192, 1990.
[24] H.-J. Bürckert, J. Müller: RATMAN: A Rational Agent Testbed for Multi Agent Networks. Proceedings of 2nd European Workshop “Modelling Autonomous Agents in Multi Agent Worlds”, MAAMAW-90, Paris, 1990.
[25] M. Buchheit, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt.: The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen. Proceedings of AKI-Workshop „Wissensrepräsentation“ (Hrsg: A. Cremers, G. Lakemeyer), Bonn, 1993.
[26] B. Nebel, H.-J. Bürckert: Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. Proceedings of 12th National Conference on Artificial Intelligence, AAAI-94, 356-361, 1994.
[27] H.-J. Bürckert, B. Hollunder, A. Laux: Concept Logics with Function Symbols. Proceedings of 11th European Conference on Artificial Intelligence, ECAI-94, 406-410, 1994.
[28] M. Buchheit, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt, M. Wójcik: Task Acquisition with a Description Logic Reasoner. Proceedings of Description Logic Workshop,Research Report RAP.07.95, Università “La Sapienza”, Rom, 99-105, 1995.
[29]
M. Buchheit,
H.-J. Bürckert,
B. Hollunder, A. Laux, W.
Nutt, M. Wójcik: Task Acquisition with a
Description Logic Reasoner. Proceedings of 19. Deutsche
Jahrestagung für Künstliche Intelligenz, KI-95, 125-136, 1995.
[30]
A. Gräber,
H.-J. Bürckert,
A. Laux: Terminological Reasoning with Knowledge
and Belief. In: A. Laux, H. Wansing
(eds.): Knowledge and Belief in Philosophy and Artificial Intelligence. Akademie-Verlag, 29-64, 1995.
[31] H.-J. Bürckert, K. Fischer, G. Vierke: TeleTruck: Fleet Management with a Holonic Multiagent System. Proceedings of the 14th European Meeting on Cybernetics and Systems Research, EMCSR-98, 695-700, 1998.
[32] H.-J. Bürckert, K. Fischer, G. Vierke: Transportation Scheduling with Holonic MAS – The TeleTruck Approach. In: Proceedings of the Third International Conference on Practical Applications of Intelligent Agents and Multiagents, PAAM-98, 577-590, 1998.
[33] H.-J. Bürckert, K. Fischer, G. Vierke: Holonic Fleet Scheduling with TeleTruck. CASYS-98, AIP Conference Proceedings of
the American Institute of Physics, 695-700, 1999.
[34]
H.-J. Bürckert, G. Vierke: Simulated
Trading Mechanismen für speditionsübergreifende
Transportplanung. Proceedings der
Logistik-Management-Tagung LMT-99, 1999.
[35]
P.
Funk, G. Vierke, H.-J. Bürckert: A Multi-Agent
Perspective on Intermodal Transport Chains. Proceedings der Logistik-Management-Tagung LMT-99, 1999.
[36]
P. Funk, G. Vierke, H.-J. Bürckert: Distributed Intermodal Transportation Planning. Proceedings des
Workshops Agententechnologie - Multiagentensysteme in der
Informationslogistik wirtschaftswissenschaftliche Perspektiven der Agentenkonzeptualisierung auf der 23. Deutschen
Jahrestagung für Künstliche Intelligenz, KI-99, TZI-Bericht Nr. 16, Universität
Bremen, 1999.
[37] H.-J. Bürckert, P. Funk, G. Vierke: An Intercompany Dispatch Support System for Intermodal Transport Chains. Proceedings der Hawaii International Conference on System Sciences HICSS-33, 2000.
[38] M. Schillo, H.-J. Bürckert, K. Fischer, M. Klusch: Towards a definition of robustness for market-style open multi-agent systems. Proceedings of 5th International Conference on Autonomous Agents 75-76, 2001.
[39]
H.-J. Bürckert: Unifikationstheorie. In [1], 104-114, 1987.
[40] H.-J. Bürckert: Deduktion
als Berechnung. In [1], 134-152, 1987.
[41] H.-J. Bürckert: Unification Theory. (Translation of [38]). In [2], 141-153, 1989.
[42] H.-J. Bürckert: Computational Logic. (Translation of [39]). In [2], 177-202, 1989.
[43] H.-J. Bürckert, A. Herold, M. Schmidt-Schauß: On Equational Theories, Unification, and (Un)decidability. In: C. Kirchner (ed.): Unification. Academic Press, 69-116, 1990 (Reprint of [6]).
[44] H.-J. Bürckert: Matching - A Special Case of Unification? In: C. Kirchner
(ed.): Unification. Academic Press, 125-138, 1990 (Reprint of [7]).
[45] F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J.H. Siekmann: Concept Logics. In: J.W. Lloyd (ed.): Computational Logic. Basic Research Series, Springer, 177-201, 1990.
[46]
H.-J. Bürckert: A
Resolution Principle for a Logic with Restricted
Quantifiers. Dissertation,
Universität Kaiserslautern, 1990 (cf. [3]).
[47] H.-J. Bürckert: Resolution, Graph-based. In: S.C. Shapiro (ed.): Encyclopedia of Artificial Intelligence. 2nd edition, John Wiley, 1353-1356, 1991.
[48] H.-J. Bürckert, J. Müller: RATMAN: Rational Agent Testbed for Multi Agent Networks. (Revised version of [23]). In: Y. Demazeau, J.-P. Muller (eds.): Decentralized A.I. 2. Elsevier Science Publishers, 217-230, 1991.
[49] F. Baader, H.-J. Bürckert, J. Heinsohn, B. Hollunder, J. Müller, B. Nebel, W. Nutt, H.-J. Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic. In B. Nebel, K. von Luck, C. Peltason (Eds.): Proceedings of the International Workshop on Terminological Logics, DFKI-D-91-13, 120-128, 1991.
[50]
H.-J. Bürckert: Unifikationstheorie.(Revised version of [38]). In [4], 112-125, 1992.
[51]
H.-J. Bürckert: Deduktion als Berechnung.(Revised version of [39]). In [4], 151-178, 1992.
[52]
H.-J. Bürckert, W. Nutt: Workshop: Modellierung
epistemischer Propositionen. In.: Grundlagen und Anwendungen der
Künstlichen Intelligenz. Proceedings der 17.
Fachtagung Künstliche Intelligenz, KI-93 (Hrsg.: O. Herzog, Th.
Christaller, D. Schütt), Springer Informatik Aktuell, 264-267, 1993.
[53] H.-J. Bürckert: Terminologies and Rules. In: K. v. Luck, H. Marburger (eds.): Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop „Information Systems and Artificial Intelligence“, Springer LNCS 777, 44-63, 1994.
[54] H.-J. Bürckert: Terminological Logics and Rules. Extended Abstract. Workshop-Proceedings of KI-94, 141-142, 1994.
[55] H.-J. Bürckert, A. Gräber, A. Laux: Terminological Reasoning with Knowledge and Belief. Extended Abstract. Workshop-Proceedings of KI-94, 127-128, 1994.
[56] B. Nebel, H.-J. Bürckert: Managing Qualitative Temporal Information: Expressiveness vs. Complexity. In: K. v. Luck, H. Marburger (eds.): Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop „Information Systems and Artificial Intelligence“, Springer LNCS 777, 104-117, 1994.
[57]
H.-J. Bürckert: Abduktion.
In G. Strube et al. (Hrsg.): Wörterbuch der Kognitionswissenschaft. Klett-Cotta, 8, 1996.
[58]
H.-J. Bürckert: Deduktion.
In G. Strube et al. (Hrsg.): Wörterbuch der Kognitionswissenschaft. Klett-Cotta, 112-113, 1996.
[59]
H.-J. Bürckert: Induktion.
In G. Strube et al. (Hrsg.): Wörterbuch der Kognitionswissenschaft. Klett-Cotta, 265-266, 1996.
[60]
H.-J. Bürckert, K. Fischer, J.H. Siekmann: Die EDV als
Führungs-, Steuerungs-, und Kontrollinstrument im Wirtschafts- und Güterverkehr.
Tagungsband der 1. Saarbrücker Logistik-Tage, Saarbrücken, 1997.
[61] M. Klusch, H.-J. Bürckert, P. Funk, A. Gerber, C.
Russ: Applications of Information Agent Systems. In: L.C. Jain (Ed.): Practical
Applications of Intelligent Agents. Springer, 2002.
[62] H.-J. Bürckert, H.
Wang, R. Zheng: MKRP: A Performance Test by
Working Mathematicians.Int.
Bericht 19/83, Universität
Karlsruhe, 1983.
[63]
H.-J. Bürckert: Extending
the WARREN Abstract Machine to Many-sorted PROLOG. SEKI-Memo SEKI-85-07, Universität Kaiserslautern,
1985.
[64]
H.-J. Bürckert: Some
Relationship Between Unification, Restricted
Unification, and Matching. SEKI-Report
SR-86-07, Universität Kaiserslautern, 1986.
[65] H.-J. Bürckert: Lazy E-Unification - A Method to Delay Alternative Solutions. Abstract. Summaries of Talks given at First Workshop on Unification (Ed.: C. Kirchner), Rapport Interne 87 R 34, Université de Nancy, 110-115, 1987.
[66] H.-J. Bürckert: Lazy E-Unification - A Method to Delay Alternative Solutions. Extended Abstract. SEKI-Working Paper SWP-87-07, Universität Kaiserslautern, 1987.
[67] H.-J. Bürckert: Matching - A Special Case of Unification? Abstract. Summaries of Talks given at First Workshop on Unification (Ed.: C. Kirchner), Rapport Interne 87 R 34, Université de Nancy, 162-169, 1987.
[68] H.-J. Bürckert: Matching - A Special Case of Unification?SEKI-Report
SR-87-08, Universität Kaiserslautern, 1987.
[69]
H.-J. Bürckert: Solving
Disequations in Equational
Theories. SEKI-Report
SR-87-15, Universität Kaiserslautern, 1987.
[70]
H.-J. Bürckert, A. Herold, M. Schmidt-Schauß: On Equational
Theories, Unification, and Decidability. SEKI-Report SR-87-20, Universität Kaiserslautern,
1987.
[71]
H.-J. Bürckert, A. Künkler (eds.): Gesellschaftliche
Auswirkungen der Informatik. Seminarvorträge WS 1986/87. Skriptum,
Universität Kaiserslautern, 1987.
[72]
H.-J. Bürckert, A. Herold, D. Kapur, J.H. Siekmann,
M.E. Stickel, M. Tepp,
H. Zhang: Opening the
AC-Unification Race.SEKI-Report, SR-88-11, Universität
Kaiserslautern, 1988.
[73] W. Buntine, H.-J. Bürckert: On Solving Equations
and Disequations.SEKI-Report
SR?89-03, Universität
Kaiserslautern, 1989.
[74]
H.-J. Bürckert, M.
Schmidt-Schauß: On the Solvability of Equational Problems. SEKI-Report SR-89-07, Universität Kaiserslautern,
1989.
[75]
H.-J. Bürckert, W. Nutt (eds.): Extended
Abstracts of 3rd International Workshop on Unification, Lambrecht;
SEKI-Report SR-89-17, Universität Kaiserslautern, 1989.
[76] H.-J. Bürckert: A Resolution Principle for Clauses with Constraints. DFKI-Research-Report RR-90-02, 1990.
[77] F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J.H. Siekmann: Concept Logics. DFKI-Research-Report RR-90-10, 1990.
[78] F. Baader, H.-J. Bürckert, J. Heinsohn, B. Hollunder, J. Müller, B. Nebel, W. Nutt, H.J. Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic. DFKI-Technical-Memo TM-90-04, 1990.
[79] H.-J. Bürckert: Constraints and Restricted Quantifiers. Abstract. In Comon et. al (eds.): Theorem Proving and Logic Programming with Constraints. Dagstuhl-Seminar-Report 24, 1991.
[80] F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka: On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations. DFKI-Research-Report RR-91-01, 1991.
[81] H.-J. Bürckert, J. Müller, A. Schupeta: RATMAN and its Relation to Other Multi-Agent Testbeds. DFKI-Research-Report RR-91-09, 1991.
[82] H.-J. Bürckert, W. Nutt: On Abduction and Answer Generation through Constrained Resolution. DFKI-Research-Report RR-92-51, 1992.
[83]
F. Baader, H.-J. Bürckert,
B. Hollunder, A. Laux, W. Nutt,
J. Siekmann: Projekt WINO: Wissens- und Inferenzobjektivierung. Abschlussbericht, Saarbrücken,
1993.
[84] H.-J. Bürckert, B. Hollunder, A. Laux: On Skolemization in Constrained Logics. DFKI-Research-Report RR-93-06, 1993.
[85] H.-J. Bürckert, B. Hollunder, A. Laux: Concept Logics with Function Symbols. DFKI-Research-Report RR-93-07, 1993.
[86] B. Nebel, H.-J. Bürckert: Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. DFKI-Research-Report RR-93-11, 1993.
[87] F. Baader, H.-J. Bürckert: Allowing for
Constructor Terms and Equations in Terminological Reasoning. Abstract. In
E. Domenjoud, C. Kirchner (eds.): Proceedings of
the First CCL Workshop.Interner
Bericht 93-R-023, CRIN, 1993.
[88]
H.-J. Bürckert, W. Nutt
(eds.): Proceedings of the Workshop on Modeling
Epistemic Propositions, 17th German Conference on Artificial Intelligence. DFKI-Dokument D-93-25, DFKI Saarbrücken, 1993.
[89] M. Buchheit, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt, M. Wójcik: Task Acquisition with a Description Logic Reasoner. DFKI-Research-Report RR-95-04, 1995.
[90]
F. Baader,
H.-J. Bürckert,
A. Günter, W. Nutt: Proceedings of the Workshop on Knowledge Representation
and Configuration WRKP’96. DFKI-Document D-96-04, 1996.
[91]
H.-J. Bürckert, W. Nutt, Ch. Seel: The Role
of Formal Knowledge Representation in Configuration. In [86], 11-16, 1996.
[92]
H.-J. Bürckert, I. Zinnikus: Modellgesteuertes Daten-Retrieval (Abstract). In K. Prasser (Hrsg.): Workshop
Deduktion – Zusammenfassungen. Interner Bericht Uni Dresden WV-96-09, 1996.
[93]
M. Buchheit, H.-J. Bürckert, B. Hollunder, A.
Laux, W. Nutt: Projekt TACOS: Taxonomies
and Common Sense. Abschlussbericht, Saarbrücken,
1996.
[94]
H.-J. Bürckert, K. Fischer, G.
Vierke: TeleTruck:
Fleet Management with a Holonic Multiagent
System. DFKI-Technical-Memo TM-97-03, 1997.
[95]
H.-J. Bürckert, G. Vierke: Simulated
Trading Mechanismen für speditionsübergreifende
Transportplanung. DFKI-Technical-Memo TM-98-04, 1998.
[96]
P.
Funk, G. Vierke, H.-J. Bürckert: A Multi-Agent
Perspective on Intermodal Transport Chains. DFKI-Technical-Memo TM-98-06, 1998.
[97] H.-J. Bürckert, P. Funk, G. Vierke: An Intercompany
Dispatch Support System for Intermodal Transport Chains. DFKI-Technical-Memo
TM-99-02, 1999.