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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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)
2010 – 2019
- 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) - [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 - 2014
- [e10]Jörg H. Siekmann:
Computational Logic. Handbook of the History of Logic 9, Elsevier 2014, ISBN 978-0-444-51624-4 [contents] - [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 - 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 - [e9]Matthew W. Crocker, Jörg H. Siekmann:
Resource-Adaptive Cognitive Processes. Cognitive Technologies, Springer 2011, ISBN 978-3-540-89407-0 [contents] - 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)
2000 – 2009
- 2009
- [j28]Jörg H. Siekmann:
Die Entwicklung der Disziplin in Deutschland. Künstliche Intell. 23(1): 47-52 (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 - [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) - 2008
- [j27]Erica Melis, Andreas Meier, Jörg H. Siekmann:
Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008) - [c44]Jörg H. Siekmann, Michael Hoche, Peter Szabó:
String Unification is Essentially Infinitary. UNIF 2008: 82-102 - [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] - 2006
- [j26]Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
Computer supported mathematics with Omegamega. J. Appl. Log. 4(4): 533-559 (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 - [p2]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 - [i3]Jörg H. Siekmann:
Proof Presentation. Deduction and Applications 2005 - 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) - [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 - [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] - 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
- [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) - [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 - 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) - [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
1990 – 1999
- 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) - [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
- [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) - [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
- [j15]Wolfgang Bibel, Jörg H. Siekmann:
Informatik und Intellektik als zukünftiges Zwiegespann. Künstliche Intell. 8(1): 16-22 (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 - [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:
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, ISBN 0-19-853746-8 [contents] - 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) - [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
- [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) - [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 - 1990
- [j11]Jörg H. Siekmann:
Unification theory. Decis. Support Syst. 6(4): 315-337 (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
- [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) - [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
- [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) - [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 - 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) - [c16]Jörg H. Siekmann:
Unification Theory. ECAI 1986: 365-400 - [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] - 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 - 1983
- [j3]Jörg H. Siekmann:
Open mathematical problems computer competition. Computing 30(4): 379-380 (1983) - 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 - [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
- [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:
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] - 1980
- [j2]Jörg H. Siekmann, Graham Wrightson:
Paramodulated Connection Graphs. Acta Informatica 13: 67-86 (1980) - [c6]Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther:
Das Karlsruher Beweissystem. GI Jahrestagung 1980: 400-412
1970 – 1979
- 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) - [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
- [b1]Jörg H. Siekmann:
Unification and Matching Problems. University of Essex, UK, 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
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 2024-04-25 05:45 CEST 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:
