General Scientific Articles

Manfred Kerber and Jörg H. Siekmann. Review of Dov M. Gabbay “Handbook of logic in artificial intelligence and logic programming”.in: Jahresbericht der Deutschen Mathematiker-Vereinigung, 1996
Jörg H. Siekmann. The Markgraf Karl refutation procedure. In Stuart C. Shapiro, editor, Encyclopedia of Artificial Intelligence. John Wiley & Sons, second edition, 1992.
Wolfgang Bibel and Jörg H. Siekmann. Informatik und Intellektik als zukünftiges Zwiegespann. Zeitschrift KI, 1994.
Jörg H. Siekmann. Künstliche Intelligenz. In S. Krämer, editor, Geist-Gehirn-Künstliche Intelligenz. Walter de Gruyter, 1994.
Jörg H. Siekmann. Inferenzverfahren (Unifikation, Signatur, Intellektik). In: Wörterbuch der Kognitionswissenschaft. Klett, Cotta, 1995.
Manfred Kerber and Jörg H. Siekmann. Inferenzsysteme. Handbuch der Kognitionswissenschaften, 1995.

Jörg H. Siekmann. Einführung: Computersysteme. Sonderheft Spektrum der Wissenschaft ( Scientific American), 1990.
Jörg H. Siekmann. Künstliche Intelligenz: von den Anfängen in die Zukunft. Handbuch der modernen Datenverarbeitung, 1990. ebenso in: Theorie und Praxis der Wirtschaftsinformatik, 150(26), 1990.
Jörg H. Siekmann. Perspektiven und Risiken der Künstlichen Intelligenz. In Ch. Zöpel J. Hesse, R. Kreibich, editor, Forum Zukunft. Nomos Verlag, 1989.
Jörg H. Siekmann. Künstliche Intelligenz. Jahrbuch Überblicke Mathematik, 1987.
Karl-Hans Bläsius and Jörg H. Siekmann. Computergestützte Frühwarn- und Entscheidungssysteme. In Nachdenken statt Nachrüsten. Loeper, 1984.
Jörg H. Siekmann. Künstliche Intelligenz. In Proceedings der Internationalen Konferenz zur Technologiefolgenabschätzung, OECD und BMFT, pages 676 ff., 1984.

Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht. A short survey on the state of the art in matching and unification problems. SIGSAM Bull 13(2): 14-20, 1979.
M. Livesey, Jörg H. Siekmann, Peter Szabo und E. Unvericht. Unification problems for combinations of associativity, commutativity, distributivity, and idempotence axioms. In: Proc. 4th Workshop on Automated Deduction, Austin, Texas, pp. 161–167, 1979.
Jörg H. Siekmann, Peter Szabó. A Noetherian Rewrite System for Idempotent Semigroups. GWAI: 235-245, 1981.
Jörg H. Siekmann, Peter Szabó. Universal Unification and Regular Equational ACFM Theories. IJCAI: 532-538, 1981.
Jörg H. Siekmann, Peter Szabó. Universal Unification and a Classification of Equational Theories. CADE: 369-389, 1982.
Jörg H. Siekmann, Peter Szabó. Universal Unification. GWAI: 102-141, 1982.
Jörg H. Siekmann, Peter Szabó. The Undecidability of the DA-Unification Problem. J. Symb. Log. 54(2): 402-414, 1989.
Peter Szabó, Jörg H. Siekmann, Michael Hoche. What Is Essential Unification? Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 285-314, 2016.
Michael Hoche, Jörg H. Siekmann, Peter Szabó. String Unification is Essentially Infinitary. FLAP 3(5): 755-788, 2016
Peter Szabó, Jörg H. Siekmann. E-Unification based on Generalized Embedding. Math. Struct. Comput. Sci. 31(8): 898-917, 2021

Jörg Siekmann