Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jörg H. Siekmann
2010 – today
- 2011
[p4]Jörg H. Siekmann, Matthew W. Crocker: Resource-Adaptive Cognitive Processes. Resource-Adaptive Cognitive Processes 2011: 1-10- [p3]Christoph Benzmüller, Marvin Schiller, Jörg H. Siekmann: Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs. Resource-Adaptive Cognitive Processes 2011: 291-311
- [p2]Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann: ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System. Resource-Adaptive Cognitive Processes 2011: 389-423
- [e9]Matthew W. Crocker, Jörg H. Siekmann (Eds.): Resource-Adaptive Cognitive Processes. Cognitive Technologies, Springer 2011, ISBN 978-3-540-89407-0
- 2010
- [j27]Dov M. Gabbay, Jörg H. Siekmann: Algorithms in cognition, informatics and logic: A position manifesto. Logic Journal of the IGPL 18(6): 763-768 (2010)
2000 – 2009
- 2009
- [j26]
- [i3]Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician. CoRR abs/0902.4682 (2009)
- 2008
- [j25]Erica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)
- [e8]Ammar Alkassar, Jörg H. Siekmann (Eds.): 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. LNI 128, GI 2008, ISBN 978-3-88579-222-2
- 2007
- [e7]Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich (Eds.): Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4429, Springer 2007, ISBN 3-540-70933-9
- [e6]Zili Zhang, Jörg H. Siekmann (Eds.): Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Lecture Notes in Computer Science 4798, Springer 2007, ISBN 978-3-540-76718-3
- 2006
- [j24]Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
- [c44]Erica Melis, Martin Pollet, Jörg H. Siekmann: Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems 2006: 45-58
- [c43]
- [c42]Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
- 2005
- [c41]Erica Melis, Jörg H. Siekmann: e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) 2005: 639-662
- [c40]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. Cognitive Systems 2005: 1-14
- [c39]Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han: Challenges in Search and Usage of Multi-media Learning Objects. Cognitive Systems 2005: 36-44
- [c38]
- 2004
- [j23]Martin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
- [c37]Erica Melis, Jörg H. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101
- [c36]
- [e5]Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh (Eds.): Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings. Lecture Notes in Computer Science 3070, Springer 2004, ISBN 3-540-22123-9
- 2003
- [c35]Klaus Fischer, Michael Schillo, Jörg H. Siekmann: Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. HoloMAS 2003: 71-80
- [c34]Michael Schillo, Klaus Fischer, Jörg H. Siekmann: The Link between Autonomy and Organisation in Multiagent Systems. HoloMAS 2003: 81-90
- 2002
- [j22]Jörg H. Siekmann, Graham Wrightson: An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Logic Journal of the IGPL 10(1): 85-103 (2002)
- [j21]
- [c33]Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden: A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond 2002: 1-4
- [c32]Jörg H. Siekmann, Graham Wrightson: An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Computational Logic: Logic Programming and Beyond 2002: 231-252
- [c31]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. CADE 2002: 144-149
- [c30]Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet: Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR 2002: 367-387
- 2001
- [j20]Jörg H. Siekmann, Graham Wrightson: Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. J. ACM 48(1): 145-147 (2001)
- 2000
- [j19]Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)
- [c29]Erica Melis, Jörg H. Siekmann: Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276
- [c28]Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference 2000: 367-376
1990 – 1999
- 1999
- [j18]
- [j17]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: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
- 1998
- [j16]Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? KI 12(4): 33-37 (1998)
- [j15]Jörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
- [c27]
- 1997
- [c26]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. CADE 1997: 252-255
- 1996
- [j14]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)
- [c25]Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286
- 1994
- [j13]Wolfgang Bibel, Jörg H. Siekmann: Informatik und Intellektik als zukünftiges Zwiegespann. KI 8(1): 16-22 (1994)
- [c24]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
- [c23]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
- [p1]Franz Baader, Jörg H. Siekmann: Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126
- [e4]Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, ISBN 0-19-853746-8
- 1992
- [j12]Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)
- 1991
- [j11]Michael A. McRobbie, Jörg H. Siekmann: Artificial intelligence: Perspectives and Predictions. Applied Artificial Intelligence 5(2): 187-207 (1991)
- [j10]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. Informatik Spektrum 14(4): 201-206 (1991)
- [c22]Hans Jürgen Ohlbach, Jörg H. Siekmann: The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 41-112
- [c21]
- 1990
- [i2]Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. IWBS Report 113 (1990)
1980 – 1989
- 1989
- [j9]
- [j8]Jörg H. Siekmann, Peter Szabó: The Undecidability of the DA-Unification Problem. J. Symb. Log. 54(2): 402-414 (1989)
- [c20]Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann: Structure and Control of the L-LILOG Inference System. Sorts and Types in Artificial Intelligence 1989: 165-182
- [i1]Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information. IWBS Report 86 (1989)
- 1988
- [j7]Michael A. McRobbie, Jörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. AI Commun. 1(4): 16-29 (1988)
- [j6]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. J. Autom. Reasoning 4(4): 465-474 (1988)
- [c19]Karl-Hans Bläsius, Jörg H. Siekmann: Partial Unification for Graph Based Equational Reasoning. CADE 1988: 397-414
- [c18]Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden: What is Computation? (Panel Introduction). ECAI 1988: 724
- [c17]
- 1987
- [j5]Karl-Hans Bläsius, Jörg H. Siekmann: Computergestützte Frühwarn- und Entwscheidungssysteme. Informatik Spektrum 10(1): 24-39 (1987)
- [j4]Alexander Herold, Jörg H. Siekmann: Unification in Abelian Semigroups. J. Autom. Reasoning 3(3): 247-283 (1987)
- 1986
- [j3]Ronald V. Book, Jörg H. Siekmann: On Unification: Equational Theories Are Not Bounded. J. Symb. Comput. 2(4): 317-324 (1986)
- [c16]
- [e3]Jörg H. Siekmann (Ed.): 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Lecture Notes in Computer Science 230, Springer 1986, ISBN 3-540-16780-3
- 1985
- [c15]
- 1984
- [c14]
- 1983
- [j2]
- 1982
- [c13]Jörg H. Siekmann, Peter Szabó: Universal Unification and a Classification of Equational Theories. CADE 1982: 369-389
- [c12]
- [c11]
- [e2]Wolfgang Bibel, Jörg H. Siekmann (Eds.): Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982. Informatik-Fachberichte 59, Springer 1982, ISBN 3-540-11974-4
- 1981
- [c10]Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther: The Markgraf Karl Refutation Procedure. IJCAI 1981: 511-518
- [c9]Jörg H. Siekmann, Peter Szabó: Universal Unification and Regular Equational ACFM Theories. IJCAI 1981: 532-538
- [c8]Jörg H. Siekmann, Gert Smolka: Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. GWAI 1981: 199-200
- [c7]Jörg H. Siekmann, Peter Szabó: A Noetherian Rewrite System for Idempotent Semigroups. GWAI 1981: 235-245
- [e1]Jörg H. Siekmann (Ed.): GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Informatik-Fachberichte 47, Springer 1981, ISBN 3-540-10859-9
- 1980
- [j1]
- [c6]Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther: Das Karlsruher Beweissystem. GI Jahrestagung 1980: 400-412
1970 – 1979
- 1979
- [c5]
- [c4]
- 1978
- [c3]Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. AISB/GI (ECAI) 1978: 105-109
- [c2]Werner Stephan, Jörg H. Siekmann: Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) 1978: 340-344
- 1977
- [c1]Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann: Unification of Idempotent Functions. IJCAI 1977: 528
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team