Jörg H. Siekmann

According to our database, Jörg H. Siekmann authored at least 87 papers between 1977 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

E-Unification based on Generalized Embedding.

Peter Szabó, Jörg H. Siekmann

Math. Struct. Comput. Sci., 2021

Artificial Intelligence: Mind, Computer and the Dance of the Wu Li Masters.

Jörg H. Siekmann

Künstliche Intell., 2021

Unintended Nuclear War.

Karl-Hans Bläsius, Jörg H. Siekmann

Künstliche Intell., 2021

2018

Editorial.

Dov M. Gabbay, Jörg H. Siekmann

FLAP, 2018

2017

Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017.

Dov M. Gabbay, Jörg H. Siekmann

FLAP, 2017

2016

String Unification is Essentially Infinitary.

Michael Hoche, Jörg H. Siekmann, Peter Szabó

FLAP, 2016

What Is Essential Unification?

Peter Szabó, Jörg H. Siekmann, Michael Hoche

Proceedings of the Martin Davis on Computability, 2016

2014

Editorial Note.

Jörg H. Siekmann, Dov M. Gabbay

Proceedings of the Computational Logic, 2014

Computational Logic.

Jörg H. Siekmann

Proceedings of the Computational Logic, 2014

2011

Resource-Adaptive Cognitive Processes.

Jörg H. Siekmann, Matthew W. Crocker

Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.

Christoph Benzmüller, Marvin R. G. Schiller, Jörg H. Siekmann

Proceedings of the Resource-Adaptive Cognitive Processes, 2011

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann

Proceedings of the Resource-Adaptive Cognitive Processes, 2011

2010

Algorithms in cognition, informatics and logic: A position manifesto.

Dov M. Gabbay, Jörg H. Siekmann

Log. J. IGPL, 2010

2009

Jacques Herbrand: Life, Logic, and Automated Deduction.

Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier

Proceedings of the Logic from Russell to Church, 2009

Die Entwicklung der Disziplin in Deutschland.

Jörg H. Siekmann

Künstliche Intell., 2009

Lectures on Jacques Herbrand as a Logician

Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier

CoRR, 2009

2008

Proof planning with multiple strategies.

Erica Melis, Andreas Meier, Jörg H. Siekmann

Artif. Intell., 2008

2006

Computer supported mathematics with Omegamega.

Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier

J. Appl. Log., 2006

Omega.

Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

History of AI in Germany and The Third Industrial Revolution.

Jörg H. Siekmann

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Reductio ad Absurdum: Planning Proofs by Contradiction.

Erica Melis, Martin Pollet, Jörg H. Siekmann

Proceedings of the Reasoning, 2006

2005

Proof Presentation.

Jörg H. Siekmann

Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

Challenges in Search and Usage of Multi-media Learning Objects.

Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han

Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

Natural Language Dialog with a Tutor System for Mathematical Proofs.

Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska

Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

e-Learning Logic and Mathematics: What We Have and What We Need.

Erica Melis, Jörg H. Siekmann

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

Invited talks.

Martin A. Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann

Künstliche Intell., 2004

Omega: Computer Supported Mathematics.

Jörg H. Siekmann, Christoph Benzmüller

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

ActiveMath: An Intelligent Tutoring System for Mathematics.

Erica Melis, Jörg H. Siekmann

Proceedings of the Artificial Intelligence and Soft Computing, 2004

2003

The Link between Autonomy and Organisation in Multiagent Systems.

Michael Schillo, Klaus Fischer, Jörg H. Siekmann

Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2003

Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems.

Klaus Fischer, Michael Schillo, Jörg H. Siekmann

Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2003

2002

KI - Die Entwicklung der Disziplin in Deutschland.

Jörg H. Siekmann

Künstliche Intell., 2002

An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.

Jörg H. Siekmann, Graham Wrightson

Log. J. IGPL, 2002

Proof Development with Omega-MEGA: sqrt(2) Is Irrational.

Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet

Proceedings of the Logic for Programming, 2002

Proof Development with OMEGA.

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

Proceedings of the Automated Deduction, 2002

A Portrait of a Scientist as a Computational Logician.

Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution.

Jörg H. Siekmann, Graham Wrightson

J. ACM, 2001

2000

Formal software development in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt

J. Exp. Theor. Artif. Intell., 2000

Formal Software Development in the Verification Support Environment (VSE).

Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Concepts in Proof Planning.

Erica Melis, Jörg H. Siekmann

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

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

Formal Aspects Comput., 1999

Knowledge-Based Proof Planning.

Erica Melis, Jörg H. Siekmann

Artif. Intell., 1999

1998

<Omega>MEGA: Ein mathematisches Assistenzsystem.

Jörg H. Siekmann, Michael Kohlhase, Erica Melis

Kognitionswissenschaft, 1998

Wohin geht die automatische Deduktion?

Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt

