Seuraa
Geoff Sutcliffe
Geoff Sutcliffe
Department of Computer Science, University of Miami
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.miami.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
6142009
The TPTP problem library
G Sutcliffe, C Suttner
Journal of Automated Reasoning 21 (2), 177-203, 1998
3831998
The TPTP problem library
G Sutcliffe, C Suttner, T Yemenis
International Conference on Automated Deduction, 252-266, 1994
2541994
StarExec: A cross-community infrastructure for logic solving
A Stump, G Sutcliffe, C Tinelli
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014
2032014
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
1932017
The state of CASC
G Sutcliffe, C Suttner
AI Communications 19 (1), 35-48, 2006
1662006
MaLARea SG1--Machine learner for automated reasoning with semantic guidance
J Urban, G Sutcliffe, P Pudlák, J Vyskocil
Lecture Notes in Computer Science 5195, 441-456, 2008
1572008
Evaluating general purpose automated theorem proving systems
G Sutcliffe, C Suttner
Artificial intelligence 131 (1-2), 39-54, 2001
1442001
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
1102010
The cade atp system competition—casc
G Sutcliffe
AI Magazine 37 (2), 99-101, 2016
1062016
The TPTP world–infrastructure for automated reasoning
G Sutcliffe
Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010
942010
The development of CASC
FJ Pelletier, G Sutcliffe, C Suttner
AI Communications 15 (2-3), 79-90, 2002
892002
ATP and presentation service for Mizar formalizations
J Urban, P Rudnicki, G Sutcliffe
Journal of automated reasoning 50 (2), 229-241, 2013
822013
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
822012
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
812004
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
742008
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
732006
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, ...
Journal of acquired immune deficiency syndromes (1999) 63 (0 1), S72, 2013
662013
SRASS - A Semantic Relevance Axiom Selection System
G Sutcliffe, Y Puzis
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007
662007
The CADE-16 ATP system competition
G Sutcliffe
Journal of Automated Reasoning 24, 371-396, 2000
642000
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20