


default search action
Geoff Sutcliffe
Person information
- affiliation: University of Miami, Coral Gables, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j59]Geoff Sutcliffe, Martin Desharnais:
The CADE-29 Automated Theorem Proving System Competition - CASC-29. AI Commun. 37(4): 485-503 (2024) - [j58]Christoph Benzmüller
, David Fuenmayor, Alexander Steen
, Geoff Sutcliffe:
Who finds the short proof? Log. J. IGPL 32(3): 442-464 (2024) - [c82]Geoff Sutcliffe
:
Stepping Stones in the TPTP World. IJCAR (1) 2024: 30-50 - [c81]Geoff Sutcliffe
, Christian B. Suttner, Lars Kotthoff
, C. Raymond Perrault
, Zain Khalid
:
An Empirical Assessment of Progress in Automated Theorem Proving. IJCAR (1) 2024: 53-74 - [c80]Alexander Steen, Geoff Sutcliffe:
TPTP World Infrastructure for Non-classical Logics. PAAR+SC²@IJCAR 2024: 74-90 - [d1]Alexander Steen
, Geoff Sutcliffe
, Christoph Benzmüller
:
Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics". Zenodo, 2024 - [i11]Geoff Sutcliffe, Alexander Steen, Pascal Fontaine:
The New TPTP Format for Interpretations. CoRR abs/2406.06108 (2024) - 2023
- [j57]Geoff Sutcliffe, Martin Desharnais:
The 11th IJCAR automated theorem proving system competition - CASC-J11. AI Commun. 36(2): 73-91 (2023) - [j56]Geoff Sutcliffe:
The logic languages of the TPTP world. Log. J. IGPL 31(6): 1153-1169 (2023) - [c79]Alexander Steen
, Geoff Sutcliffe
, Tobias Scholl
, Christoph Benzmüller
:
Solving Modal Logic Problems by Translation to Higher-Order Logic. CLAR 2023: 25-43 - [c78]Jack McKeown, Geoff Sutcliffe:
Reinforcement Learning for Guiding the E Theorem Prover. FLAIRS 2023 - [c77]Jack McKeown, Geoff Sutcliffe:
An Interactive Interpretation Viewer for Typed First-order Logic. FLAIRS 2023 - [c76]Alexander Steen
, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown:
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. LPAR 2023: 369-385 - 2022
- [j55]Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe:
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - [j54]Michael Beeson
, Maria Paola Bonacina
, Michael Kinyon
, Geoff Sutcliffe
:
Larry Wos: Visions of Automated Reasoning. J. Autom. Reason. 66(4): 439-461 (2022) - [j53]Huimin Fu
, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe:
Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. 245: 108572 (2022) - [c75]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 - [i10]Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller:
Automated Reasoning in Non-classical Logics in the TPTP World. CoRR abs/2202.09836 (2022) - [i9]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 abs/2208.06879 (2022) - [i8]Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
:
Solving QMLTP Problems by Translation to Higher-order Logic. CoRR abs/2212.09570 (2022) - 2021
- [j52]Geoff Sutcliffe:
The 10th IJCAR automated theorem proving system competition - CASC-J10. AI Commun. 34(2): 163-177 (2021) - [j51]Geoff Sutcliffe, Martin Desharnais:
The CADE-28 Automated Theorem Proving System Competition - CASC-28. AI Commun. 34(4): 259-276 (2021) - [c74]Geoff Sutcliffe:
The Expansion, Modernisation, and Future of the TPTP World. ARCADE@CADE 2021: 1-12 - [c73]Geoff Sutcliffe, David A. Plaisted:
Management of the TPTP Problem Set. ARCADE@CADE 2021: 1 - [c72]Tanel Tammet, Geoff Sutcliffe:
Combining JSON-LD with First Order Logic. ICSC 2021: 256-261 - [e19]André Platzer
, Geoff Sutcliffe
:
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Lecture Notes in Computer Science 12699, Springer 2021, ISBN 978-3-030-79875-8 [contents] - 2020
- [c71]Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe:
Evaluation of Axiom Selection Techniques. PAAR+SC²@IJCAR 2020: 63-75 - [c70]Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe:
Cutting Down the TPTP Language (And Others). PAAR+SC²@IJCAR 2020: 134-147 - [e18]Grégoire Danoy, Jun Pang, Geoff Sutcliffe:
6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. EPiC Series in Computing 72, EasyChair 2020 [contents] - [i7]Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe:
Improving probability selecting based weights for Satisfiability Problem. CoRR abs/2007.15185 (2020)
2010 – 2019
- 2019
- [j50]Geoff Sutcliffe
:
The CADE-27 Automated theorem proving System Competition - CASC-27. AI Commun. 32(5-6): 373-389 (2019) - [c69]Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk
, Geoff Sutcliffe
, Josef Urban:
GRUNGE: A Grand Unified ATP Challenge. CADE 2019: 123-141 - [c68]Geoff Sutcliffe
, Francis Jeffry Pelletier
:
JGXYZ: An ATP System for Gap and Glut Logics. CADE 2019: 526-537 - [c67]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: 3-24 - [i6]Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban:
GRUNGE: A Grand Unified ATP Challenge. CoRR abs/1903.02539 (2019) - 2018
- [j49]Geoff Sutcliffe
:
The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9. AI Commun. 31(6): 495-507 (2018) - [c66]Geoff Sutcliffe, Evgenii Kotelnikov:
TFX: The TPTP Extended Typed First-Order Form. PAAR@FLoC 2018: 72-87 - [c65]Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen:
Making Belnap's "Useful 4-Valued Logic" Useful. FLAIRS 2018: 116-121 - [e17]Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe, Margus Veanes:
LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Kalpa Publications in Computing 9, EasyChair 2018 [contents] - [e16]Gilles Barthe, Geoff Sutcliffe, Margus Veanes:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. EPiC Series in Computing 57, EasyChair 2018 [contents] - 2017
- [j48]Geoff Sutcliffe
:
The CADE-26 automated theorem proving system competition - CASC-26. AI Commun. 30(6): 419-432 (2017) - [j47]Geoff Sutcliffe
:
The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0. J. Autom. Reason. 59(4): 483-502 (2017) - [c64]Stephan Schulz, Geoff Sutcliffe
, Josef Urban, Adam Pease:
Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE 2017: 310-325 - [c63]Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen:
Automated Reasoning for the Dialetheic Logic RM3. FLAIRS 2017: 110-115 - [e15]Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov:
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing 1, EasyChair 2017 [contents] - 2016
- [j46]Geoff Sutcliffe
, Josef Urban:
The CADE-25 Automated Theorem Proving system competition - CASC-25. AI Commun. 29(3): 423-433 (2016) - [j45]Geoff Sutcliffe
:
The 8th IJCAR automated theorem proving system competition - CASC-J8. AI Commun. 29(5): 607-619 (2016) - [j44]Geoff Sutcliffe
:
The CADE ATP System Competition - CASC. AI Mag. 37(2): 99-101 (2016) - [c62]Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe:
TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. PAAR@IJCAR 2016: 41-55 - [c61]Geoff Sutcliffe, Francis Jeffry Pelletier:
Hoping for the Truth - A Survey of the TPTP Logics. FLAIRS 2016: 110-115 - [e14]Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas:
GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. EPiC Series in Computing 41, EasyChair 2016 [contents] - 2015
- [j43]Geoff Sutcliffe
:
The 7th IJCAR automated theorem proving system competition - CASC-J7. AI Commun. 28(4): 683-692 (2015) - [c60]Geoff Sutcliffe:
Things You Can't do With a Vampire. Vampire Workshop 2015: 8-28 - [c59]Negin Arhami, Geoff Sutcliffe:
Automated Theorem Proving by Translation to Description Logic. LPAR (short papers) 2015: 1-14 - [c58]Geoff Sutcliffe, Stephan Schulz:
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. IWIL@LPAR 2015: 106-121 - [e13]Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov:
Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. EPiC Series in Computing 36, EasyChair 2015 [contents] - [e12]Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov:
20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. EPiC Series in Computing 35, EasyChair 2015 [contents] - 2014
- [j42]Geoff Sutcliffe:
The CADE-24 automated theorem proving system competition - CASC-24. AI Commun. 27(4): 405-416 (2014) - [c57]Negin Arhami, Geoff Sutcliffe:
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. PAAR@IJCAR 2014: 2-11 - [c56]Muhammad Nassar, Geoff Sutcliffe:
Automated Theorem Proving using the TPTP Process Instruction Language. PAAR@IJCAR 2014: 67-75 - [c55]Aaron Stump, Geoff Sutcliffe
, Cesare Tinelli
:
StarExec: A Cross-Community Infrastructure for Logic Solving. IJCAR 2014: 367-373 - [e11]Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov:
LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. EPiC Series in Computing 26, EasyChair 2014 [contents] - 2013
- [j41]Geoff Sutcliffe
:
The 6th IJCAR automated theorem proving system competition - CASC-J6. AI Commun. 26(2): 211-223 (2013) - [j40]Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
:
ATP and Presentation Service for Mizar Formalizations. J. Autom. Reason. 50(2): 229-241 (2013) - [c54]Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe:
Modeling in OWL 2 without Restrictions. OWLED 2013 - [e10]Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller:
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. EPiC Series in Computing 13, EasyChair 2013 [contents] - 2012
- [j39]Geoff Sutcliffe
:
The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Commun. 25(1): 49-63 (2012) - [c53]Aaron Stump, Geoff Sutcliffe, Cesare Tinelli:
Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. COMPARE 2012: 2 - [c52]Cameron Carpenter, Leticia Osterberg, Geoff Sutcliffe:
SAMHT - Suicidal Avatars for Mental Health Training. FLAIRS 2012 - [c51]Geoff Sutcliffe
, Stephan Schulz, Koen Claessen, Peter Baumgartner:
The TPTP Typed First-Order Form with Arithmetic. LPAR 2012: 406-419 - [e9]Aaron Stump, Geoff Sutcliffe, Cesare Tinelli:
Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010. EPiC Series in Computing 6, EasyChair 2012 [contents] - [e8]Geoff Sutcliffe:
The 6th IJCAR ATP System Competition, CASC-J6, June 28, 2012, Manchester, UK. EPiC Series in Computing 11, EasyChair 2012 - [e7]Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe:
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR Workshop Proceedings 873, CEUR-WS.org 2012 [contents] - [e6]Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska:
The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. EPiC Series in Computing 2, EasyChair 2012 [contents] - [i5]Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe:
Modeling in OWL 2 without Restrictions. CoRR abs/1212.2902 (2012) - 2011
- [j38]Geoff Sutcliffe
:
The 5th IJCAR automated theorem proving system competition - CASC-J5. AI Commun. 24(1): 75-89 (2011) - [c50]Michael Schneider, Geoff Sutcliffe
:
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. CADE 2011: 461-475 - [c49]Cameron Carpenter, Geoff Sutcliffe:
Sporcle Goes AI. FLAIRS 2011 - [c48]Geoff Sutcliffe, Cynthia Chang, Deborah L. McGuinness, Timothy Lebo, Li Ding, Paulo Pinheiro da Silva:
Combining Proofs to form Different Proofs. PxTP 2011: 60-73 - [i4]Michael Schneider, Geoff Sutcliffe:
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving. CoRR abs/1108.0155 (2011) - [i3]Josef Urban, Piotr Rudnicki, Geoff Sutcliffe:
ATP and Presentation Service for Mizar Formalizations. CoRR abs/1109.0616 (2011) - 2010
- [j37]Geoff Sutcliffe
:
The CADE-22 automated theorem proving system competition - CASC-22. AI Commun. 23(1): 47-59 (2010) - [j36]Adam Pease, Geoff Sutcliffe
, Nick Siegel, Steven Trac:
Large theory reasoning with SUMO at CASC. AI Commun. 23(2-3): 137-144 (2010) - [j35]Geoff Sutcliffe, Christoph Benzmüller:
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure. J. Formaliz. Reason. 3(1): 1-27 (2010) - [c47]Josef Urban, Geoff Sutcliffe
:
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. AISC/MKM/Calculemus 2010: 132-146 - [c46]Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah L. McGuinness, Paulo Pinheiro da Silva:
Different Proofs are Good Proofs. EMSQMS@IJCAR 2010: 42-51 - [c45]Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo:
Progress Towards Effective Automated Reasoning with World Knowledge. FLAIRS 2010 - [c44]Geoff Sutcliffe
:
The TPTP World - Infrastructure for Automated Reasoning. LPAR (Dakar) 2010: 1-12 - [i2]Josef Urban, Geoff Sutcliffe:
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. CoRR abs/1005.4592 (2010)
2000 – 2009
- 2009
- [j34]Geoff Sutcliffe
:
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Commun. 22(1): 59-72 (2009) - [j33]Peter Höfner, Georg Struth, Geoff Sutcliffe
:
Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009) - [j32]Renate A. Schmidt
, Geoff Sutcliffe
, Stephan Schulz:
Empirically successful computerized reasoning. J. Appl. Log. 7(1): 1 (2009) - [j31]Florian Rabe
, Petr Pudlák, Geoff Sutcliffe
, Weina Shen:
Solving the $100 modal logic challenge. J. Appl. Log. 7(1): 113-130 (2009) - [j30]Geoff Sutcliffe
:
The TPTP Problem Library and Associated Infrastructure. J. Autom. Reason. 43(4): 337-362 (2009) - [c43]Geoff Sutcliffe
, Christoph Benzmüller
, Chad E. Brown, Frank Theiss:
Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE 2009: 116-130 - [c42]Alex Roederer, Yury Puzis, Geoff Sutcliffe
:
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162 - [c41]Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac:
Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS 2009 - [c40]Martin Suda
, Geoff Sutcliffe
, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo:
External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288 - 2008
- [j29]Geoff Sutcliffe:
The CADE-21 automated theorem proving system competition. AI Commun. 21(1): 71-81 (2008) - [j28]Josef Urban, Geoff Sutcliffe
:
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. Math. Comput. Sci. 2(2): 231-251 (2008) - [c39]Geoff Sutcliffe
:
CASC-J4 The 4th IJCAR ATP System Competition. IJCAR 2008: 457-458 - [c38]Christoph Benzmüller
, Florian Rabe
, Geoff Sutcliffe
:
THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506 - [c37]Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe:
Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008 - [c36]Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac:
The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008 - [c35]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 - [c34]Steven Trac, Geoff Sutcliffe, Adam Pease:
Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008 - [c33]Josef Urban, Geoff Sutcliffe
, Petr Pudlák, Jirí Vyskocil:
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456 - [c32]Geoff Sutcliffe:
The SZS Ontologies for Automated Reasoning Software. LPAR Workshops 2008 - [e5]Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz:
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. CEUR Workshop Proceedings 418, CEUR-WS.org 2008 [contents] - 2007
- [j27]Geoff Sutcliffe:
The 3rd IJCAR Automated Theorem Proving Competition. AI Commun. 20(2): 117-126 (2007) - [c31]Adam Pease, Geoff Sutcliffe:
First Order Reasoning on a Large Ontology. ESARLT 2007 - [c30]Geoff Sutcliffe
, Yury Puzis:
SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310 - [c29]Geoff Sutcliffe
:
TPTP, TSTP, CASC, etc. CSR 2007: 6-22 - [c28]Josef Urban, Geoff Sutcliffe
:
ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560 - [e4]Geoff Sutcliffe, Josef Urban, Stephan Schulz:
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR Workshop Proceedings 257, CEUR-WS.org 2007 [contents] - [e3]David Wilson, Geoff Sutcliffe:
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA. AAAI Press 2007, ISBN 978-1-57735-319-5 [contents] - 2006
- [j26]Geoff Sutcliffe, Christian B. Suttner:
The state of CASC. AI Commun. 19(1): 35-48 (2006) - [j25]Geoff Sutcliffe:
The CADE-20 Automated Theorem Proving Competition. AI Commun. 19(2): 173-181 (2006) - [j24]Geoff Sutcliffe:
Report on the Nineteenth International FLAIRS Conference. AI Mag. 27(4): 111-112 (2006) - [j23]Stephan Schulz, Geoff Sutcliffe
, Tanel Tammet:
Preface. Int. J. Artif. Intell. Tools 15(1): 1-2 (2006) - [j22]Geoff Sutcliffe
:
Semantic Derivation Verification: Techniques and Implementation. Int. J. Artif. Intell. Tools 15(6): 1053-1070 (2006) - [j21]