Geoff Sutcliffe - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Geoff Sutcliffe' as author, editor, or advisor:

Automated verification of refinement lawsPeter HÃ¶fner, Georg Struth, Geoff Sutcliffe. AMAI, 55(1-2):35-62, 2009. [doi]
The IJCAR-2004 Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 18(1):33-40, 2005. [doi]
External Sources of Axioms in Automated Theorem ProvingMartin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo. ki 2009: 281-288 [doi]
The CADE-20 Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 19(2):173-181, 2006. [doi]
Progress Towards Effective Automated Reasoning with World KnowledgeGeoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo. flairs 2010: [doi]
The Dependently Typed Higher-Order Form for the TPTP WorldDaniel Ranalter, Cezary Kaliszyk, Florian Rabe 0001, Geoff Sutcliffe. frocos 2026: 287-305 [doi]
The Expansion, Modernisation, and Future of the TPTP WorldGeoff Sutcliffe. arcade 2021: 1-12 [doi]
Solving Modal Logic Problems by Translation to Higher-Order LogicAlexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller. phoenix 2023: 25-43 [doi]
Management of the TPTP Problem SetGeoff Sutcliffe, David A. Plaisted. arcade 2021: 1 [doi]
The IJCAR ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier. JAR, 28(3):307-320, 2002.
The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska, editors, Volume 2 of EPiC Series, EasyChair, 2012. [doi]
The TPTP Problem Library - CNF Release v1.2.1Geoff Sutcliffe, Christian B. Suttner. JAR, 21(2):177-203, 1998.
TFX: The TPTP Extended Typed First-Order FormGeoff Sutcliffe, Evgenii Kotelnikov. cade 2018: 72-87 [doi]
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First ExperimentsJosef Urban, Geoff Sutcliffe. mics, 2(2):231-251, 2008. [doi]
Automated Generation of Interesting TheoremsYury Puzis, Yi Gao, Geoff Sutcliffe. flairs 2006: 49-54
The CADE-19 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. aicom, 17(3):103-110, 2004. [doi]
The Procedures of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):163-169, 1997.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006Geoff Sutcliffe, Randy Goebel, editors, AAAI Press, 2006.
Evaluation of Axiom Selection TechniquesQinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe. IJCAI 2020: 63-75 [doi]
Using Artificial Neural Networks for Meteor-Burst Communications Trail PredictionStuart Melville, Geoff Sutcliffe, David Fraser. pricai 1996: 423-434
An Empirical Assessment of Progress in Automated Theorem ProvingGeoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid. IJCAR 2024: 53-74 [doi]
Reinforcement Learning for Guiding the E Theorem ProverJack McKeown, Geoff Sutcliffe. flairs 2023: [doi]
Conclusions about the CADE-13 ATP System CompetitionFrancis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner. JAR, 18(2):287-296, 1997.
The CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):137-138, 1997.
Stepping Stones in the TPTP WorldGeoff Sutcliffe. IJCAR 2024: 30-50 [doi]
TOOLympics 2019: An Overview of Competitions in Formal MethodsEzio Bartocci, Dirk Beyer 0001, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda 0001, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada. TACAS 2019: 3-24 [doi]
Report on the Nineteenth International FLAIRS ConferenceGeoff Sutcliffe. aim, 27(4):111-112, 2006. [doi]
CASC-J3 - The 3rd IJCAR ATP System CompetitionGeoff Sutcliffe. cade 2006: 572-573 [doi]
System Description: SystemOn TPTPGeoff Sutcliffe. cade 2000: 406-410
The CADE-28 Automated Theorem Proving System Competition - CASC-28Geoff Sutcliffe, Martin Desharnais. aicom, 34(4):259-276, 2021. [doi]
ATP Cross-Verification of the Mizar MPTP Challenge ProblemsJosef Urban, Geoff Sutcliffe. lpar 2007: 546-560 [doi]
SAMHT - Suicidal Avatars for Mental Health TrainingCameron Carpenter, Leticia Osterberg, Geoff Sutcliffe. flairs 2012: [doi]
An Interactive Derivation ViewerSteven Trac, Yury Puzis, Geoff Sutcliffe. ENTCS, 174(2):109-123, 2007. [doi]
The Efficiency of Automated Theorem Proving by Translation to Less Expressive LogicsNegin Arhami, Geoff Sutcliffe. cade 2015: 2-11 [doi]
LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedingsKenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov, editors, Volume 26 of EPiC Series, EasyChair, 2014. [doi]
The CADE-15 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 23(1):1-23, 1999.
The state of CASCGeoff Sutcliffe, Christian B. Suttner. aicom, 19(1):35-48, 2006. [doi]
The TPTP Typed First-Order Form with ArithmeticGeoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner. lpar 2012: 406-419 [doi]
The TPTP Problem Library and Associated InfrastructureGeoff Sutcliffe. JAR, 43(4):337-362, 2009. [doi]
System Description: PTTP+GLiDes: Semantically Guided PTTPMarianne Brown, Geoff Sutcliffe. cade 2000: 411-416
Automated Theorem Proving: A ReviewGeoff Sutcliffe. aim, 23(1):121, 2002.
A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction SystemsGeoff Sutcliffe. lpar 1993: 321-332
Automated Reasoning for the Dialetheic Logic RM3Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen. flairs 2017: 110-115 [doi]
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order LogicAlexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown. lpar 2023: 369-385 [doi]
Detecting Inconsistencies in Large First-Order Knowledge BasesStephan Schulz 0001, Geoff Sutcliffe, Josef Urban, Adam Pease. cade 2017: 310-325 [doi]
Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, editors, Volume 6 of EPiC Series, EasyChair, 2012. [doi]
The Thousands of Models for Theorem Provers (TMTP) Model Library - First StepsGeoff Sutcliffe, Stephan Schulz 0001. lpar 2016: 106-121 [doi]
The 11th IJCAR automated theorem proving system competition - CASC-J11Geoff Sutcliffe, Martin Desharnais. aicom, 36(2):73-91, 2023. [doi]
The CADE-25 Automated Theorem Proving system competition - CASC-25Geoff Sutcliffe, Josef Urban. aicom, 29(3):423-433, 2015. [doi]
The CADE-26 automated theorem proving system competition - CASC-26Geoff Sutcliffe. aicom, 30(6):419-432, 2017. [doi]
Evaluating general purpose automated theorem proving systemsGeoff Sutcliffe, Christian B. Suttner. ai, 131(1-2):39-54, 2001. [doi]
Things You Can't do With a VampireGeoff Sutcliffe. cade 2016: 8-28 [doi]
The 8th IJCAR automated theorem proving system competition - CASC-J8Geoff Sutcliffe. aicom, 29(5):607-619, 2016. [doi]
The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9Geoff Sutcliffe. aicom, 31(6):495-507, 2018. [doi]
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4Geoff Sutcliffe. aicom, 22(1):59-72, 2009. [doi]
Automated Reasoning and Presentation Support for Formalizing Mathematics in MizarJosef Urban, Geoff Sutcliffe. AISC 2010: 132-146 [doi]
The CADE-24 automated theorem proving system competition - CASC-24Geoff Sutcliffe. aicom, 27(4):405-416, 2014. [doi]
Automated Reasoning in Higher-Order Logic using the TPTP THF InfrastructureGeoff Sutcliffe, Christoph Benzmüller. jfrea, 3(1):1-27, 2010. [doi]
Empirically successful computerized reasoningRenate A. Schmidt, Geoff Sutcliffe, Stephan Schulz. japll, 7(1):1, 2009. [doi]
TPTP World Infrastructure for Non-classical LogicsAlexander Steen, Geoff Sutcliffe. paar 2024: 74-90 [doi]
The Semantically Guided Linear Deduction SystemGeoff Sutcliffe. cade 1992: 677-680
CASC-J4 The 4th IJCAR ATP System CompetitionGeoff Sutcliffe. cade 2008: 457-458 [doi]
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018Gilles Barthe, Geoff Sutcliffe, Margus Veanes, editors, Volume 57 of EPiC Series in Computing, EasyChair, 2018. [doi]
An Interactive Interpretation Viewer for Typed First-order LogicJack McKeown, Geoff Sutcliffe. flairs 2023: [doi]
Different Proofs are Good ProofsGeoff Sutcliffe, Cynthia Chang, Li Ding, Deborah L. McGuinness, Paulo Pinheiro da Silva. cade 2012: 42-51 [doi]
Automated Reasoning in Non-classical Logics in the TPTP WorldAlexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller. paar 2022: [doi]
An Erratum for Some Errata to ATP ProblemsFrancis Jeffry Pelletier, Geoff Sutcliffe. JAR, 18(1):135, 1997.
The CADE-16 ATP System CompetitionGeoff Sutcliffe. JAR, 24(3):371-396, 2000.
GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, GermanyChristoph Benzmüller, Geoff Sutcliffe, Raúl Rojas, editors, Volume 41 of EPiC Series in Computing, EasyChair, 2016. [doi]
TPTP, TSTP, CASC, etcGeoff Sutcliffe. csr 2007: 6-22 [doi]
GRUNGE: A Grand Unified ATP ChallengeChad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban. cade 2019: 123-141 [doi]
THF0 - The Core of the TPTP Language for Higher-Order LogicChristoph Benzmüller, Florian Rabe, Geoff Sutcliffe. cade 2008: 491-506 [doi]
The CADE-17 ATP System CompetitionGeoff Sutcliffe. JAR, 27(3):227-250, 2001.
Divvy: An ATP Meta-system Based on Axiom Relevance OrderingAlex Roederer, Yury Puzis, Geoff Sutcliffe. cade 2009: 157-162 [doi]
The CADE-18 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 31(1):23-32, 2003. [doi]
The CADE ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. cade 2004: 490-491 [doi]
The 6th IJCAR automated theorem proving system competition - CASC-J6Geoff Sutcliffe. aicom, 26(2):211-223, 2013. [doi]
Automated Theorem Proving by Translation to Description LogicNegin Arhami, Geoff Sutcliffe. lpar 2015: 1-14 [doi]
Automation of Boolos' Curious Inference in Isabelle/HOLChristoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe. afp, 2022, 2022. [doi]
The CADE-27 Automated theorem proving System Competition - CASC-27Geoff Sutcliffe. aicom, 32(5-6):373-389, 2019. [doi]
System Description: GrAnDe 1.0Stephan Schulz, Geoff Sutcliffe. cade 2002: 280-284 [doi]
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, 2008Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
Reasoning in the Event Calculus Using First-Order Automated Theorem ProvingErik T. Mueller, Geoff Sutcliffe. flairs 2005: 840-841
20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, editors, Volume 35 of EPiC Series in Computing, EasyChair, 2015. [doi]
Empirically Successful Automated Reasoning: Systems IssueBernd Fischer, Geoff Sutcliffe, Stephan Schulz. JAR, 36(4):287, 2006. [doi]
Smart Selective Competition Parallelism ATPGeoff Sutcliffe, Darryl Seyfang. flairs 1999: 341-345
The 5th IJCAR automated theorem proving system competition - CASC-J5Geoff Sutcliffe. aicom, 24(1):75-89, 2011. [doi]
The development of CASCFrancis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner. aicom, 15(2-3):79-90, 2002. [doi]
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe, editors, Volume 873 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
Extending the TPTP Language to Higher-Order Logic with Automated Parser GenerationAllen Van Gelder, Geoff Sutcliffe. cade 2006: 156-161 [doi]
The 10th IJCAR automated theorem proving system competition - CASC-J10Geoff Sutcliffe. aicom, 34(2):163-177, 2021. [doi]
The CADE-29 Automated Theorem Proving System Competition - CASC-29Geoff Sutcliffe, Martin Desharnais. aicom, 37(4):485-503, 2024. [doi]
First Order Reasoning on a Large OntologyAdam Pease, Geoff Sutcliffe. cade 2007: [doi]
Compulsory Reduction in Linear Derivation SystemsGeoff Sutcliffe. ai, 50(1):131-132, 1991.
Solving the 100 modal logic challengeFlorian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen. japll, 7(1):113-130, 2009. [doi]
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007Geoff Sutcliffe, Josef Urban, Stephan Schulz, editors, Volume 257 of CEUR Workshop Proceedings, CEUR-WS.org, 2007.
The TPTP World - Infrastructure for Automated ReasoningGeoff Sutcliffe. lpar 2010: 1-12 [doi]
Presenting TSTP Proofs with Inference Web ToolsPaulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah L. McGuinness. cade 2008: [doi]
The CADE-23 Automated Theorem Proving System Competition - CASC-23Geoff Sutcliffe. aicom, 25(1):49-63, 2012. [doi]
The CADE-14 ATP System CompetitionChristian B. Suttner, Geoff Sutcliffe. JAR, 21(1):99-134, 1998.
Making Belnap's "Useful 4-Valued Logic" UsefulGeoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen. flairs 2018: 116-121 [doi]
Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, ProceedingsGeoff Sutcliffe, Andrei Voronkov, editors, Volume 3835 of Lecture Notes in Computer Science, Springer, 2005.
LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018Gilles Barthe, Konstantin Korovin, Stephan Schulz 0001, Martin Suda 0001, Geoff Sutcliffe, Margus Veanes, editors, Volume 9 of Kalpa Publications in Computing, EasyChair, 2018. [doi]
Evaluation of Systems for Higher-order Logic (ESHOL)Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe. cade 2008: [doi]
Semantic Derivation Verification: Techniques and ImplementationGeoff Sutcliffe. ijait, 15(6):1053-1070, 2006. [doi]
Who finds the short proof?Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe. igpl, 32(3):442-464, 2024. [doi]
Integration of the TPTPWorld into SigmaKEESteven Trac, Geoff Sutcliffe, Adam Pease. cade 2008: [doi]
Proving Harder Theorems by Axiom ReductionGeoff Sutcliffe, Alexander Dvorský. flairs 2003: 108-113
Improving probability selection based weights for satisfiability problemsHuimin Fu 0002, Jun Liu 0001, Guanfeng Wu, Yang Xu 0001, Geoff Sutcliffe. kbs, 245:108572, 2022. [doi]
Using the TPTP Language for Writing Derivations and Finite InterpretationsGeoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder. cade 2006: 67-81 [doi]
The 6th IJCAR ATP System Competition, CASC-J6, June 28, 2012, Manchester, UKGeoff Sutcliffe, editor, Volume 11 of EPiC Series, EasyChair, 2012. [doi]
Semantic Derivation VerificationGeoff Sutcliffe, Diego Belfiore. flairs 2005: 641-646
The Results - of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):271-286, 1997.
An Intelligent Document Understanding & Reproduction SystemMichael Sharpe, Nizam Ahmed, Geoff Sutcliffe. mva 1994: 267-271 [doi]
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, editors, Volume 1 of Kalpa Publications in Computing, EasyChair, 2017. [doi]
The CADE ATP System Competition - CASCGeoff Sutcliffe. aim, 37(2):99-101, 2016. [doi]
JGXYZ: An ATP System for Gap and Glut LogicsGeoff Sutcliffe, Francis Jeffry Pelletier. cade 2019: 526-537 [doi]
Introducing StarExec: a Cross-Community Infrastructure for Logic SolvingAaron Stump, Geoff Sutcliffe, Cesare Tinelli. cade 2012: 2 [doi]
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, ProceedingsAndré Platzer, Geoff Sutcliffe, editors, Volume 12699 of Lecture Notes in Computer Science, Springer, 2021. [doi]
Proof Verification with GDV and LambdaPi - It's a Matter of TrustGeoff Sutcliffe, Frédéric Blanqui, Guillaume Burel. flairs 2025: [doi]
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem ProvingMichael Schneider, Geoff Sutcliffe. cade 2011: 461-475 [doi]
The CADE-19 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. cade 2003: 295-296 [doi]
Automatic Generation of Benchmark Problems for Automated Theorem Proving SystemsSimon Colton, Geoff Sutcliffe. isaim 2004: [doi]
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USADavid Wilson, Geoff Sutcliffe, editors, AAAI Press, 2007.
Linear-Input Subset AnalysisGeoff Sutcliffe. cade 1992: 268-280
Hoping for the Truth - A Survey of the TPTP LogicsGeoff Sutcliffe, Francis Jeffry Pelletier. flairs 2016: 110-115 [doi]
Empirically Successful Automated Reasoning: Applications IssueBernd Fischer, Geoff Sutcliffe, Stephan Schulz. JAR, 37(1-2):1, 2006. [doi]
A General Clause Theorem ProverGeoff Sutcliffe. cade 1990: 675-676
Combining Proofs to form Different ProofsGeoff Sutcliffe, Cynthia Chang, Deborah L. McGuinness, Timothy Lebo, Li Ding 0001, Paulo Pinheiro da Silva. pxtp 2011: 60-73 [doi]
TH1: The TPTP Typed Higher-Order Form with Rank-1 PolymorphismCezary Kaliszyk, Geoff Sutcliffe, Florian Rabe. cade 2016: 41-55 [doi]
Automatic Generation of Benchmark Problems for Automated Theorem Proving SystemsSimon Colton, Geoff Sutcliffe. amai 2002: [doi]
The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0Geoff Sutcliffe. JAR, 59(4):483-502, 2017. [doi]
The Design of the CADE-13 ATP System CompetitionChristian B. Suttner, Geoff Sutcliffe. cade 1996: 146-160
The TPTP Problem LibraryGeoff Sutcliffe, Christian B. Suttner, Theodor Yemenis. cade 1994: 252-266
Prolog-D-Linda v2: A New Embedding of Linda in SICStus PrologGeoff Sutcliffe. ICLP 1993:
Larry Wos: Visions of Automated ReasoningMichael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe. JAR, 66(4):439-461, 2022. [doi]
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic GuidanceJosef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil. cade 2008: 441-456 [doi]
The 3rd IJCAR Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 20(2):117-126, 2007. [doi]
6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020Grégoire Danoy, Jun Pang 0001, Geoff Sutcliffe, editors, Volume 72 of EPiC Series in Computing, EasyChair, 2020. [doi]
Large theory reasoning with SUMO at CASCAdam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac. aicom, 23(2-3):137-144, 2010. [doi]
Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov, editors, Volume 36 of EPiC Series in Computing, EasyChair, 2015. [doi]
Homogeneous Sets of ATP ProblemsMatthias Fuchs, Geoff Sutcliffe. flairs 2002: 57-61
StarExec: A Cross-Community Infrastructure for Logic SolvingAaron Stump, Geoff Sutcliffe, Cesare Tinelli. cade 2014: 367-373 [doi]
Combining JSON-LD with First Order LogicTanel Tammet, Geoff Sutcliffe. semco 2021: 256-261 [doi]
Cutting Down the TPTP Language (And Others)Nahku Saidy, Hanna Siegfried, Stephan Schulz 0001, Geoff Sutcliffe. IJCAI 2020: 134-147 [doi]
Progress in the Development of Automated Theorem Proving for Higher-Order LogicGeoff Sutcliffe, Christoph BenzmÃ¼ller, Chad E. Brown, Frank Theiss. cade 2009: 116-130 [doi]
The CADE-21 automated theorem proving system competitionGeoff Sutcliffe. aicom, 21(1):71-81, 2008. [doi]
The 7th IJCAR automated theorem proving system competition - CASC-J7Geoff Sutcliffe. aicom, 28(4):683-692, 2015. [doi]
Multiple Answer Extraction for Question Answering with Automated Theorem Proving SystemsGeoff Sutcliffe, Aparna Yerikalapudi, Steven Trac. flairs 2009:
Sporcle Goes AICameron Carpenter, Geoff Sutcliffe. flairs 2011: [doi]
Evaluation of Axiom Selection TechniquesQinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe. cade 2020: 63-75 [doi]
Automated Theorem Proving using the TPTP Process Instruction LanguageMuhammad Nassar, Geoff Sutcliffe. cade 2015: 67-75 [doi]
PrefaceStephan Schulz, Geoff Sutcliffe, Tanel Tammet. ijait, 15(1):1-2, 2006. [doi]
PTTP+GLiDeS: Guiding Linear Deductions with SemanticsMarianne Brown, Geoff Sutcliffe. ausai 1999: 244-254
The SZS Ontologies for Automated Reasoning SoftwareGeoff Sutcliffe. lpar 2008: [doi]
The CADE-22 automated theorem proving system competition - CASC-22Geoff Sutcliffe. aicom, 23(1):47-59, 2010. [doi]
ATP and Presentation Service for Mizar FormalizationsJosef Urban, Piotr Rudnicki, Geoff Sutcliffe. JAR, 50(2):229-241, 2013. [doi]
The Annual SUMO Reasoning Prizes at CASCAdam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac. cade 2008: [doi]
The logic languages of the TPTP worldGeoff Sutcliffe. igpl, 31(6):1153-1169, November 2023. [doi]
The Design of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):139-162, 1997.
Cutting Down the TPTP Language (And Others)Nahku Saidy, Hanna Siegfried, Stephan Schulz 0001, Geoff Sutcliffe. cade 2020: 134-147 [doi]
Parallel Linear & UR-DeductionGeoff Sutcliffe. Dagstuhl 1992: 365
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller, editors, Volume 13 of EPiC Series, EasyChair, 2013. [doi]
Modeling in OWL 2 without RestrictionsMichael Schneider, Sebastian Rudolph, Geoff Sutcliffe. owled 2013: [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Geoff Sutcliffe's Profile

Unidentified Publications