Geoff Sutcliffe
Geoff Sutcliffe
Department of Computer Science, University of Miami
Verified email at cs.miami.edu - Homepage
Title
Cited by
Cited by
Year
The TPTP problem library
G Sutcliffe, C Suttner
Journal of Automated Reasoning 21 (2), 177-203, 1998
577*1998
The TPTP problem library
G Sutcliffe, C Suttner
Journal of Automated Reasoning 21 (2), 177-203, 1998
577*1998
The TPTP problem library
G Sutcliffe, C Suttner
Journal of Automated Reasoning 21 (2), 177-203, 1998
577*1998
The TPTP problem library
G Sutcliffe, C Suttner
Journal of Automated Reasoning 21 (2), 177-203, 1998
577*1998
The TPTP problem library and associated infrastructure
G Sutcliffe
Journal of Automated Reasoning 43 (4), 337, 2009
5552009
The TPTP problem library
G Sutcliffe, C Suttner, T Yemenis
International Conference on Automated Deduction, 252-266, 1994
2211994
The state of CASC
G Sutcliffe, C Suttner
AI Communications 19 (1), 35-48, 2006
1562006
StarExec: A cross-community infrastructure for logic solving
A Stump, G Sutcliffe, C Tinelli
International joint conference on automated reasoning, 367-373, 2014
1432014
Evaluating general purpose automated theorem proving systems
G Sutcliffe, C Suttner
Artificial intelligence 131 (1-2), 39-54, 2001
1342001
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
1292008
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
1012010
The TPTP problem library and associated infrastructure: from CNF to TH0, TPTP v6. 4.0
G Sutcliffe
Journal of Automated Reasoning, 1-20, 2017
962017
The development of CASC
FJ Pelletier, G Sutcliffe, C Suttner
AI Communications 15 (2, 3), 79-90, 2002
852002
The TPTP world–infrastructure for automated reasoning
G Sutcliffe
International Conference on Logic for Programming Artificial Intelligence …, 2010
822010
Using the TPTP language for writing derivations and finite interpretations
G Sutcliffe, S Schulz, K Claessen, A Van Gelder
International Joint Conference on Automated Reasoning, 67-81, 2006
802006
THF0–the core of the TPTP language for higher-order logic
C Benzmüller, F Rabe, G Sutcliffe
International Joint Conference on Automated Reasoning, 491-506, 2008
732008
The cade atp system competition—casc
G Sutcliffe
AI Magazine 37 (2), 99-101, 2016
682016
TSTP data-exchange formats for automated theorem proving tools
W Zhang, V Sorge
Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems …, 2004
672004
ATP and presentation service for Mizar formalizations
J Urban, P Rudnicki, G Sutcliffe
Journal of Automated Reasoning 50 (2), 229-241, 2013
662013
The TPTP typed first-order form with arithmetic
G Sutcliffe, S Schulz, K Claessen, P Baumgartner
International Conference on Logic for Programming Artificial Intelligence …, 2012
662012
The system can't perform the operation now. Try again later.
Articles 1–20