Jörg H. Siekmann

According to our database1, Jörg H. Siekmann
  • authored at least 82 papers between 1977 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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.
Logic Journal of the 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.
KI, 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. Applied Logic, 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.
KI, 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.
KI, 2002

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

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


An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Proceedings of the Computational Logic: Logic Programming and Beyond, 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
LUI: Lovely MEGA User Interface.
Formal Asp. Comput., 1999

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

1998
MEGA: Ein mathematisches Assistenzsystem.
Kognitionswissenschaft, 1998

Wohin geht die automatische Deduktion?
KI, 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.
KI, 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
An Order-Sorted Logic for Knowledge Representation Systems.
Artif. Intell., 1992

1991
Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten.
Informatik Spektrum, 1991

Artificial intelligence: Perspectives and Predictions.
Applied Artificial Intelligence, 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.
Decision Support Systems, 1990

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

The Undecidability of the DA-Unification Problem.
J. Symb. Log., 1989

Unification Theory.
J. Symb. Comput., 1989

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

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

Artificial Intelligence: Perspectives and Predictions.
AI Commun., 1988

Artificial Intelligence: Perspectives and Predictions.
FGCS, 1988

What is Computation? (Panel Introduction).
ECAI, 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. Reasoning, 1987

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

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

Unification Theory.
ECAI, 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, September 27, 1982

Einführung in die Künstliche Intelligenz.
Proceedings of the Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982, 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 Inf., 1980

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

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
Completeness and Soundness of the Connection Graph Proof.
AISB/GI (ECAI), 1978

Paramodulated Connection Graphs.
AISB/GI (ECAI), 1978

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


  Loading...