default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJörg H. Siekmann
Person information
- affiliation: German Research Centre for Artificial Intelligence (DFKI)
- affiliation: Saarland University, Department of Computer Science
SPARQL queries 
🛈 Please note that only 68% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1978
[b1]Jörg H. Siekmann:
Unification and Matching Problems. University of Essex, UK, 1978
Journal Articles
- 2021
- [j35]Karl-Hans Bläsius, Jörg H. Siekmann
:
Unintended Nuclear War. Künstliche Intell. 35(1): 119-121 (2021) - [j34]Jörg H. Siekmann:
Artificial Intelligence: Mind, Computer and the Dance of the Wu Li Masters. Künstliche Intell. 35(3): 445-447 (2021) - [j33]Peter Szabó, Jörg H. Siekmann:
E-Unification based on Generalized Embedding. Math. Struct. Comput. Sci. 31(8): 898-917 (2021) - 2018
- [j32]Dov M. Gabbay, Jörg H. Siekmann:
Editorial. FLAP 5(1): 1-4 (2018) - 2017
- [j31]Dov M. Gabbay, Jörg H. Siekmann:
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. FLAP 4(5) (2017) - 2016
- [j30]Michael Hoche, Jörg H. Siekmann, Peter Szabó:
String Unification is Essentially Infinitary. FLAP 3(5): 755-788 (2016) - 2010
- [j29]Dov M. Gabbay, Jörg H. Siekmann:
Algorithms in cognition, informatics and logic: A position manifesto. Log. J. IGPL 18(6): 763-768 (2010) - 2009
- [j28]Jörg H. Siekmann:
Die Entwicklung der Disziplin in Deutschland. Künstliche Intell. 23(1): 47-52 (2009) - 2008
- [j27]Erica Melis, Andreas Meier, Jörg H. Siekmann:
Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008) - 2006
- [j26]Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
Computer supported mathematics with Omegamega. J. Appl. Log. 4(4): 533-559 (2006) - 2004
- [j25]Martin A. Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann:
Invited talks. Künstliche Intell. 18(3): 44- (2004) - 2002
- [j24]Jörg H. Siekmann, Graham Wrightson:
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Log. J. IGPL 10(1): 85-103 (2002) - [j23]Jörg H. Siekmann:
KI - Die Entwicklung der Disziplin in Deutschland. Künstliche Intell. 16(1): 52-53 (2002) - 2001
- [j22]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
- [j21]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) - 1999
- [j20]Erica Melis, Jörg H. Siekmann:
Knowledge-Based Proof Planning. Artif. Intell. 115(1): 65-105 (1999) - [j19]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 Aspects Comput. 11(3): 326-342 (1999) - 1998
- [j18]Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt:
Wohin geht die automatische Deduktion? Künstliche Intell. 12(4): 33-37 (1998) - [j17]Jörg H. Siekmann, Michael Kohlhase, Erica Melis:
<Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998) - 1996
- [j16]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) - 1994
- [j15]Wolfgang Bibel, Jörg H. Siekmann:
Informatik und Intellektik als zukünftiges Zwiegespann. Künstliche Intell. 8(1): 16-22 (1994) - 1992
- [j14]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
- [j13]Michael A. McRobbie, Jörg H. Siekmann:
Artificial intelligence: Perspectives and Predictions. Appl. Artif. Intell. 5(2): 187-207 (1991) - [j12]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. Inform. Spektrum 14(4): 201-206 (1991) - 1990
- [j11]Jörg H. Siekmann:
Unification theory. Decis. Support Syst. 6(4): 315-337 (1990) - 1989
- [j10]Jörg H. Siekmann:
Unification Theory. J. Symb. Comput. 7(3/4): 207-274 (1989) - [j9]Jörg H. Siekmann, Peter Szabó:
The Undecidability of the DA-Unification Problem. J. Symb. Log. 54(2): 402-414 (1989) - 1988
- [j8]Michael A. McRobbie, Jörg H. Siekmann:
Artificial Intelligence: Perspectives and Predictions. AI Commun. 1(4): 16-29 (1988) - [j7]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. Reason. 4(4): 465-474 (1988) - 1987
- [j6]Karl-Hans Bläsius, Jörg H. Siekmann:
Computergestützte Frühwarn- und Entwscheidungssysteme. Inform. Spektrum 10(1): 24-39 (1987) - [j5]Alexander Herold, Jörg H. Siekmann:
Unification in Abelian Semigroups. J. Autom. Reason. 3(3): 247-283 (1987) - 1986
- [j4]Ronald V. Book, Jörg H. Siekmann:
On Unification: Equational Theories Are Not Bounded. J. Symb. Comput. 2(4): 317-324 (1986) - 1983
- [j3]Jörg H. Siekmann:
Open mathematical problems computer competition. Computing 30(4): 379-380 (1983) - 1980
- [j2]Jörg H. Siekmann, Graham Wrightson:
Paramodulated Connection Graphs. Acta Informatica 13: 67-86 (1980) - 1979
- [j1]Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht:
A short survey on the state of the art in matching and unification problems. SIGSAM Bull. 13(2): 14-20 (1979)
Conference and Workshop Papers
- 2008
- [c44]Jörg H. Siekmann, Michael Hoche, Peter Szabó:
String Unification is Essentially Infinitary. UNIF 2008: 82-102 - 2006
- [c43]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 - [c42]Jörg H. Siekmann:
History of AI in Germany and The Third Industrial Revolution. KI 2006: 445 - 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 - 2004
- [c38]Erica Melis, Jörg H. Siekmann:
ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101 - [c37]Jörg H. Siekmann, Christoph Benzmüller:
Omega: Computer Supported Mathematics. KI 2004: 3-28 - 2003
- [c36]Klaus Fischer, Michael Schillo, Jörg H. Siekmann:
Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. HoloMAS 2003: 71-80 - [c35]Michael Schillo, Klaus Fischer, Jörg H. Siekmann:
The Link between Autonomy and Organisation in Multiagent Systems. HoloMAS 2003: 81-90 - 2002
- [c34]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 - [c33]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 - [c32]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 - [c31]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 - 2000
- [c30]Erica Melis, Jörg H. Siekmann:
Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276 - [c29]Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt:
Formal Software Development in the Verification Support Environment (VSE). FLAIRS 2000: 367-376 - 1998
- [c28]Lassaad Cheikhrouhou, Jörg H. Siekmann:
Planning Diagonalization Proofs. AIMSA 1998: 167-180 - 1997
- [c27]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
- [c26]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
- [c25]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 - [c24]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 - 1992
- [c23]Jörg H. Siekmann:
Müssen die bisherigen Positionen der KI überdacht werden? Künstliche Intelligenz - Leitvorstellungen und Verantwortung (2) 1992: 34-38 - 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]Jürgen Müller, Jörg H. Siekmann:
Structured Social Agents. Wissensbasierte Systeme 1991: 42-52 - 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 - 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]Jörg H. Siekmann:
Artificial Intelligence: Perspectives and Predictions. FGCS 1988: 145-146 - 1986
- [c16]Jörg H. Siekmann:
Unification Theory. ECAI 1986: 365-400 - 1985
- [c15]Ronald V. Book, Jörg H. Siekmann:
On the Unification Hierarchy. GWAI 1985: 111-117 - 1984
- [c14]Jörg H. Siekmann:
Universal Unification. CADE 1984: 1-42 - 1982
- [c13]Jörg H. Siekmann, Peter Szabó:
Universal Unification and a Classification of Equational Theories. CADE 1982: 369-389 - [c12]Jörg H. Siekmann:
Einführung in die Künstliche Intelligenz. KIFS 1982: 1-60 - [c11]Jörg H. Siekmann, Peter Szabó:
Universal Unification. GWAI 1982: 102-141 - 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 - 1980
- [c6]Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther:
Das Karlsruher Beweissystem. GI Jahrestagung 1980: 400-412 - 1979
- [c5]Jörg H. Siekmann:
Unification of commutative terms. EUROSAM 1979: 22 - [c4]Jörg H. Siekmann:
Matching under commutativity. EUROSAM 1979: 531-545 - 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
Parts in Books or Collections
- 2016
- [p6]Peter Szabó, Jörg H. Siekmann, Michael Hoche:
What Is Essential Unification? Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 285-314 - 2011
- [p5]Jörg H. Siekmann, Matthew W. Crocker:
Resource-Adaptive Cognitive Processes. Resource-Adaptive Cognitive Processes 2011: 1-10 - [p4]Christoph Benzmüller, Marvin R. G. Schiller, Jörg H. Siekmann:
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs. Resource-Adaptive Cognitive Processes 2011: 291-311 - [p3]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 - 2006
- [p2]Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann:
Omega. The Seventeen Provers of the World 2006: 127-141 - 1994
- [p1]Franz Baader, Jörg H. Siekmann:
Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126
Editorship
- 2014
- [e10]Jörg H. Siekmann:
Computational Logic. Handbook of the History of Logic 9, Elsevier 2014, ISBN 978-0-444-51624-4 [contents] - 2011
- [e9]Matthew W. Crocker, Jörg H. Siekmann:
Resource-Adaptive Cognitive Processes. Cognitive Technologies, Springer 2011, ISBN 978-3-540-89407-0 [contents] - 2008
- [e8]Ammar Alkassar, Jörg H. Siekmann:
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 P-128, GI 2008, ISBN 978-3-88579-222-2 [contents] - 2007
- [e7]Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich:
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 [contents] - [e6]Zili Zhang, Jörg H. Siekmann:
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 [contents] - 2004
- [e5]Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh:
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 [contents] - 1994
- [e4]Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann:
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, ISBN 0-19-853746-8 [contents] - 1986
- [e3]Jörg H. Siekmann:
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 [contents] - 1982
- [e2]Wolfgang Bibel, Jörg H. Siekmann:
Künstliche Intelligenz, Frühjahrsschule, Teisendorf, Deutschland, 15.-24. März 1982. Informatik-Fachberichte 59, Springer 1982, ISBN 3-540-11974-4 [contents] - 1981
- [e1]Jörg H. Siekmann:
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings. Informatik-Fachberichte 47, Springer 1981, ISBN 3-540-10859-9 [contents]
Reference Works
- 2014
- [r3]Jörg H. Siekmann:
Computational Logic. Computational Logic 2014: 15-30 - [r2]Jörg H. Siekmann, Dov M. Gabbay:
Editorial Note. Computational Logic 2014 - 2009
- [r1]Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
Jacques Herbrand: Life, Logic, and Automated Deduction. Logic from Russell to Church 2009: 195-254
Informal and Other Publications
- 2009
- [i4]Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
Lectures on Jacques Herbrand as a Logician. CoRR abs/0902.4682 (2009) - 2005
- [i3]Jörg H. Siekmann:
Proof Presentation. Deduction and Applications 2005 - 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) - 1989
- [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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
