Jörg H. Siekmann

Affiliations:
  • German Research Centre for Artificial Intelligence (DFKI)
  • Saarland University, Department of Computer Science


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
E-Unification based on Generalized Embedding.
Math. Struct. Comput. Sci., 2021

Artificial Intelligence: Mind, Computer and the Dance of the Wu Li Masters.
Künstliche Intell., 2021

Unintended Nuclear War.
Künstliche Intell., 2021

2018
Editorial.
FLAP, 2018

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

2016
String Unification is Essentially Infinitary.
FLAP, 2016

What Is Essential Unification?
Proceedings of the Martin Davis on Computability, 2016

2014
Editorial Note.
Proceedings of the Computational Logic, 2014

Computational Logic.
Proceedings of the Computational Logic, 2014

2011
Resource-Adaptive Cognitive Processes.
Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.
Proceedings of the Resource-Adaptive Cognitive Processes, 2011

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System.
Proceedings of the Resource-Adaptive Cognitive Processes, 2011

2010
Algorithms in cognition, informatics and logic: A position manifesto.
Log. J. IGPL, 2010

2009
Jacques Herbrand: Life, Logic, and Automated Deduction.
Proceedings of the Logic from Russell to Church, 2009

Die Entwicklung der Disziplin in Deutschland.
Künstliche Intell., 2009

Lectures on Jacques Herbrand as a Logician
CoRR, 2009

2008
Proof planning with multiple strategies.
Artif. Intell., 2008

2006
Computer supported mathematics with Omegamega.
J. Appl. Log., 2006

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

History of AI in Germany and The Third Industrial Revolution.
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Reductio ad Absurdum: Planning Proofs by Contradiction.
Proceedings of the Reasoning, 2006

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

Challenges in Search and Usage of Multi-media Learning Objects.
Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

Natural Language Dialog with a Tutor System for Mathematical Proofs.
Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

e-Learning Logic and Mathematics: What We Have and What We Need.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004
Invited talks.
Künstliche Intell., 2004

Omega: Computer Supported Mathematics.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

ActiveMath: An Intelligent Tutoring System for Mathematics.
Proceedings of the Artificial Intelligence and Soft Computing, 2004

2003
The Link between Autonomy and Organisation in Multiagent Systems.
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2003

Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems.
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2003

2002
KI - Die Entwicklung der Disziplin in Deutschland.
Künstliche Intell., 2002

An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Log. J. IGPL, 2002

Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
Proceedings of the Logic for Programming, 2002


A Portrait of a Scientist as a Computational Logician.
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. ACM, 2001

2000
Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell., 2000

Formal Software Development in the Verification Support Environment (VSE).
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Concepts in Proof Planning.
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.
Formal Aspects Comput., 1999

Knowledge-Based Proof Planning.
Artif. Intell., 1999

1998
<Omega>MEGA: Ein mathematisches Assistenzsystem.
Kognitionswissenschaft, 1998

Wohin geht die automatische Deduktion?
Künstliche Intell., 1998

Planning Diagonalization Proofs.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997

1996
Die Beweisentwicklungsumgebung Omega-MKRP.
Inform. Forsch. Entwickl., 1996

Deduction in the Verification Support Environment (VSE).
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994
Informatik und Intellektik als zukünftiges Zwiegespann.
Künstliche Intell., 1994

KEIM: A Toolkit for Automated Deduction.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

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

1992
Müssen die bisherigen Positionen der KI überdacht werden?
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.
Inform. Spektrum, 1991

Artificial intelligence: Perspectives and Predictions.
Appl. Artif. Intell., 1991

Structured Social Agents.
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

The Markgraf Karl Refutation Procedure.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990
An Order-Sorted Logic for Knowledge Representation Systems
IWBS Report, 1990

Unification theory.
Decis. Support Syst., 1990

1989
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information
IWBS Report, 1989

The Undecidability of the D<sub>A</sub>-Unification Problem.
J. Symb. Log., 1989

Structure and Control of the L-LILOG Inference System.
Proceedings of the Sorts and Types in Artificial Intelligence, 1989

1988
Opening the AC-Unification Race.
J. Autom. Reason., 1988

Artificial Intelligence: Perspectives and Predictions.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

What is Computation? (Panel Introduction).
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Partial Unification for Graph Based Equational Reasoning.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Unification in Abelian Semigroups.
J. Autom. Reason., 1987

Computergestützte Frühwarn- und Entwscheidungssysteme.
Inform. Spektrum, 1987

1986
On Unification: Equational Theories Are Not Bounded.
J. Symb. Comput., 1986

1985
On the Unification Hierarchy.
Proceedings of the GWAI-85, 1985

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

1983
Open mathematical problems computer competition.
Computing, 1983

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

Einführung in die Künstliche Intelligenz.
Proceedings of the Künstliche Intelligenz, 1982

Universal Unification and a Classification of Equational Theories.
Proceedings of the 6th Conference on Automated Deduction, 1982

1981
A Noetherian Rewrite System for Idempotent Semigroups.
Proceedings of the GWAI-81, 1981

Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure.
Proceedings of the GWAI-81, 1981

Universal Unification and Regular Equational ACFM Theories.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

The Markgraf Karl Refutation Procedure.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Paramodulated Connection Graphs.
Acta Informatica, 1980

Das Karlsruher Beweissystem.
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.
SIGSAM Bull., 1979

Matching under commutativity.
Proceedings of the Symbolic and Algebraic Computation, 1979

Unification of commutative terms.
Proceedings of the Symbolic and Algebraic Computation, 1979

1978
Unification and Matching Problems.
PhD thesis, 1978

Completeness and Soundness of the Connection Graph Proof.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

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

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


  Loading...