Geoff Sutcliffe

Citée par

	Toutes	Depuis 2019
Citations	5762	1622
indice h	37	19
indice i10	102	37

340

170

255

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 10 53 81 68 71 86 95 79 97 74 140 144 155 213 199 286 211 272 273 231 335 249 301 262 327 220 287 262 295 228

Accès public

Tout afficher

13 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Stephan SchulzProfessor of Computer Science, DHBW StuttgartAdresse e-mail validée de eprover.org
Josef UrbanDistinguished Researcher at Czech Technical University in PragueAdresse e-mail validée de cvut.cz
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergAdresse e-mail validée de fu-berlin.de
Francis Jeffry PelletierUniversity of AlbertaAdresse e-mail validée de ualberta.ca
Yury PuzisCOO at Charmtech LabsAdresse e-mail validée de cs.sunysb.edu
Adam PeaseNaval Postgraduate SchoolAdresse e-mail validée de articulatesoftware.com
Alexander SteenUniversity of GreifswaldAdresse e-mail validée de uni-greifswald.de
Aaron StumpProfessor of Computer Science, The University of IowaAdresse e-mail validée de uiowa.edu
Florian RabeUniversity Erlangen-NurembergAdresse e-mail validée de fau.de
Cesare TinelliProfessor of Computer Science, The University of IowaAdresse e-mail validée de uiowa.edu
Martin SudaCzech Technical University in PragueAdresse e-mail validée de cvut.cz
Andrei VoronkovThe University of Manchester; EasyChairAdresse e-mail validée de cs.man.ac.uk
Simon ColtonProf. Computational Creativity at Queen Mary University of London, UK & Monash University, AustraliaAdresse e-mail validée de qmul.ac.uk
Koen ClaessenChalmers University of TechnologyAdresse e-mail validée de chalmers.se
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive,Web Sciences, Industrial &Systems Engineering,RPIAdresse e-mail validée de cs.rpi.edu
Jiří VyskočilCzech Technical University in PragueAdresse e-mail validée de cvut.cz
Cezary KaliszykUniversity of MelbourneAdresse e-mail validée de unimelb.edu.au
Bernd FischerComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
Peter BaumgartnerData61|CSIROAdresse e-mail validée de data61.csiro.au
Gerard de MeloProfessor at Hasso Plattner Institute / University of PotsdamAdresse e-mail validée de hpi.de

Suivre

Geoff Sutcliffe

Department of Computer Science, University of Miami

Adresse e-mail validée de cs.miami.edu - Page d'accueil

Automated Theorem Proving


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	641	2009
The TPTP problem library G Sutcliffe, C Suttner Journal of Automated Reasoning 21 (2), 177-203, 1998	401	1998
The TPTP problem library G Sutcliffe, C Suttner, T Yemenis International Conference on Automated Deduction, 252-266, 1994	259	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	245	2017
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	239	2014
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	169	2008
The state of CASC G Sutcliffe, C Suttner AI Communications 19 (1), 35-48, 2006	168	2006
Evaluating general purpose automated theorem proving systems G Sutcliffe, C Suttner Artificial intelligence 131 (1-2), 39-54, 2001	152	2001
The cade atp system competition—casc G Sutcliffe AI Magazine 37 (2), 99-101, 2016	134	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	119	2010
The TPTP world–infrastructure for automated reasoning G Sutcliffe International Conference on Logic for Programming Artificial Intelligence …, 2010	103	2010
The development of CASC FJ Pelletier, G Sutcliffe, C Suttner AI Communications 15 (2-3), 79-90, 2002	93	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	92	2012
ATP and presentation service for Mizar formalizations J Urban, P Rudnicki, G Sutcliffe Journal of Automated Reasoning 50 (2), 229-241, 2013	86	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	84	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	82	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	79	2008
SRASS-a semantic relevance axiom selection system G Sutcliffe, Y Puzis International Conference on Automated Deduction, 295-310, 2007	70	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs