Search the dblp DataBase
Jörg H. Siekmann :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christoph Beierle , Ulrich Hedtstück , Udo Pletat , Peter H. Schmitt , Jörg H. Siekmann An Order-Sorted Logic for Knowledge Representation Systems. [Citation Graph (2, 0)][DBLP ] Artif. Intell., 1992, v:55, n:2, pp:149-191 [Journal ] Jörg H. Siekmann Unification Theory. [Citation Graph (2, 0)][DBLP ] J. Symb. Comput., 1989, v:7, n:3/4, pp:207-274 [Journal ] Jörg H. Siekmann Universal Unification. [Citation Graph (1, 0)][DBLP ] CADE, 1984, pp:1-42 [Conf ] Lassaad Cheikhrouhou , Jörg H. Siekmann Planning Diagonalization Proofs. [Citation Graph (0, 0)][DBLP ] AIMSA, 1998, pp:167-180 [Conf ] Maurice Bruynooghe , Luís Moniz Pereira , Jörg H. Siekmann , Maarten H. van Emden A Portrait of a Scientist as a Computational Logician. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:1-4 [Conf ] Erica Melis , Jörg H. Siekmann Concepts in Proof Planning. [Citation Graph (0, 0)][DBLP ] Intellectics and Computational Logic, 2000, pp:263-276 [Conf ] Erica Melis , Jörg H. Siekmann e-Learning Logic and Mathematics: What We Have and What We Need. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (2), 2005, pp:639-662 [Conf ] Hans Jürgen Ohlbach , Jörg H. Siekmann The Markgraf Karl Refutation Procedure. [Citation Graph (0, 0)][DBLP ] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:41-112 [Conf ] Jörg H. Siekmann , Graham Wrightson An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:231-252 [Conf ] Erica Melis , Martin Pollet , Jörg H. Siekmann Reductio ad Absurdum: Planning Proofs by Contradiction. [Citation Graph (0, 0)][DBLP ] Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:45-58 [Conf ] Karl-Hans Bläsius , Jörg H. Siekmann Partial Unification for Graph Based Equational Reasoning. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:397-414 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:252-255 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CADE, 2002, pp:144-149 [Conf ] Xiaorong Huang , Manfred Kerber , Michael Kohlhase , Erica Melis , Dan Nesmith , Jörn Richts , Jörg H. Siekmann Omega-MKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP ] CADE, 1994, pp:788-792 [Conf ] Xiaorong Huang , Manfred Kerber , Michael Kohlhase , Erica Melis , Dan Nesmith , Jörn Richts , Jörg H. Siekmann KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP ] CADE, 1994, pp:807-810 [Conf ] Jörg H. Siekmann , Peter Szabó Universal Unification and a Classification of Equational Theories. [Citation Graph (0, 0)][DBLP ] CADE, 1982, pp:369-389 [Conf ] Jörg H. Siekmann Proof Presentation. [Citation Graph (0, 0)][DBLP ] Deduction and Applications, 2005, pp:- [Conf ] Norbert Eisinger , Jörg H. Siekmann , Graham Wrightson Paramodulated Connection Graphs. [Citation Graph (0, 0)][DBLP ] AISB/GI (ECAI), 1978, pp:105-109 [Conf ] Jörg H. Siekmann Unification Theory. [Citation Graph (0, 0)][DBLP ] ECAI, 1986, pp:365-400 [Conf ] Jörg H. Siekmann , Sten-Åke Tärnlund , Aaron Sloman , Andy Clark , Margaret A. Boden What is Computation? (Panel Introduction). [Citation Graph (0, 0)][DBLP ] ECAI, 1988, pp:724- [Conf ] Werner Stephan , Jörg H. Siekmann Completeness and Soundness of the Connection Graph Proof. [Citation Graph (0, 0)][DBLP ] AISB/GI (ECAI), 1978, pp:340-344 [Conf ] Jörg H. Siekmann Unification of commutative terms. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:22- [Conf ] Jörg H. Siekmann Matching under commutativity. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:531-545 [Conf ] Jörg H. Siekmann Artificial Intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP ] FGCS, 1988, pp:145-146 [Conf ] Dieter Hutter , Georg Rock , Jörg H. Siekmann , Werner Stephan , Roland Vogt Formal Software Development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2000, pp:367-376 [Conf ] Dieter Hutter , Bruno Langenstein , Claus Sengler , Jörg H. Siekmann , Werner Stephan , Andreas Wolpers Deduction in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP ] FME, 1996, pp:268-286 [Conf ] Norbert Eisinger , Jörg H. Siekmann , Gert Smolka , E. Unvericht , Christoph Walther Das Karlsruher Beweissystem. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1980, pp:400-412 [Conf ] Klaus Fischer , Michael Schillo , Jörg H. Siekmann Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. [Citation Graph (0, 0)][DBLP ] HoloMAS, 2003, pp:71-80 [Conf ] Michael Schillo , Klaus Fischer , Jörg H. Siekmann The Link between Autonomy and Organisation in Multiagent Systems. [Citation Graph (0, 0)][DBLP ] HoloMAS, 2003, pp:81-90 [Conf ] Erica Melis , Jörg H. Siekmann ActiveMath: An Intelligent Tutoring System for Mathematics. [Citation Graph (0, 0)][DBLP ] ICAISC, 2004, pp:91-101 [Conf ] Karl-Hans Bläsius , Norbert Eisinger , Jörg H. Siekmann , Gert Smolka , Alexander Herold , Christoph Walther The Markgraf Karl Refutation Procedure. [Citation Graph (0, 0)][DBLP ] IJCAI, 1981, pp:511-518 [Conf ] Stefan Kühner , Chris Mathis , Peter Raulefs , Jörg H. Siekmann Unification of Idempotent Functions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:528- [Conf ] Jörg H. Siekmann , Peter Szabó Universal Unification and Regular Equational ACFM Theories. [Citation Graph (0, 0)][DBLP ] IJCAI, 1981, pp:532-538 [Conf ] Ronald V. Book , Jörg H. Siekmann On the Unification Hierarchy. [Citation Graph (0, 0)][DBLP ] GWAI, 1985, pp:111-117 [Conf ] Jörg H. Siekmann Einführung in die Künstliche Intelligenz. [Citation Graph (0, 0)][DBLP ] KIFS, 1982, pp:1-60 [Conf ] Jörg H. Siekmann , Christoph Benzmüller Omega: Computer Supported Mathematics. [Citation Graph (0, 0)][DBLP ] KI, 2004, pp:3-28 [Conf ] Jörg H. Siekmann , Gert Smolka Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP ] GWAI, 1981, pp:199-200 [Conf ] Jörg H. Siekmann , Peter Szabó A Noetherian Rewrite System for Idempotent Semigroups. [Citation Graph (0, 0)][DBLP ] GWAI, 1981, pp:235-245 [Conf ] Jörg H. Siekmann , Peter Szabó Universal Unification. [Citation Graph (0, 0)][DBLP ] GWAI, 1982, pp:102-141 [Conf ] Karl-Hans Bläsius , Claus-Rainer Rollinger , Jörg H. Siekmann Structure and Control of the L-LILOG Inference System. [Citation Graph (0, 0)][DBLP ] Sorts and Types in Artificial Intelligence, 1989, pp:165-182 [Conf ] Jörg H. Siekmann , Christoph Benzmüller , Armin Fiedler , Andreas Meier , Martin Pollet Proof Development with Omega-MEGA: sqrt(2) Is Irrational. [Citation Graph (0, 0)][DBLP ] LPAR, 2002, pp:367-387 [Conf ] Christoph Benzmüller , Armin Fiedler , Andreas Meier , Martin Pollet , Jörg H. Siekmann Omega. [Citation Graph (0, 0)][DBLP ] The Seventeen Provers of the World, 2006, pp:127-141 [Conf ] Jürgen Müller , Jörg H. Siekmann Structured Social Agents. [Citation Graph (0, 0)][DBLP ] Wissensbasierte Systeme, 1991, pp:42-52 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Cognitive Systems, 2005, pp:1-14 [Conf ] Erica Melis , Ruimin Shen , Jörg H. Siekmann , Carsten Ullrich , Fan Yang , Peng Han Challenges in Search and Usage of Multi-media Learning Objects. [Citation Graph (0, 0)][DBLP ] Cognitive Systems, 2005, pp:36-44 [Conf ] Michael A. McRobbie , Jörg H. Siekmann Artificial intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 1991, v:5, n:2, pp:187-207 [Journal ] Jörg H. Siekmann , Graham Wrightson Paramodulated Connection Graphs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1980, v:13, n:, pp:67-86 [Journal ] Erica Melis , Jörg H. Siekmann Knowledge-Based Proof Planning. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1999, v:115, n:1, pp:65-105 [Journal ] Michael A. McRobbie , Jörg H. Siekmann Artificial Intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP ] AI Commun., 1988, v:1, n:4, pp:16-29 [Journal ] 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 L <Omega>UI : L ovely <Omega>MEGA U ser I nterface. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal ] Xiaorong Huang , Manfred Kerber , Michael Kohlhase , Erica Melis , Dan Nesmith , Jörn Richts , Jörg H. Siekmann Die Beweisentwicklungsumgebung Omega-MKRP. [Citation Graph (0, 0)][DBLP ] Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:20-26 [Journal ] Jörg H. Siekmann , Graham Wrightson An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2002, v:10, n:1, pp:85-103 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1991, v:14, n:4, pp:201-206 [Journal ] Karl-Hans Bläsius , Jörg H. Siekmann Computergestützte Frühwarn- und Entwscheidungssysteme. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1987, v:10, n:1, pp:24-39 [Journal ] Jörg H. Siekmann , Graham Wrightson Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. [Citation Graph (0, 0)][DBLP ] J. ACM, 2001, v:48, n:1, pp:145-147 [Journal ] Jörg H. Siekmann , Christoph Benzmüller , Serge Autexier Computer supported mathematics with Omegamega. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2006, v:4, n:4, pp:533-559 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal ] Alexander Herold , Jörg H. Siekmann Unification in Abelian Semigroups. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1987, v:3, n:3, pp:247-283 [Journal ] Dieter Hutter , Bruno Langenstein , Georg Rock , Jörg H. Siekmann , Werner Stephan , Roland Vogt Formal software development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP ] J. Exp. Theor. Artif. Intell., 2000, v:12, n:4, pp:383-406 [Journal ] Ronald V. Book , Jörg H. Siekmann On Unification: Equational Theories Are Not Bounded. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1986, v:2, n:4, pp:317-324 [Journal ] Jörg H. Siekmann , Peter Szabó The Undecidability of the DA -Unification Problem. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:2, pp:402-414 [Journal ] Wolfgang Bibel , Jörg H. Siekmann Informatik und Intellektik als zukünftiges Zwiegespann. [Citation Graph (0, 0)][DBLP ] KI, 1994, v:8, n:1, pp:16-22 [Journal ] Harald Ganzinger , Jörg H. Siekmann , Peter H. Schmitt Wohin geht die automatische Deduktion? [Citation Graph (0, 0)][DBLP ] KI, 1998, v:12, n:4, pp:33-37 [Journal ] Martin Riedmiller , François Fages , Malik Ghallab , Wolfgang Wahlster , Jörg H. Siekmann Invited talks. [Citation Graph (0, 0)][DBLP ] KI, 2004, v:18, n:3, pp:44-0 [Journal ] Jörg H. Siekmann KI - Die Entwicklung der Disziplin in Deutschland. [Citation Graph (0, 0)][DBLP ] KI, 2002, v:16, n:1, pp:52-53 [Journal ] Jörg H. Siekmann , Michael Kohlhase , Erica Melis <Omega>MEGA: Ein mathematisches Assistenzsystem. [Citation Graph (0, 0)][DBLP ] Kognitionswissenschaft, 1998, v:7, n:3, pp:101-105 [Journal ] Jörg H. Siekmann History of AI in Germany and The Third Industrial Revolution. [Citation Graph (0, 0)][DBLP ] KI, 2006, pp:445- [Conf ] Proof planning with multiple strategies. [Citation Graph (, )][DBLP ] Open mathematical problems computer competition. [Citation Graph (, )][DBLP ] Lectures on Jacques Herbrand as a Logician [Citation Graph (, )][DBLP ] Search in 0.063secs, Finished in 0.066secs