Ausgewählte Publikationen

Deprecated: Creation of dynamic property Papercite::$options is deprecated in /var/www/clients/client89/web233/web/wp-content/plugins/papercite/papercite.php on line 198

 

C. P. Wirth, J. Siekmann, V. Peckhaus, M. Gabbay, D. Gabbay: “David Hilbert, Paul Bernays: Grundlagen  Mathematik I”, Foundations of Mathematics I, bilingual 8-volume edition, 2016;  subsequent volumes to appear.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
P. Szabo, J. Siekmann, and M. Hoche: „What Is Essential Unification?.“  In: Martin Davis on Computability, Computational Logic, and Mathematical Foundations, pp. 285-314. Springer International Publishing. 2016.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
J. Siekmann: „Computational Logic” erschienen in: D.Gabbay, J.Siekmann,J.Woods (eds) „Handbook on the History of Logic“, vol. 9, North Holland, Elsevier, 2014.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
S. Autexier, C. Benzmüller, D. Dietrich, J. Siekmann: „OMEGA“ In: „Resource Adaptive Cognitive Processes“ , Springer Cognitive Technologies, Springer Verlag, 2010		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
E. Melis, A. Meier, and J. Siekmann: „Proof planning with multiple strategies.“ In: Artificial Intelligence, vol. 172 no. 6-7, p. 656-684. 2008.		[su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/09/Proof-planning-with-multiple-strategies.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
E. Melis, and J. Siekmann: „e-Learning Logic and Mathematics: What We Have and What We Still Need.“  In: Essays in Honor of Dov Gabbay. 2005.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
E. Melis, and J. Siekmann: „Activemath: An intelligent tutoring system for mathematics.“  In: ICAISC, pp. 91-101. 2004.		[su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/09/Activemath-An-intelligent-tutoring-system-for-mathematics.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
J. Siekmann, C. Benzmüller, A. Fiedler, A. Meier, I. Normann, and M. Pollet: „Proof Development with Ωmega: The Irrationality of\sqrt 2.“ In: Thirty five years of automating mathematics, pp. 271-314. Springer Netherlands. 2003.		[su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/09/Proof-Development-with-Omega.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
J. Siekmann, and Graham Wrightson: „An open research problem: Strong completeness of R. Kowalski’s connection graph proof procedure.“ In: Computational Logic: Logic Programming and Beyond, pp. 231-252. Springer, Berlin, Heidelberg. 2002.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
D. Hutter, B. Langenstein, G. Rock, J. Siekmann, W. Stephan, and R. Vogt: „Formal software development in the Verification Support Environment (VSE).“ In: Journal of Experimental & Theoretical Artificial Intelligence, vol. 12 no. 4, pp. 383-406. 2000.		[su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/09/Formal-software-development-in-the-Verification-Support-Environment-VSE.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
E. Melis, and J. Siekmann: „Knowledge-based proof planning.“ In: Artificial Intelligence, vol. 115 no. 1, pp. 65-105. Elsevier. 1999.		[su_button url=“http://siekmann.dfki.de/wp-content/uploads/2017/09/Knowledge-based-proof-planning.txt“ target=“_blank“ background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Beierle, C., Hedtstueck, U., Pletat, U., Schmitt, P. H., & Siekmann, J.: „An order-sorted logic for knowledge representation systems.“ In Artificial intelligence, 55(2-3), 149-191. 1992.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Baader, F., Bürckert, H.-J., Hollunder, B., Nutt, W. and Siekmann, J.:  “Concept Logics” In J.W. Lloyd (Ed.), Computational Logic, 177-201, Symposium Proceedings, Brussels,  Springer-Verlag, 1990.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Siekmann, Jörg H. „Unification theory.“  In Journal of Symbolic computation, 7(3-4), 207-274. 1989.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Siekmann, J., and Peter Szabó. „The undecidability of the DA-unification problem.“ In The Journal of Symbolic Logic, 54(2), 402-414. 1989.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Herold, Alexander, and Jörg H. Siekmann. „Unification in abelian semigroups.“ In Journal of Automated Reasoning, 3(3), 247-283. 1987.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Book, Ronald V., and Joerg H. Siekmann. „On unification: Equational theories are not bounded.“ In Journal of Symbolic Computation, 2(4), 317-324. 1983.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Siekmann, Jörg, and Graham Wrightson. „Automation of Reasoning: Classical Papers on Computational Logic, volume 1 and 2.“. 1983.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]
Siekmann, Jörg, and P. Szabó. „A noetherian and confluent rewrite system for idempotent semigroups.“  In Semigroup Forum (Vol. 25, No. 1, pp. 83-110). Springer New York, 1982.		[su_button background=“#ACCAEA“ size=“2″]BibTex[/su_button]