Allgemeine wissenschaftliche Artikel

ab 1990

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	PDF BibTex
Jörg H. Siekmann. The Markgraf Karl refutation procedure. In Stuart C. Shapiro, editor, Encyclopedia of Artificial Intelligence. John Wiley & Sons, second edition, 1992.	PDF BibTex
Wolfgang Bibel and Jörg H. Siekmann. Informatik und Intellektik als zukünftiges Zwiegespann. Zeitschrift KI, 1994.	PDF BibTex
Jörg H. Siekmann. Künstliche Intelligenz. In S. Krämer, editor, Geist-Gehirn-Künstliche Intelligenz. Walter de Gruyter, 1994.	PDF BibTex
Jörg H. Siekmann. Inferenzverfahren (Unifikation, Signatur, Intellektik). In: Wörterbuch der Kognitionswissenschaft. Klett, Cotta, 1995.	PDF BibTex
Manfred Kerber and Jörg H. Siekmann. Inferenzsysteme. Handbuch der Kognitionswissenschaften, 1995.	PDF BibTex

bis 1990

Jörg H. Siekmann. Einführung: Computersysteme. Sonderheft Spektrum der Wissenschaft ( Scientific American), 1990.	PDF BibTex
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.	PDF BibTex
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.	PDF BibTex
Jörg H. Siekmann. Künstliche Intelligenz. Jahrbuch Überblicke Mathematik, 1987.	PDF BibTex
Karl-Hans Bläsius and Jörg H. Siekmann. Computergestützte Frühwarn- und Entscheidungssysteme. In Nachdenken statt Nachrüsten. Loeper, 1984.	PDF BibTex
Jörg H. Siekmann. Künstliche Intelligenz. In Proceedings der Internationalen Konferenz zur Technologiefolgenabschätzung, OECD und BMFT, pages 676 ff., 1984.	PDF BibTex

Unifikationstheorie

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.	PDF BibTex
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.	PDF BibTex
Jörg H. Siekmann, Peter Szabó. A Noetherian Rewrite System for Idempotent Semigroups. GWAI: 235-245, 1981.	PDF BibTex
Jörg H. Siekmann, Peter Szabó. Universal Unification and Regular Equational ACFM Theories. IJCAI: 532-538, 1981.	PDF BibTex
Jörg H. Siekmann, Peter Szabó. Universal Unification and a Classification of Equational Theories. CADE: 369-389, 1982.	PDF BibTex
Jörg H. Siekmann, Peter Szabó. Universal Unification. GWAI: 102-141, 1982.	PDF BibTex
Jörg H. Siekmann, Peter Szabó. The Undecidability of the DA-Unification Problem. J. Symb. Log. 54(2): 402-414, 1989.	PDF BibTex
Peter Szabó, Jörg H. Siekmann, Michael Hoche. What Is Essential Unification? Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 285-314, 2016.	PDF BibTex
Michael Hoche, Jörg H. Siekmann, Peter Szabó. String Unification is Essentially Infinitary. FLAP 3(5): 755-788, 2016	PDF BibTex
Peter Szabó, Jörg H. Siekmann. E-Unification based on Generalized Embedding. Math. Struct. Comput. Sci. 31(8): 898-917, 2021	PDF BibTex

KI: Atomkrieg aus Versehen

Karl Hans Bläsius, Jörg H. Siekmann. Ist die künstliche Intelligenz gefährlich? 2023.

PDF BibTex

zurück