Künstliche Intell., 1998

Planning Diagonalization Proofs.

Lassaad Cheikhrouhou, Jörg H. Siekmann

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Omega: Towards a Mathematical Assistant.

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

Proceedings of the Automated Deduction, 1997

1996

Die Beweisentwicklungsumgebung Omega-MKRP.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Inform. Forsch. Entwickl., 1996

Deduction in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

Informatik und Intellektik als zukünftiges Zwiegespann.

Wolfgang Bibel, Jörg H. Siekmann

Künstliche Intell., 1994

KEIM: A Toolkit for Automated Deduction.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Unification theory.

Franz Baader, Jörg H. Siekmann

Proceedings of the Handbook of Logic in Artificial Intelligence and Logic Programming, 1994

1992

An Order-Sorted Logic for Knowledge Representation Systems.

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann

Artif. Intell., 1992

Müssen die bisherigen Positionen der KI überdacht werden?

Jörg H. Siekmann

Proceedings of the Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit, Band 2: Tagungsbericht - VDI-Symposium "Künstliche Intelligenz, 1992

1991

Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten.

Gerhard Barth, Thomas Christaller, Armin B. Cremers, Bernd Neumann, Franz Josef Radermacher, Bernd Radig, Michael M. Richter, Jörg H. Siekmann, Werner von Seelen

Inform. Spektrum, 1991

Artificial intelligence: Perspectives and Predictions.

Michael A. McRobbie, Jörg H. Siekmann

Appl. Artif. Intell., 1991

Structured Social Agents.

Jürgen Müller, Jörg H. Siekmann

Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

The Markgraf Karl Refutation Procedure.

Hans Jürgen Ohlbach, Jörg H. Siekmann

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

Unification theory.

Jörg H. Siekmann

Decis. Support Syst., 1990

1989

An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann

IWBS Report, 1989

The Undecidability of the D_A-Unification Problem.

Jörg H. Siekmann, Peter Szabó

J. Symb. Log., 1989

Structure and Control of the L-LILOG Inference System.

Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann

Proceedings of the Sorts and Types in Artificial Intelligence, 1989

1988

Opening the AC-Unification Race.

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang

J. Autom. Reason., 1988

Artificial Intelligence: Perspectives and Predictions.

Jörg H. Siekmann

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

What is Computation? (Panel Introduction).

Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Partial Unification for Graph Based Equational Reasoning.

Karl-Hans Bläsius, Jörg H. Siekmann

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Unification in Abelian Semigroups.

Alexander Herold, Jörg H. Siekmann

J. Autom. Reason., 1987

Computergestützte Frühwarn- und Entwscheidungssysteme.

Karl-Hans Bläsius, Jörg H. Siekmann

Inform. Spektrum, 1987

1986

On Unification: Equational Theories Are Not Bounded.

Ronald V. Book, Jörg H. Siekmann

J. Symb. Comput., 1986

1985

On the Unification Hierarchy.

Ronald V. Book, Jörg H. Siekmann

Proceedings of the GWAI-85, 1985

1984

Universal Unification.

Jörg H. Siekmann

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

Open mathematical problems computer competition.

Jörg H. Siekmann

Computing, 1983

1982

Universal Unification.

Jörg H. Siekmann, Peter Szabó

Proceedings of the GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27, 1982

Einführung in die Künstliche Intelligenz.

Jörg H. Siekmann

Proceedings of the Künstliche Intelligenz, 1982

Universal Unification and a Classification of Equational Theories.

Jörg H. Siekmann, Peter Szabó

Proceedings of the 6th Conference on Automated Deduction, 1982

1981

A Noetherian Rewrite System for Idempotent Semigroups.

Jörg H. Siekmann, Peter Szabó

Proceedings of the GWAI-81, 1981

Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure.

Jörg H. Siekmann, Gert Smolka

Proceedings of the GWAI-81, 1981

Universal Unification and Regular Equational ACFM Theories.

Jörg H. Siekmann, Peter Szabó

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

The Markgraf Karl Refutation Procedure.

Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Paramodulated Connection Graphs.

Jörg H. Siekmann, Graham Wrightson

Acta Informatica, 1980

Das Karlsruher Beweissystem.

Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1979

A short survey on the state of the art in matching and unification problems.

Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht

SIGSAM Bull., 1979

Matching under commutativity.

Jörg H. Siekmann

Proceedings of the Symbolic and Algebraic Computation, 1979

Unification of commutative terms.

Jörg H. Siekmann

Proceedings of the Symbolic and Algebraic Computation, 1979

1978

Unification and Matching Problems.

Jörg H. Siekmann

PhD thesis, 1978

Completeness and Soundness of the Connection Graph Proof.

Werner Stephan, Jörg H. Siekmann

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

Paramodulated Connection Graphs.

Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977

Unification of Idempotent Functions.

Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977