Jörg H. Siekmann

102 papers A* 3A 10B 1C 1Misc 6Journal 37Unranked 27

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Artificial Intelligence: Mind, Computer and the Dance of the Wu Li Masters. Künstliche Intell. Jörg H. Siekmann
2021	J	`jnl`	E-Unification based on Generalized Embedding. Math. Struct. Comput. Sci. Peter Szabó, Jörg H. Siekmann
2021	J	`jnl`	Unintended Nuclear War. Künstliche Intell. Karl-Hans Bläsius, Jörg H. Siekmann
2018	J	`jnl`	Editorial. FLAP Dov M. Gabbay, Jörg H. Siekmann
2017	J	`jnl`	Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. FLAP Dov M. Gabbay, Jörg H. Siekmann
2016	J	`jnl`	String Unification is Essentially Infinitary. FLAP Michael Hoche, Jörg H. Siekmann, Peter Szabó
2016	—	`ch.`	What Is Essential Unification? Martin Davis on Computability, Computational Logic, and Mathematical Foundations Peter Szabó, Jörg H. Siekmann, Michael Hoche
2014	—	`book`	Computational Logic Jörg H. Siekmann
2014	—	`ch.`	Computational Logic. Computational Logic Jörg H. Siekmann
2014	—	`ch.`	Editorial Note. Computational Logic Jörg H. Siekmann, Dov M. Gabbay
2011	—	`book`	Resource-Adaptive Cognitive Processes Resource-Adaptive Cognitive Processes Matthew W. Crocker, Jörg H. Siekmann
2011	—	`ch.`	Resource-Adaptive Cognitive Processes. Resource-Adaptive Cognitive Processes Jörg H. Siekmann, Matthew W. Crocker
2011	—	`ch.`	Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs. Resource-Adaptive Cognitive Processes Christoph Benzmüller, Marvin R. G. Schiller, Jörg H. Siekmann
2011	—	`ch.`	ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System. Resource-Adaptive Cognitive Processes Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann
2010	J	`jnl`	Algorithms in cognition, informatics and logic: A position manifesto. Log. J. IGPL Dov M. Gabbay, Jörg H. Siekmann
2009	J	`jnl`	Die Entwicklung der Disziplin in Deutschland. Künstliche Intell. Jörg H. Siekmann
2009	—	`ch.`	Jacques Herbrand: Life, Logic, and Automated Deduction. Logic from Russell to Church Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2009	J	`jnl`	Lectures on Jacques Herbrand as a Logician CoRR Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2008	J	`jnl`	Proof planning with multiple strategies. Artif. Intell. Erica Melis, Andreas Meier, Jörg H. Siekmann
2008	—	`ed.`	Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. Sicherheit Ammar Alkassar, Jörg H. Siekmann
2008	—	`conf`	String Unification is Essentially Infinitary. UNIF Jörg H. Siekmann, Michael Hoche, Peter Szabó
2007	—	`ed.`	Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers Cognitive Systems Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich
2007	C	`ed.`	Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings KSEM Zili Zhang, Jörg H. Siekmann
2006	J	`jnl`	Computer supported mathematics with Omegamega. J. Appl. Log. Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2006	Misc	`conf`	History of AI in Germany and The Third Industrial Revolution. KI Jörg H. Siekmann
2006	—	`ch.`	Omega. The Seventeen Provers of the World Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
2006	—	`conf`	Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems Erica Melis, Martin Pollet, Jörg H. Siekmann
2005	—	`conf`	Challenges in Search and Usage of Multi-media Learning Objects. Cognitive Systems Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han
2005	—	`conf`	Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska
2005	—	`conf`	Proof Presentation. Deduction and Applications Jörg H. Siekmann
2005	—	`conf`	e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) Erica Melis, Jörg H. Siekmann
2004	Misc	`conf`	ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC Erica Melis, Jörg H. Siekmann
2004	Misc	`ed.`	Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings ICAISC Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh
2004	J	`jnl`	Invited talks. Künstliche Intell. Martin A. Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann
2004	Misc	`conf`	Omega: Computer Supported Mathematics. KI Jörg H. Siekmann, Christoph Benzmüller
2003	—	`conf`	Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. HoloMAS Klaus Fischer, Michael Schillo, Jörg H. Siekmann
2003	—	`conf`	The Link between Autonomy and Organisation in Multiagent Systems. HoloMAS Michael Schillo, Klaus Fischer, Jörg H. Siekmann
2002	—	`conf`	A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
2002	—	`conf`	An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Computational Logic: Logic Programming and Beyond Jörg H. Siekmann, Graham Wrightson
2002	J	`jnl`	An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Log. J. IGPL Jörg H. Siekmann, Graham Wrightson
2002	J	`jnl`	KI - Die Entwicklung der Disziplin in Deutschland. Künstliche Intell. Jörg H. Siekmann
2002	A	`conf`	Proof Development with OMEGA. CADE 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
2002	B	`conf`	Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
2001	J	`jnl`	Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. J. ACM Jörg H. Siekmann, Graham Wrightson
2000	—	`conf`	Concepts in Proof Planning. Intellectics and Computational Logic Erica Melis, Jörg H. Siekmann
2000	Misc	`conf`	Formal Software Development in the Verification Support Environment (VSE). FLAIRS Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
2000	J	`jnl`	Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
1999	J	`jnl`	Knowledge-Based Proof Planning. Artif. Intell. Erica Melis, Jörg H. Siekmann
1998	J	`jnl`	<Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft Jörg H. Siekmann, Michael Kohlhase, Erica Melis
1998	Misc	`conf`	Planning Diagonalization Proofs. AIMSA Lassaad Cheikhrouhou, Jörg H. Siekmann
1998	J	`jnl`	Wohin geht die automatische Deduktion? Künstliche Intell. Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt
1997	A	`conf`	Omega: Towards a Mathematical Assistant. CADE 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
1996	—	`conf`	Deduction in the Verification Support Environment (VSE). FME Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
1996	J	`jnl`	Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	—	`book`	Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2 Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann
1994	J	`jnl`	Informatik und Intellektik als zukünftiges Zwiegespann. Künstliche Intell. Wolfgang Bibel, Jörg H. Siekmann
1994	A	`conf`	KEIM: A Toolkit for Automated Deduction. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	A	`conf`	Omega-MKRP: A Proof Development Environment. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	—	`ch.`	Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) Franz Baader, Jörg H. Siekmann
1992	J	`jnl`	An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1992	—	`conf`	Müssen die bisherigen Positionen der KI überdacht werden? Künstliche Intelligenz - Leitvorstellungen und Verantwortung (2) Jörg H. Siekmann
1991	J	`jnl`	Artificial intelligence: Perspectives and Predictions. Appl. Artif. Intell. Michael A. McRobbie, Jörg H. Siekmann
1991	J	`jnl`	Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten. Inform. Spektrum Gerhard Barth, Thomas Christaller, Armin B. Cremers, Bernd Neumann, Franz Josef Radermacher, Bernd Radig, Michael M. Richter, Jörg H. Siekmann, Werner von Seelen
1991	—	`conf`	Structured Social Agents. Wissensbasierte Systeme Jürgen Müller, Jörg H. Siekmann
1991	—	`conf`	The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson Hans Jürgen Ohlbach, Jörg H. Siekmann
1990	J	`jnl`	An Order-Sorted Logic for Knowledge Representation Systems IWBS Report Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1990	J	`jnl`	Unification theory. Decis. Support Syst. Jörg H. Siekmann
1989	J	`jnl`	An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann
1989	—	`conf`	Structure and Control of the L-LILOG Inference System. Sorts and Types in Artificial Intelligence Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann
1989	J	`jnl`	The Undecidability of the D J. Symb. Log. Jörg H. Siekmann, Peter Szabó
1989	J	`jnl`	Unification Theory. J. Symb. Comput. Jörg H. Siekmann
1988	—	`conf`	Artificial Intelligence: Perspectives and Predictions. FGCS Jörg H. Siekmann
1988	J	`jnl`	Artificial Intelligence: Perspectives and Predictions. AI Commun. Michael A. McRobbie, Jörg H. Siekmann
1988	J	`jnl`	Opening the AC-Unification Race. J. Autom. Reason. Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
1988	A	`conf`	Partial Unification for Graph Based Equational Reasoning. CADE Karl-Hans Bläsius, Jörg H. Siekmann
1988	A	`conf`	What is Computation? (Panel Introduction). ECAI Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden
1987	J	`jnl`	Computergestützte Frühwarn- und Entwscheidungssysteme. Inform. Spektrum Karl-Hans Bläsius, Jörg H. Siekmann
1987	J	`jnl`	Unification in Abelian Semigroups. J. Autom. Reason. Alexander Herold, Jörg H. Siekmann
1986	A	`ed.`	8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings CADE Jörg H. Siekmann
1986	J	`jnl`	On Unification: Equational Theories Are Not Bounded. J. Symb. Comput. Ronald V. Book, Jörg H. Siekmann
1986	A	`conf`	Unification Theory. ECAI Jörg H. Siekmann
1985	—	`conf`	On the Unification Hierarchy. GWAI Ronald V. Book, Jörg H. Siekmann
1984	A	`conf`	Universal Unification. CADE Jörg H. Siekmann
1983	J	`jnl`	Open mathematical problems computer competition. Computing Jörg H. Siekmann
1982	—	`conf`	Einführung in die Künstliche Intelligenz. KIFS Jörg H. Siekmann
1982	—	`ed.`	Künstliche Intelligenz, Frühjahrsschule, Teisendorf, Deutschland, 15.-24. März 1982 KIFS Wolfgang Bibel, Jörg H. Siekmann
1982	A	`conf`	Universal Unification and a Classification of Equational Theories. CADE Jörg H. Siekmann, Peter Szabó
1982	—	`conf`	Universal Unification. GWAI Jörg H. Siekmann, Peter Szabó
1981	—	`conf`	A Noetherian Rewrite System for Idempotent Semigroups. GWAI Jörg H. Siekmann, Peter Szabó
1981	—	`ed.`	GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings GWAI Jörg H. Siekmann
1981	—	`conf`	Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. GWAI Jörg H. Siekmann, Gert Smolka
1981	A*	`conf`	The Markgraf Karl Refutation Procedure. IJCAI Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
1981	A*	`conf`	Universal Unification and Regular Equational ACFM Theories. IJCAI Jörg H. Siekmann, Peter Szabó
1980	—	`conf`	Das Karlsruher Beweissystem. GI Jahrestagung Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther
1980	J	`jnl`	Paramodulated Connection Graphs. Acta Informatica Jörg H. Siekmann, Graham Wrightson
1979	J	`jnl`	A short survey on the state of the art in matching and unification problems. SIGSAM Bull. Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht
1979	—	`conf`	Matching under commutativity. EUROSAM Jörg H. Siekmann
1979	—	`conf`	Unification of commutative terms. EUROSAM Jörg H. Siekmann
1978	—	`conf`	Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) Werner Stephan, Jörg H. Siekmann
1978	—	`conf`	Paramodulated Connection Graphs. AISB/GI (ECAI) Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson
1978	—	`—`	Unification and Matching Problems. Jörg H. Siekmann
1977	A*	`conf`	Unification of Idempotent Functions. IJCAI Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann