The TPTP problem library and associated infrastructure: The FOF and CNF parts, v3. 5.0 G Sutcliffe Journal of Automated Reasoning 43, 337-362, 2009 | 635 | 2009 |
The TPTP problem library G Sutcliffe, C Suttner Journal of Automated Reasoning 21 (2), 177-203, 1998 | 396 | 1998 |
The TPTP problem library G Sutcliffe, C Suttner, T Yemenis International Conference on Automated Deduction, 252-266, 1994 | 257 | 1994 |
The TPTP problem library and associated infrastructure: from CNF to TH0, TPTP v6. 4.0 G Sutcliffe Journal of Automated Reasoning 59 (4), 483-502, 2017 | 238 | 2017 |
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014 | 234 | 2014 |
The state of CASC G Sutcliffe, C Suttner AI Communications 19 (1), 35-48, 2006 | 167 | 2006 |
MaLARea SG1-machine learner for automated reasoning with semantic guidance J Urban, G Sutcliffe, P Pudlák, J Vyskočil International Joint Conference on Automated Reasoning, 441-456, 2008 | 165 | 2008 |
Evaluating general purpose automated theorem proving systems G Sutcliffe, C Suttner Artificial intelligence 131 (1-2), 39-54, 2001 | 150 | 2001 |
The cade atp system competition—casc G Sutcliffe AI Magazine 37 (2), 99-101, 2016 | 126 | 2016 |
Automated reasoning in higher-order logic using the TPTP THF infrastructure G Sutcliffe, C Benzmüller Journal of Formalized Reasoning 3 (1), 1-27, 2010 | 116 | 2010 |
The TPTP world–infrastructure for automated reasoning G Sutcliffe International Conference on Logic for Programming Artificial Intelligence …, 2010 | 100 | 2010 |
The development of CASC FJ Pelletier, G Sutcliffe, C Suttner AI Communications 15 (2-3), 79-90, 2002 | 91 | 2002 |
The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 88 | 2012 |
ATP and presentation service for Mizar formalizations J Urban, P Rudnicki, G Sutcliffe Journal of Automated Reasoning 50 (2), 229-241, 2013 | 84 | 2013 |
TSTP data-exchange formats for automated theorem proving tools G Sutcliffe, J Zimmer, S Schulz Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems …, 2004 | 83 | 2004 |
Using the TPTP language for writing derivations and finite interpretations G Sutcliffe, S Schulz, K Claessen, A Van Gelder Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 79 | 2006 |
THF0–the core of the TPTP language for higher-order logic C Benzmüller, F Rabe, G Sutcliffe Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 78 | 2008 |
SRASS-a semantic relevance axiom selection system G Sutcliffe, Y Puzis International Conference on Automated Deduction, 295-310, 2007 | 69 | 2007 |
A computational future for preventing HIV in minority communities: how advanced technology can improve implementation of effective programs CH Brown, DC Mohr, CG Gallo, C Mader, L Palinkas, G Wingood, ... JAIDS Journal of Acquired Immune Deficiency Syndromes 63, S72-S84, 2013 | 68 | 2013 |
The CADE-16 ATP system competition G Sutcliffe Journal of Automated Reasoning 24, 371-396, 2000 | 65 | 2000 |