Geoff Sutcliffe

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 43

Top Venues

Publications

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who finds the short proof? Log. J. IGPL 32 (3) (2024)
Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid
An Empirical Assessment of Progress in Automated Theorem Proving. IJCAR (1) (2024)
Geoff Sutcliffe, Alexander Steen, Pascal Fontaine
The New TPTP Format for Interpretations. CoRR (2024)
Geoff Sutcliffe
Stepping Stones in the TPTP World. IJCAR (1) (2024)
Alexander Steen, Geoff Sutcliffe
TPTP World Infrastructure for Non-classical Logics. PAAR+SC²@IJCAR (2024)
Jack McKeown, Geoff Sutcliffe
An Interactive Interpretation Viewer for Typed First-order Logic. FLAIRS (2023)
Geoff Sutcliffe, Martin Desharnais
The 11th IJCAR automated theorem proving system competition - CASC-J11. AI Commun. 36 (2) (2023)
Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. LPAR (2023)
Geoff Sutcliffe
The logic languages of the TPTP world. Log. J. IGPL 31 (6) (2023)
Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller
Solving Modal Logic Problems by Translation to Higher-Order Logic. CLAR (2023)
Jack McKeown, Geoff Sutcliffe
Reinforcement Learning for Guiding the E Theorem Prover. FLAIRS (2023)
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR (2022)
Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe
Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. 245 (2022)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Michael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe
Larry Wos: Visions of Automated Reasoning. J. Autom. Reason. 66 (4) (2022)
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
Automated Reasoning in Non-classical Logics in the TPTP World. CoRR (2022)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. CoRR (2022)
Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
Solving QMLTP Problems by Translation to Higher-order Logic. CoRR (2022)
Geoff Sutcliffe
The 10th IJCAR automated theorem proving system competition - CASC-J10. AI Commun. 34 (2) (2021)
Geoff Sutcliffe, Martin Desharnais
The CADE-28 Automated Theorem Proving System Competition - CASC-28. AI Commun. 34 (4) (2021)
Tanel Tammet, Geoff Sutcliffe
Combining JSON-LD with First Order Logic. ICSC (2021)
Geoff Sutcliffe
The Expansion, Modernisation, and Future of the TPTP World. ARCADE@CADE (2021)
Geoff Sutcliffe, David A. Plaisted
Management of the TPTP Problem Set. ARCADE@CADE (2021)
Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe
Cutting Down the TPTP Language (And Others). PAAR+SC²@IJCAR (2020)
Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
Improving probability selecting based weights for Satisfiability Problem. CoRR (2020)
Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe
Evaluation of Axiom Selection Techniques. PAAR+SC²@IJCAR (2020)
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
GRUNGE: A Grand Unified ATP Challenge. CoRR (2019)
Geoff Sutcliffe
The CADE-27 Automated theorem proving System Competition - CASC-27. AI Commun. 32 (5-6) (2019)
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
GRUNGE: A Grand Unified ATP Challenge. CADE (2019)
Geoff Sutcliffe, Francis Jeffry Pelletier
JGXYZ: An ATP System for Gap and Glut Logics. CADE (2019)
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen
Making Belnap's "Useful 4-Valued Logic" Useful. FLAIRS Conference (2018)
Geoff Sutcliffe, Evgenii Kotelnikov
TFX: The TPTP Extended Typed First-Order Form. PAAR@FLoC (2018)
Geoff Sutcliffe
The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9. AI Commun. 31 (6) (2018)
Geoff Sutcliffe
The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0. J. Autom. Reason. 59 (4) (2017)
Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE (2017)
Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen
Automated Reasoning for the Dialetheic Logic RM3. FLAIRS Conference (2017)
Geoff Sutcliffe
The CADE-26 automated theorem proving system competition - CASC-26. AI Commun. 30 (6) (2017)
Geoff Sutcliffe, Josef Urban
The CADE-25 Automated Theorem Proving system competition - CASC-25. AI Commun. 29 (3) (2016)
Geoff Sutcliffe, Francis Jeffry Pelletier
Hoping for the Truth - A Survey of the TPTP Logics. FLAIRS Conference (2016)
Geoff Sutcliffe
The CADE ATP System Competition - CASC. AI Mag. 37 (2) (2016)
Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe
TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. PAAR@IJCAR (2016)
Geoff Sutcliffe
The 8th IJCAR automated theorem proving system competition - CASC-J8. AI Commun. 29 (5) (2016)
Geoff Sutcliffe
Things You Can't do With a Vampire. Vampire Workshop (2015)
Geoff Sutcliffe
The 7th IJCAR automated theorem proving system competition - CASC-J7. AI Commun. 28 (4) (2015)
Negin Arhami, Geoff Sutcliffe
Automated Theorem Proving by Translation to Description Logic. LPAR (short papers) (2015)
Geoff Sutcliffe, Stephan Schulz
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. IWIL@LPAR (2015)
Muhammad Nassar, Geoff Sutcliffe
Automated Theorem Proving using the TPTP Process Instruction Language. PAAR@IJCAR (2014)
Negin Arhami, Geoff Sutcliffe
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. PAAR@IJCAR (2014)
Geoff Sutcliffe
The CADE-24 automated theorem proving system competition - CASC-24. AI Commun. 27 (4) (2014)
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
StarExec: A Cross-Community Infrastructure for Logic Solving. IJCAR (2014)
Geoff Sutcliffe
The 6th IJCAR automated theorem proving system competition - CASC-J6. AI Commun. 26 (2) (2013)
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions. OWLED (2013)
Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
ATP and Presentation Service for Mizar Formalizations. J. Autom. Reason. 50 (2) (2013)
Geoff Sutcliffe
The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Commun. 25 (1) (2012)
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. COMPARE (2012)
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions CoRR (2012)
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner
The TPTP Typed First-Order Form with Arithmetic. LPAR (2012)
Cameron Carpenter, Leticia Osterberg, Geoff Sutcliffe
SAMHT - Suicidal Avatars for Mental Health Training. FLAIRS Conference (2012)
Geoff Sutcliffe, Cynthia Chang, Deborah L. McGuinness, Timothy Lebo, Li Ding, Paulo Pinheiro da Silva
Combining Proofs to form Different Proofs. PxTP (2011)
Cameron Carpenter, Geoff Sutcliffe
Sporcle Goes AI. FLAIRS Conference (2011)
Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
ATP and Presentation Service for Mizar Formalizations CoRR (2011)
Geoff Sutcliffe
The 5th IJCAR automated theorem proving system competition - CASC-J5. AI Commun. 24 (1) (2011)
Michael Schneider, Geoff Sutcliffe
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. CADE (2011)
Michael Schneider, Geoff Sutcliffe
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving CoRR (2011)
Josef Urban, Geoff Sutcliffe
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. AISC/MKM/Calculemus (2010)
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
Large theory reasoning with SUMO at CASC. AI Commun. 23 (2-3) (2010)
Geoff Sutcliffe
The TPTP World - Infrastructure for Automated Reasoning. LPAR (Dakar) (2010)
Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo
Progress Towards Effective Automated Reasoning with World Knowledge. FLAIRS Conference (2010)
Geoff Sutcliffe, Christoph Benzmüller
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure. J. Formaliz. Reason. 3 (1) (2010)
Josef Urban, Geoff Sutcliffe
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar CoRR (2010)
Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah L. McGuinness, Paulo Pinheiro da Silva
Different Proofs are Good Proofs. EMSQMS@IJCAR (2010)
Geoff Sutcliffe
The CADE-22 automated theorem proving system competition - CASC-22. AI Commun. 23 (1) (2010)
Geoff Sutcliffe
The TPTP Problem Library and Associated Infrastructure. J. Autom. Reason. 43 (4) (2009)
Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen
Solving the $100 modal logic challenge. J. Appl. Log. 7 (1) (2009)
Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo
External Sources of Axioms in Automated Theorem Proving. KI (2009)
Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss
Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE (2009)
Peter Höfner, Georg Struth, Geoff Sutcliffe
Automated verification of refinement laws. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Alex Roederer, Yury Puzis, Geoff Sutcliffe
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE (2009)
Geoff Sutcliffe
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Commun. 22 (1) (2009)
Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz
Empirically successful computerized reasoning. J. Appl. Log. 7 (1) (2009)
Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac
Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS Conference (2009)
Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe
Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL (2008)
Geoff Sutcliffe
The SZS Ontologies for Automated Reasoning Software. LPAR Workshops (2008)
Geoff Sutcliffe
The CADE-21 automated theorem proving system competition. AI Commun. 21 (1) (2008)
Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR (2008)
Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness
Presenting TSTP Proofs with Inference Web Tools. PAAR/ESHOL (2008)
Geoff Sutcliffe
CASC-J4 The 4th IJCAR ATP System Competition. IJCAR (2008)
Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe
THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR (2008)
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL (2008)
Steven Trac, Geoff Sutcliffe, Adam Pease
Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL (2008)
Josef Urban, Geoff Sutcliffe
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. Math. Comput. Sci. 2 (2) (2008)
Geoff Sutcliffe, Yury Puzis
SRASS - A Semantic Relevance Axiom Selection System. CADE (2007)
Josef Urban, Geoff Sutcliffe
ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR (2007)
Geoff Sutcliffe
The 3rd IJCAR Automated Theorem Proving Competition. AI Commun. 20 (2) (2007)
Steven Trac, Yury Puzis, Geoff Sutcliffe
An Interactive Derivation Viewer. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Geoff Sutcliffe
TPTP, TSTP, CASC, etc. CSR (2007)
Adam Pease, Geoff Sutcliffe
First Order Reasoning on a Large Ontology. ESARLT (2007)
Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
Preface. Int. J. Artif. Intell. Tools 15 (1) (2006)
Geoff Sutcliffe
CASC-J3 - The 3rd IJCAR ATP System Competition. IJCAR (2006)

Geoff Sutcliffe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Geoff Sutcliffe