Geoff Sutcliffe

Citado por

	Todos	Desde 2020
Citações	5912	1438
Índice h	37	19
Índice i10	104	33

340

170

255

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 10 54 79 67 69 83 87 91 91 71 137 146 155 238 199 294 210 273 281 233 335 247 301 263 315 237 281 271 292 309 39

Acesso público

Ver todos

14 artigos

1 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Stephan SchulzProfessor of Computer Science, DHBW StuttgartE-mail confirmado em eprover.org
Josef UrbanDistinguished Researcher at Czech Technical University in PragueE-mail confirmado em cvut.cz
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergE-mail confirmado em fu-berlin.de
Francis Jeffry PelletierUniversity of AlbertaE-mail confirmado em ualberta.ca
Yury PuzisCOO at Charmtech LabsE-mail confirmado em cs.sunysb.edu
Adam PeaseNaval Postgraduate SchoolE-mail confirmado em articulatesoftware.com
Alexander SteenUniversity of GreifswaldE-mail confirmado em uni-greifswald.de
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeE-mail confirmado em bc.edu
Florian RabeUniversity Erlangen-NurembergE-mail confirmado em fau.de
Cesare TinelliProfessor of Computer Science, The University of IowaE-mail confirmado em uiowa.edu
Martin SudaCzech Technical University in PragueE-mail confirmado em cvut.cz
Simon ColtonProf. Computational Creativity at Queen Mary University of London, UK & Monash University, AustraliaE-mail confirmado em qmul.ac.uk
Pavel Pudlákresearcher, Institute of Mathematics, CASE-mail confirmado em math.cas.cz
Koen ClaessenChalmers University of TechnologyE-mail confirmado em chalmers.se
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive,Web Sciences, Industrial &Systems Engineering,RPIE-mail confirmado em cs.rpi.edu
Andrei VoronkovThe University of Manchester; EasyChairE-mail confirmado em cs.man.ac.uk
Jiří VyskočilCzech Technical University in PragueE-mail confirmado em cvut.cz
Cezary KaliszykUniversity of MelbourneE-mail confirmado em unimelb.edu.au
John (Jack) McKeownUniversity of MiamiE-mail confirmado em miami.edu
Marianne BrownJames Cook UniversityE-mail confirmado em jcu.edu.au

Seguir

Geoff Sutcliffe

Department of Computer Science, University of Miami

E-mail confirmado em cs.miami.edu - Página inicial

Automated Theorem Proving


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	655	2009
The TPTP problem library G Sutcliffe, C Suttner Journal of Automated Reasoning 21 (2), 177-203, 1998	406	1998
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	268	2017
The TPTP problem library G Sutcliffe, C Suttner, T Yemenis International Conference on Automated Deduction, 252-266, 1994	246	1994
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	244	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	177	2008
The state of CASC G Sutcliffe, C Suttner AI Communications 19 (1), 35-48, 2006	171	2006
Evaluating general purpose automated theorem proving systems G Sutcliffe, C Suttner Artificial intelligence 131 (1-2), 39-54, 2001	159	2001
The cade atp system competition—casc G Sutcliffe AI Magazine 37 (2), 99-101, 2016	137	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	121	2010
The TPTP world–infrastructure for automated reasoning G Sutcliffe International Conference on Logic for Programming Artificial Intelligence …, 2010	106	2010
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
The development of CASC FJ Pelletier, G Sutcliffe, C Suttner AI Communications 15 (2-3), 79-90, 2002	91	2002
ATP and presentation service for Mizar formalizations J Urban, P Rudnicki, G Sutcliffe Journal of Automated Reasoning 50 (2), 229-241, 2013	87	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 International Joint Conference on Automated Reasoning, 491-506, 2008	81	2008
SRASS-a semantic relevance axiom selection system G Sutcliffe, Y Puzis International Conference on Automated Deduction, 295-310, 2007	72	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	71	2013
The CADE-16 ATP system competition G Sutcliffe Journal of Automated Reasoning 24, 371-396, 2000	67	2000

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores