default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeoff 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 - [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]Bernd Fischer, Geoff Sutcliffe, Stephan Schulz:
Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reason.