Jörg H. Siekmann

Publication Activity (10 Years)

Years Active: 1977-2021
Publications (10 Years): 6

Top Topics

String Matching

Artificial Intelligence

Top Venues

Künstliche Intell.

Math. Struct. Comput. Sci.

Publications

Jörg H. Siekmann
Artificial Intelligence: Mind, Computer and the Dance of the Wu Li Masters. Künstliche Intell. 35 (3) (2021)
Karl-Hans Bläsius, Jörg H. Siekmann
Unintended Nuclear War. Künstliche Intell. 35 (1) (2021)
Peter Szabó, Jörg H. Siekmann
E-Unification based on Generalized Embedding. Math. Struct. Comput. Sci. 31 (8) (2021)
Dov M. Gabbay, Jörg H. Siekmann
Editorial. FLAP 5 (1) (2018)
Dov M. Gabbay, Jörg H. Siekmann
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. FLAP 4 (5) (2017)
Michael Hoche, Jörg H. Siekmann, Peter Szabó
String Unification is Essentially Infinitary. FLAP 3 (5) (2016)
Dov M. Gabbay, Jörg H. Siekmann
Algorithms in cognition, informatics and logic: A position manifesto. Log. J. IGPL 18 (6) (2010)
Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
Lectures on Jacques Herbrand as a Logician CoRR (2009)
Jörg H. Siekmann
Die Entwicklung der Disziplin in Deutschland. Künstliche Intell. 23 (1) (2009)
Jörg H. Siekmann, Michael Hoche, Peter Szabó
String Unification is Essentially Infinitary. UNIF (2008)
Erica Melis, Andreas Meier, Jörg H. Siekmann
Proof planning with multiple strategies. Artif. Intell. 172 (6-7) (2008)
Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
Computer supported mathematics with Omegamega. J. Appl. Log. 4 (4) (2006)
Jörg H. Siekmann
History of AI in Germany and The Third Industrial Revolution. KI (2006)
Erica Melis, Martin Pollet, Jörg H. Siekmann
Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Erica Melis, Jörg H. Siekmann
e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) (2005)
Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska
Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems (2005)
Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han
Challenges in Search and Usage of Multi-media Learning Objects. Cognitive Systems (2005)
Jörg H. Siekmann
Proof Presentation. Deduction and Applications (2005)
Erica Melis, Jörg H. Siekmann
ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC (2004)
Martin A. Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann
Invited talks. Künstliche Intell. 18 (3) (2004)
Jörg H. Siekmann, Christoph Benzmüller
Omega: Computer Supported Mathematics. KI (2004)
Michael Schillo, Klaus Fischer, Jörg H. Siekmann
The Link between Autonomy and Organisation in Multiagent Systems. HoloMAS (2003)
Klaus Fischer, Michael Schillo, Jörg H. Siekmann
Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. HoloMAS (2003)
Jörg H. Siekmann, Graham Wrightson
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Log. J. IGPL 10 (1) (2002)
Jörg H. Siekmann
KI - Die Entwicklung der Disziplin in Deutschland. Künstliche Intell. 16 (1) (2002)
Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR (2002)
Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond (2002)
Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Proof Development with OMEGA. CADE (2002)
Jörg H. Siekmann, Graham Wrightson
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Computational Logic: Logic Programming and Beyond (2002)
Jörg H. Siekmann, Graham Wrightson
Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. J. ACM 48 (1) (2001)
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference (2000)
Erica Melis, Jörg H. Siekmann
Concepts in Proof Planning. Intellectics and Computational Logic (2000)
Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12 (4) (2000)
Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
nterface. Formal Aspects Comput. 11 (3) (1999)
Erica Melis, Jörg H. Siekmann
Knowledge-Based Proof Planning. Artif. Intell. 115 (1) (1999)
Jörg H. Siekmann, Michael Kohlhase, Erica Melis
MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7 (3) (1998)
Lassaad Cheikhrouhou, Jörg H. Siekmann
Planning Diagonalization Proofs. AIMSA (1998)
Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt
Wohin geht die automatische Deduktion? Künstliche Intell. 12 (4) (1998)
Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
Omega: Towards a Mathematical Assistant. CADE (1997)
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
Deduction in the Verification Support Environment (VSE). FME (1996)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. 11 (1) (1996)
Wolfgang Bibel, Jörg H. Siekmann
Informatik und Intellektik als zukünftiges Zwiegespann. Künstliche Intell. 8 (1) (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. CADE (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. CADE (1994)
Jörg H. Siekmann
Müssen die bisherigen Positionen der KI überdacht werden? Künstliche Intelligenz - Leitvorstellungen und Verantwortung (2) (1992)
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55 (2) (1992)
Michael A. McRobbie, Jörg H. Siekmann
Artificial intelligence: Perspectives and Predictions. Appl. Artif. Intell. 5 (2) (1991)
Jürgen Müller, Jörg H. Siekmann
Structured Social Agents. Wissensbasierte Systeme (1991)
Hans Jürgen Ohlbach, Jörg H. Siekmann
The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson (1991)
Gerhard Barth, Thomas Christaller, Armin B. Cremers, Bernd Neumann, Franz Josef Radermacher, Bernd Radig, Michael M. Richter, Jörg H. Siekmann, Werner von Seelen
Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten. Inform. Spektrum 14 (4) (1991)
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113 (1990)
Jörg H. Siekmann
Unification theory. Decis. Support Syst. 6 (4) (1990)
Jörg H. Siekmann, Peter Szabó
-Unification Problem. J. Symb. Log. 54 (2) (1989)
Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann
Structure and Control of the L-LILOG Inference System. Sorts and Types in Artificial Intelligence (1989)
Jörg H. Siekmann
Unification Theory. J. Symb. Comput. 7 (3/4) (1989)
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86 (1989)
Karl-Hans Bläsius, Jörg H. Siekmann
Partial Unification for Graph Based Equational Reasoning. CADE (1988)
Michael A. McRobbie, Jörg H. Siekmann
Artificial Intelligence: Perspectives and Predictions. AI Commun. 1 (4) (1988)
Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden
What is Computation? (Panel Introduction). ECAI (1988)
Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
Opening the AC-Unification Race. J. Autom. Reason. 4 (4) (1988)
Jörg H. Siekmann
Artificial Intelligence: Perspectives and Predictions. FGCS (1988)
Alexander Herold, Jörg H. Siekmann
Unification in Abelian Semigroups. J. Autom. Reason. 3 (3) (1987)
Karl-Hans Bläsius, Jörg H. Siekmann
Computergestützte Frühwarn- und Entwscheidungssysteme. Inform. Spektrum 10 (1) (1987)
Ronald V. Book, Jörg H. Siekmann
On Unification: Equational Theories Are Not Bounded. J. Symb. Comput. 2 (4) (1986)
Jörg H. Siekmann
Unification Theory. ECAI (1986)
Ronald V. Book, Jörg H. Siekmann
On the Unification Hierarchy. GWAI (1985)
Jörg H. Siekmann
Universal Unification. CADE (1984)
Jörg H. Siekmann
Open mathematical problems computer competition. Computing 30 (4) (1983)
Jörg H. Siekmann
Einführung in die Künstliche Intelligenz. KIFS (1982)
Jörg H. Siekmann, Peter Szabó
Universal Unification. GWAI (1982)
Jörg H. Siekmann, Peter Szabó
Universal Unification and a Classification of Equational Theories. CADE (1982)
Jörg H. Siekmann, Peter Szabó
Universal Unification and Regular Equational ACFM Theories. IJCAI (1981)
Jörg H. Siekmann, Gert Smolka
Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. GWAI (1981)
Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
The Markgraf Karl Refutation Procedure. IJCAI (1981)
Jörg H. Siekmann, Peter Szabó
A Noetherian Rewrite System for Idempotent Semigroups. GWAI (1981)
Jörg H. Siekmann, Graham Wrightson
Paramodulated Connection Graphs. Acta Informatica 13 (1980)
Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther
Das Karlsruher Beweissystem. GI Jahrestagung (1980)
Jörg H. Siekmann
Unification of commutative terms. EUROSAM (1979)
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) (1979)
Jörg H. Siekmann
Matching under commutativity. EUROSAM (1979)
Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson
Paramodulated Connection Graphs. AISB/GI (ECAI) (1978)
Werner Stephan, Jörg H. Siekmann
Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) (1978)
Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann
Unification of Idempotent Functions. IJCAI (1977)