Edit Profile (opens in new tab) Sutcliffe, Geoff Compute Distance To: Compute Author ID: sutcliffe.geoff Published as: Sutcliffe, Geoff; Sutcliffe, G. Documents Indexed: 52 Publications since 1985 6 Contributions as Editor Co-Authors: 35 Co-Authors with 41 Joint Publications 886 Co-Co-Authors all top 5 Co-Authors 17 single-authored 9 Suttner, Christian B. 8 Schulz, Stephan 8 Urban, Josef 4 Pelletier, Francis Jeffry 3 Benzmüller, Christoph Ewald 2 Brown, Chad Edward 2 Claessen, Koen 2 Fischer, Bernd 2 Pease, Adam 2 Pudlák, Pavel 2 Puzis, Yury 2 Rabe, Florian 2 Trac, Steven 2 Van Gelder, Allen 1 Barthe, Gilles 1 Baumgartner, Peter 1 Beeson, Michael J. 1 Bonacina, Maria Paola 1 Brown, Marianne S. 1 Desharnais, Martin 1 Gauthier, Thibault 1 Höfner, Peter 1 Kaliszyk, Cezary 1 Kinyon, Michael K. 1 Platzer, André 1 Rudnicki, Piotr 1 Schmidt, Renate A. 1 Shen, Weina 1 Siegel, Nick 1 Struth, Georg 1 Theiss, Frank 1 Veanes, Margus 1 Voronkov, Andrei 1 Vyskočil, Jiří 1 Yemenis, Theodor all top 5 Serials 13 AI Communications 12 Journal of Automated Reasoning 2 Journal of Applied Logic 2 Lecture Notes in Computer Science 1 Artificial Intelligence 1 International Journal of Computer Mathematics 1 Annals of Mathematics and Artificial Intelligence 1 Mathematics in Computer Science 1 Journal of Formalized Reasoning 1 EPiC Series in Computing Fields 58 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 43 Publications have been cited 507 times in 291 Documents Cited by ▼ Year ▼ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0. Zbl 1185.68636Sutcliffe, Geoff 104 2009 The TPTP problem library. CNF release v1. 2. 1. Zbl 0910.68197Sutcliffe, Geoff; Suttner, Christian 60 1998 The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. Zbl 1425.68381Sutcliffe, Geoff 41 2017 ATP and presentation service for Mizar formalizations. Zbl 1260.68380Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff 33 2013 MaLARea SG1 – machine learner for automated reasoning with semantic guidance. Zbl 1165.68434Urban, Josef; Sutcliffe, Geoff; Pudlák, Petr; Vyskočil, Jiří 28 2008 Automated reasoning in higher-order logic using the TPTP THF infrastructure. Zbl 1211.68371Sutcliffe, Geoff; Benzmüller, Christoph 26 2010 The TPTP typed first-order form with arithmetic. Zbl 1352.68217Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter 15 2012 The state of CASC. Zbl 1112.68464Sutcliffe, Geoff; Suttner, Christian 15 2006 The TPTP World – infrastructure for automated reasoning. Zbl 1253.68292Sutcliffe, Geoff 14 2010 The CADE-14 ATP system competition. Zbl 0916.68141Suttner, Christian; Sutcliffe, Geoff 12 1998 Evaluating general purpose automated theorem proving systems. Zbl 0996.68182Sutcliffe, Geoff; Suttner, Christian 12 2001 SRASS – a semantic relevance axiom selection system. Zbl 1213.68575Sutcliffe, Geoff; Puzis, Yury 11 2007 Using the TPTP language for writing derivations and finite interpretations. Zbl 1222.68373Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen 11 2006 The CADE-16 ATP system competition. Zbl 0953.68595Sutcliffe, Geoff 10 2000 The development of CASC. Zbl 1019.68101Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian 10 2002 The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433Sutcliffe, Geoff 9 2019 ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532Urban, Josef; Sutcliffe, Geoff 8 2008 THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff 7 2008 The CADE ATP system competition. Zbl 1126.68580Sutcliffe, Geoff; Suttner, Christian 7 2004 The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367Sutcliffe, Geoff 7 2016 The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220Sutcliffe, Geoff 6 2010 GRUNGE: a grand unified ATP challenge. Zbl 07178973Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef 6 2019 System description: SystemOnTPTP. Zbl 0963.68529Sutcliffe, Geoff 6 2000 Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank 5 2009 Extending the TPTP language to higher-order logic with automated parser generation. Zbl 1222.68375Van Gelder, Allen; Sutcliffe, Geoff 5 2006 Automated reasoning and presentation support for formalizing mathematics in MizAR. Zbl 1286.68403Urban, Josef; Sutcliffe, Geoff 4 2010 Automated verification of refinement laws. Zbl 1184.68463Höfner, Peter; Struth, Georg; Sutcliffe, Geoff 4 2009 The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220Sutcliffe, Geoff 4 2018 An interactive derivation viewer. Zbl 1278.68282Trac, Steven; Puzis, Yury; Sutcliffe, Geoff 4 2007 The CADE-21 automated theorem proving system competition. Zbl 1147.68699Sutcliffe, Geoff 4 2008 Detecting inconsistencies in large first-order knowledge bases. Zbl 1494.68262Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam 3 2017 The IJCAR ATP system competition. Zbl 1003.68718Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J. 3 2002 Large theory reasoning with SUMO at CASC. Zbl 1344.68229Pease, Adam; Sutcliffe, Geoff; Siegel, Nick; Trac, Steven 2 2010 The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287Sutcliffe, Geoff 2 2021 Solving the $100 modal logic challenge. Zbl 1161.03302Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina 1 2009 The TPTP problem library. Zbl 1433.68569Sutcliffe, Geoff; Suttner, Christian; Yemenis, Theodor 1 1994 Proof generation for saturating first-order theorem provers. Zbl 1431.68124Schulz, Stephan; Sutcliffe, Geoff 1 2015 The 7th IJCAR automated theorem proving system competition – CASC-J7. Zbl 1373.68366Sutcliffe, Geoff 1 2015 The CADE-25 automated theorem proving system competition – CASC-25. Zbl 1373.68368Sutcliffe, Geoff; Urban, Josef 1 2016 An erratum for some errata to ATP problems. Zbl 0868.68099Pelletier, Francis Jeffry; Sutcliffe, Geoff 1 1997 System description: GrAnDe 1.0. Zbl 1072.68590Schulz, Stephan; Sutcliffe, Geoff 1 2002 The CADE-26 automated theorem proving system competition – CASC-26. Zbl 1462.68219Sutcliffe, Geoff 1 2017 ATP cross-verification of the Mizar MPTP challenge problems. Zbl 1137.68576Urban, Josef; Sutcliffe, Geoff 1 2007 The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287Sutcliffe, Geoff 2 2021 The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433Sutcliffe, Geoff 9 2019 GRUNGE: a grand unified ATP challenge. Zbl 07178973Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef 6 2019 The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220Sutcliffe, Geoff 4 2018 The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. Zbl 1425.68381Sutcliffe, Geoff 41 2017 Detecting inconsistencies in large first-order knowledge bases. Zbl 1494.68262Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam 3 2017 The CADE-26 automated theorem proving system competition – CASC-26. Zbl 1462.68219Sutcliffe, Geoff 1 2017 The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367Sutcliffe, Geoff 7 2016 The CADE-25 automated theorem proving system competition – CASC-25. Zbl 1373.68368Sutcliffe, Geoff; Urban, Josef 1 2016 Proof generation for saturating first-order theorem provers. Zbl 1431.68124Schulz, Stephan; Sutcliffe, Geoff 1 2015 The 7th IJCAR automated theorem proving system competition – CASC-J7. Zbl 1373.68366Sutcliffe, Geoff 1 2015 ATP and presentation service for Mizar formalizations. Zbl 1260.68380Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff 33 2013 The TPTP typed first-order form with arithmetic. Zbl 1352.68217Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter 15 2012 Automated reasoning in higher-order logic using the TPTP THF infrastructure. Zbl 1211.68371Sutcliffe, Geoff; Benzmüller, Christoph 26 2010 The TPTP World – infrastructure for automated reasoning. Zbl 1253.68292Sutcliffe, Geoff 14 2010 The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220Sutcliffe, Geoff 6 2010 Automated reasoning and presentation support for formalizing mathematics in MizAR. Zbl 1286.68403Urban, Josef; Sutcliffe, Geoff 4 2010 Large theory reasoning with SUMO at CASC. Zbl 1344.68229Pease, Adam; Sutcliffe, Geoff; Siegel, Nick; Trac, Steven 2 2010 The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0. Zbl 1185.68636Sutcliffe, Geoff 104 2009 Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank 5 2009 Automated verification of refinement laws. Zbl 1184.68463Höfner, Peter; Struth, Georg; Sutcliffe, Geoff 4 2009 Solving the $100 modal logic challenge. Zbl 1161.03302Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina 1 2009 MaLARea SG1 – machine learner for automated reasoning with semantic guidance. Zbl 1165.68434Urban, Josef; Sutcliffe, Geoff; Pudlák, Petr; Vyskočil, Jiří 28 2008 ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532Urban, Josef; Sutcliffe, Geoff 8 2008 THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff 7 2008 The CADE-21 automated theorem proving system competition. Zbl 1147.68699Sutcliffe, Geoff 4 2008 SRASS – a semantic relevance axiom selection system. Zbl 1213.68575Sutcliffe, Geoff; Puzis, Yury 11 2007 An interactive derivation viewer. Zbl 1278.68282Trac, Steven; Puzis, Yury; Sutcliffe, Geoff 4 2007 ATP cross-verification of the Mizar MPTP challenge problems. Zbl 1137.68576Urban, Josef; Sutcliffe, Geoff 1 2007 The state of CASC. Zbl 1112.68464Sutcliffe, Geoff; Suttner, Christian 15 2006 Using the TPTP language for writing derivations and finite interpretations. Zbl 1222.68373Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen 11 2006 Extending the TPTP language to higher-order logic with automated parser generation. Zbl 1222.68375Van Gelder, Allen; Sutcliffe, Geoff 5 2006 The CADE ATP system competition. Zbl 1126.68580Sutcliffe, Geoff; Suttner, Christian 7 2004 The development of CASC. Zbl 1019.68101Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian 10 2002 The IJCAR ATP system competition. Zbl 1003.68718Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J. 3 2002 System description: GrAnDe 1.0. Zbl 1072.68590Schulz, Stephan; Sutcliffe, Geoff 1 2002 Evaluating general purpose automated theorem proving systems. Zbl 0996.68182Sutcliffe, Geoff; Suttner, Christian 12 2001 The CADE-16 ATP system competition. Zbl 0953.68595Sutcliffe, Geoff 10 2000 System description: SystemOnTPTP. Zbl 0963.68529Sutcliffe, Geoff 6 2000 The TPTP problem library. CNF release v1. 2. 1. Zbl 0910.68197Sutcliffe, Geoff; Suttner, Christian 60 1998 The CADE-14 ATP system competition. Zbl 0916.68141Suttner, Christian; Sutcliffe, Geoff 12 1998 An erratum for some errata to ATP problems. Zbl 0868.68099Pelletier, Francis Jeffry; Sutcliffe, Geoff 1 1997 The TPTP problem library. Zbl 1433.68569Sutcliffe, Geoff; Suttner, Christian; Yemenis, Theodor 1 1994 all cited Publications top 5 cited Publications all top 5 Cited by 370 Authors 34 Urban, Josef 20 Kaliszyk, Cezary 18 Benzmüller, Christoph Ewald 16 Blanchette, Jasmin Christian 15 Sutcliffe, Geoff 11 Reger, Giles 11 Voronkov, Andrei 10 Brown, Chad Edward 9 Grabowski, Adam 9 Paulson, Lawrence Charles 9 Tourret, Sophie 9 Vukmirović, Petar 8 Bentkamp, Alexander 8 Weidenbach, Christoph 7 Baumgartner, Peter 7 Suda, Martin 6 Böhme, Sascha 6 Jakubův, Jan 6 Korovin, Konstantin 6 Tinelli, Cesare 5 Barrett, Clark W. 5 Kovács, Laura Ildikó 5 Kühlwein, Daniel 5 Naumowicz, Adam 5 Otten, Jens 5 Rabe, Florian 5 Vyskočil, Jiří 5 Winkler, Sarah 4 Claessen, Koen 4 Cruanes, Simon 4 Hetzl, Stefan 4 Janičić, Predrag 4 Korniłowicz, Artur 4 Lillieström, Ann 4 Nummelin, Visa 4 Pąk, Karol 4 Reis, Giselle 4 Schulz, Stephan 4 Steen, Alexander 4 Waldmann, Uwe 3 Alama, Jesse 3 Bancerek, Grzegorz 3 Bhayat, Ahmed 3 Chvalovský, Karel 3 Dang, Han-Hing 3 de Nivelle, Hans 3 Delahaye, David 3 Duarte, André 3 Ebner, Gabriel 3 Färber, Michael 3 Fontaine, Pascal 3 Gauthier, Thibault 3 Heskes, Tom M. 3 Hoder, Kryštof 3 Höfner, Peter 3 Meng, Jia 3 Möller, Bernhard 3 Narboux, Julien 3 Nipkow, Tobias 3 Olšák, Miroslav 3 Peltier, Nicolas 3 Rawson, Michael 3 Reynolds, Andrew 3 Stump, Aaron 3 Wisniewski, Max 3 Woltzenlogel Paleo, Bruno 3 Xu, Yang 3 Zombori, Zsolt 2 Anai, Hirokazu 2 Arai, Noriko H. 2 Autexier, Serge 2 Backes, Julian 2 Barbosa, Haniel 2 Bezem, Marc 2 Bibel, Wolfgang 2 Bonacina, Maria Paola 2 Burel, Guillaume 2 Bury, Guillaume 2 Byliński, Czesław 2 Coghetto, Roland 2 Cristiá, Maximiliano 2 de Moura, Leonardo 2 Défourneaux, Gilles 2 Fleury, Mathias 2 Fukasaku, Ryoya 2 Furbach, Ulrich 2 Geuvers, Jan Herman 2 Goertzel, Zarathustra Amadeus 2 He, Xingxing 2 Hillenbrand, Thomas 2 Holden, Sean B. 2 Iwane, Hidenao 2 Kobayashi, Munehiro 2 Kohlhase, Michael 2 Kreitz, Christoph 2 Kudo, Jumma 2 Leitsch, Alexander 2 Letz, Reinhold 2 Lifschitz, Vladimir 2 Liu, Jun ...and 270 more Authors all top 5 Cited in 29 Serials 65 Journal of Automated Reasoning 8 Journal of Symbolic Computation 7 Annals of Mathematics and Artificial Intelligence 6 AI Communications 6 Journal of Applied Logic 5 Formalized Mathematics 4 Artificial Intelligence 4 Theory and Practice of Logic Programming 4 Logical Methods in Computer Science 3 MSCS. Mathematical Structures in Computer Science 3 Formal Methods in System Design 3 Mathematics in Computer Science 2 Information Sciences 2 Theoretical Computer Science 2 Information and Computation 2 The Journal of Logic and Algebraic Programming 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of Computer and System Sciences 1 Journal of Philosophical Logic 1 Studia Logica 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 Machine Learning 1 International Journal of Computer Mathematics 1 Journal of Applied Non-Classical Logics 1 Soft Computing 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic all top 5 Cited in 11 Fields 281 Computer science (68-XX) 119 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Geometry (51-XX) 2 Category theory; homological algebra (18-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Citations by Year