Geoff Sutcliffe | Academic Influence

Geoff Sutcliffe's AcademicInfluence.com Rankings

Geoff Sutcliffe

Computer Science

#2509

World Rank

#2620

Historical Rank

Automated Reasoning

#4

World Rank

#4

Historical Rank

Programming

#95

World Rank

#99

Historical Rank

Artificial Intelligence

#4074

World Rank

#4132

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Geoff Sutcliffe's Degrees

PhD Computer Science University of Miami
Masters Computer Science University of Miami
Bachelors Computer Science University of Miami

Similar Degrees You Can Earn

Why Is Geoff Sutcliffe Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning. He was born in the former British colony of Northern Rhodesia , grew up in South Africa, and earned his PhD in Australia. Sutcliffe currently works at the University of Miami, and is of both British and Australian nationality.

(See a Problem?)

Geoff Sutcliffe's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The TPTP Problem Library and Associated Infrastructure (2009) (494)
The TPTP Problem Library (1994) (375)
The TPTP Problem Library and Associated Infrastructure (2017) (233)
Introducing StarExec: a Cross-Community Infrastructure for Logic Solving (2014) (194)
The state of CASC (2006) (154)
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance (2008) (139)
Evaluating general purpose automated theorem proving systems (2001) (128)
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure (2010) (117)
The TPTP World - Infrastructure for Automated Reasoning (2010) (81)
Using the TPTP Language for Writing Derivations and Finite Interpretations (2006) (80)
TSTP Data-Exchange Formats for Automated Theorem Proving Tools (2004) (79)
The development of CASC (2002) (76)
The CADE ATP System Competition - CASC (2016) (73)
ATP and Presentation Service for Mizar Formalizations (2011) (67)
The TPTP Typed First-Order Form with Arithmetic (2012) (63)
SRASS - A Semantic Relevance Axiom Selection System (2007) (62)
First Order Reasoning on a Large Ontology (2007) (58)
The SZS Ontologies for Automated Reasoning Software (2008) (54)
Darwin: A Theorem Prover for the Model Evolution Calculus (2004) (54)
THF0 - The Core of the TPTP Language for Higher-Order Logic (2008) (52)
A Computational Future for Preventing HIV in Minority Communities: How Advanced Technology Can Improve Implementation of Effective Programs (2013) (52)
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4 (2009) (50)
An Interactive Derivation Viewer (2007) (47)
The CADE-16 ATP System Competition (2000) (45)
Automated Generation of Interesting Theorems (2006) (42)
Large theory reasoning with SUMO at CASC (2010) (40)
The CADE-23 Automated Theorem Proving System Competition - CASC-23 (2012) (38)
The 5th IJCAR automated theorem proving system competition - CASC-J5 (2011) (38)
Automated reasoning and presentation support for formalizing mathematics in Mizar (2010) (37)
The CADE ATP System Competition (2004) (36)
The 6th IJCAR automated theorem proving system competition - CASC-J6 (2013) (36)
The IJCAR ATP System Competition (2002) (36)
Semantic Derivation Verification (2005) (35)
The CADE-21 automated theorem proving system competition (2008) (34)
TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism (2016) (33)
The CADE-18 ATP System Competition (2003) (33)
The CADE-14 ATP System Competition (1998) (32)
TOOLympics 2019: An Overview of Competitions in Formal Methods (2019) (32)
The CADE-15 ATP System Competition (1999) (31)
The CADE-17 ATP System Competition (2001) (30)
The CADE-13 ATP System Competition (1997) (29)
The CADE-22 automated theorem proving system competition - CASC-22 (2010) (29)
The IJCAR-2004 Automated Theorem Proving Competition (2005) (28)
Smart Selective Competition Parallelism ATP (1999) (28)
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments (2008) (27)
Semantic Derivation Verification: Techniques and Implementation (2006) (27)
The CADE-20 Automated Theorem Proving Competition (2006) (27)
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (2011) (26)
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering (2009) (26)
TPTP, TSTP, CASC, etc (2007) (26)
The 3rd IJCAR Automated Theorem Proving Competition (2007) (25)
The Procedures of the CADE-13 ATP System Competition (1997) (24)
The 8th IJCAR automated theorem proving system competition - CASC-J8 (2016) (24)
Progress in the Development of Automated Theorem Proving for Higher-Order Logic (2009) (24)
System Description: SystemOn TPTP (2000) (23)
The CADE-19 ATP System Competition (2003) (23)
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation (2006) (22)
The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9 (2018) (22)
Automated verification of refinement laws (2009) (21)
The Design of the CADE-13 ATP System Competition (1996) (21)
A heterogeneous parallel deduction system (1992) (21)
External Sources of Axioms in Automated Theorem Proving (2009) (20)
Progress Towards Effective Automated Reasoning with World Knowledge (2010) (19)
Integration of the TPTPWorld into SigmaKEE (2008) (18)
Modeling in OWL 2 without Restrictions (2012) (17)
GRUNGE: A Grand Unified ATP Challenge (2019) (16)
The CADE-27 Automated theorem proving System Competition - CASC-27 (2020) (16)
Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems (2002) (15)
The CADE-24 automated theorem proving system competition - CASC-24 (2014) (15)
The CADE-25 Automated Theorem Proving system competition - CASC-25 (2016) (15)
The Results - of the CADE-13 ATP System Competition (1997) (14)
The 7th IJCAR automated theorem proving system competition - CASC-J7 (2015) (14)
Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog (1993) (14)
The CADE-26 automated theorem proving system competition - CASC-26 (2017) (12)
PROLOG-LINDA : AN EMBEDDING OF LINDA IN muPROLOG (2006) (11)
ATP Cross-Verification of the Mizar MPTP Challenge Problems (2007) (11)
The Design and Implementation of a Compositional Competition-Cooperation Parallel ATP System (2001) (11)
Solving the $100 modal logic challenge (2009) (11)
Linear-Input Subset Analysis (1992) (11)
Presenting TSTP Proofs with Inference Web Tools (2008) (10)
System description : SystemOnTPTP (2000) (10)
The Semantically Guided Linear Deduction System (1992) (10)
Knowledge acquisition for natural resource management (1999) (10)
Communication Formalisms for Automated Theorem Proving Tools (2006) (10)
Detecting Inconsistencies in Large First-Order Knowledge Bases (2017) (10)
Reasoning in the Event Calculus Using First-Order Automated Theorem Proving (2005) (10)
The 4th IJCAR ATP System Competition (2008) (9)
TFX: The TPTP Extended Typed First-Order Form (2018) (9)
Progress in Automated Theorem Proving , 1997 – 1999 (2000) (9)
ATP System Results for the TPTP Problem Library (1995) (9)
Proving Harder Theorems by Axiom Reduction (2003) (9)
Using the TPTP Language for Representing Derivations in Tableau andConnection Calculi (2012) (9)
The Annual SUMO Reasoning Prizes at CASC (2008) (9)
The 10th IJCAR automated theorem proving system competition - CASC-J10 (2021) (8)
6th International Workshop on the Implementation of Logics (2006) (8)
COMBINING MIZAR AND TPTP SEMANTIC PRESENTATION AND VERIFICATION TOOLS (2009) (8)
The practice of clausification in automatic theorem proving (1996) (7)
The TPTP Problem Library, Release v1.2.0 (1995) (7)
A Grand Challenge of Theorem Discovery (2003) (7)
Proceedings of the CADE-23 ATP System Competition CASC-23 (2011) (7)
Prolog-D-Linda: An embedding of Linda in SICStus Prolog (1992) (7)
CASC-J3 - The 3rd IJCAR ATP System Competition (2006) (7)
Practical Proof Checking for Program Certification (2005) (6)
Conclusions about the CADE-13 ATP System Competition (1997) (6)
The CADE-28 Automated Theorem Proving System Competition - CASC-28 (2022) (6)
An Intelligent Document Understanding & Reproduction System (1994) (6)
SAMHT - Suicidal Avatars for Mental Health Training (2012) (6)
Proof Generation for Saturating First-Order Theorem Provers (2014) (6)
Comparative Empirical Evaluation of Reasoning Systems (2012) (6)
Homogeneous Sets of ATP Problems (2002) (6)
Proceedings of the 5th IJCAR ATP System Competition CASC-J5 (2010) (6)
Automated Reasoning for the Dialetheic Logic RM3 (2017) (5)
An Erratum for Some Errata to Automated Theorem Proving Problems (1995) (5)
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 (2007) (5)
Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems (2009) (5)
CASC-J4 The 4th IJCAR ATP System Competition (2006) (5)
THF 0 – The Core TPTP Language for Classical Higher-Order Logic (2007) (5)
System Description: GrAnDe 1.0 (2002) (5)
Improving probability selection based weights for satisfiability problems (2022) (4)
Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (2005) (4)
PTTP+GLiDeS: Guiding Linear Deductions with Semantics (1999) (4)
Empirically Successful Automated Reasoning in Large Theories (2007) (4)
A General Clause Theorem Prover (1990) (4)
The Logic Languages of the TPTP World (2022) (4)
Different Proofs are Good Proofs (2012) (4)
Automated theorem proving: theory and practice a review (2002) (3)
Combining Mizar and TPTP Semantic Presentation Tools (2007) (3)
Hoping for the Truth - A Survey of the TPTP Logics (2016) (3)
Evaluation of Axiom Selection Techniques (2020) (3)
Making Belnap's "Useful 4-Valued Logic" Useful (2018) (3)
Automated Reasoning in Non-classical Logics in the TPTP World (2022) (3)
The T P T P Problem Library (3)
A Linear Deduction System with Integrated Semantic Guidance (1992) (3)
Proceedings of the 6th IJCAR ATP System Competition (CASC-J6) (2012) (3)
FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference: Preface (2006) (2)
Compulsory Reduction in Linear Derivation Systems (1991) (2)
Evaluation of Systems for Higher-order Logic (ESHOL) (2008) (2)
A Parallel Linear & UR-Derivation System 1 Extended Abstract (2)
JGXYZ: An ATP System for Gap and Glut Logics (2019) (2)
A Heterogeneous Parallel Deduction System Page 1 A Heterogeneous Parallel Deduction System (1992) (2)
Empirically successful computerized reasoning (2009) (2)
Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), 3rd International Joint Conference on Automated Reasoning (2006) (2)
Machine Learning for Automated Reasoning (2008) (2)
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps (2016) (2)
The CADE-18 ATP System Competition (CASC-18) (2002) (2)
Preface empirically successful first order reasoning (2006) (2)
Progress in Automated Theorem Proving , 1997 – 2001 (2001) (2)
System Description: PTTP+GLiDes: Semantically Guided PTTP (2000) (2)
Combining Proofs to form Different Proofs (2011) (1)
SPASS-XDB goes Mathematical (2011) (1)
The CADE-19 ATP System Competition (CASC-19) (2003) (1)
Report on the Nineteenth International FLAIRS Conference (2006) (1)
Implementation of an Intelligent Document Understanding and Reproduction System (1994) (1)
CASC : Effective Evaluation having an Effect (2006) (1)
LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations (2015) (1)
Larry Wos: Visions of Automated Reasoning (2022) (1)
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics (2014) (1)
Things You Can't do With a Vampire (2016) (0)
LemmaManagement Techniques for Automated Theorem Proving (2005) (0)
Knowledge Acquisition for Natural Resource Management 1 (2006) (0)
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006 (2006) (0)
The TPTP process instruction language with applications (2014) (0)
Reinforcement Learning in E (2022) (0)
Integrated software for mechanical CAE (1987) (0)
Automated Theorem Proving using the TPTP Process Instruction Language (2014) (0)
Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction (1996) (0)
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA (2007) (0)
A Tool for Introducing Persistent Programming (2007) (0)
Combining JSON-LD with First Order Logic (2021) (0)
A Comparison of Methods used to Represent Graphs on a Computer (1985) (0)
Cutting Down the TPTP Language (And Others) (2020) (0)
Automated Theorem Proving by Translation to Description Logic (2015) (0)
Proceedings of CASC-26 – the CADE-26 ATP System Competition (2017) (0)
Empirically Successful Automated Reasoning: Applications Issue (2006) (0)
Empirically Successful Automated Reasoning: Systems Issue (2006) (0)
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 (2008) (0)
The 3rd IJCAR ATP System Competition (CASC-J3) (2006) (0)
The Expansion, Modernisation, and Future of the TPTP World (2021) (0)
Explicit Normative Reasoning and Machine Ethics (2019) (0)
DESCRIPTION OF MACHINERY FOR THE PRODUCTION AND TRANSMISSION OF MOTION, IN THE LARGE FACTORIES OF EAST LANCASHIRE AND WEST YORKSHIRE. (INCLUDES PLATES). (0)
Formalisms for Automated Theorem Proving Tools (2003) (0)
Preface (2006) (0)
Solving QMLTP Problems by Translation to Higher-order Logic (2022) (0)
Automation of Boolos' Curious Inference in Isabelle/HOL (2022) (0)
Proceedings of the 10 th IJCAR ATP System Competition ( CASC-J 10 ) (2020) (0)
An Erratum for Some Errata to ATP Problems (1997) (0)
A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems (1993) (0)
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers (2022) (0)
The TPTP Problem Library and Associated Infrastructure (2017) (0)
Graphix a graph theory sub language (1985) (0)
The THFTPTP Project --- An Infrastructure for Typed Higher-order Form Automated Theorem Proving Marie Curie International Incoming Fellowship Grant Agreement PIIF-GA-2008-219982 Project Report --- Implications (2009) (0)
Parallel Linear & UR-Deduction (1990) (0)
Automated Theorem Proving: A Review (2002) (0)
8 Th International Workshop User Interfaces for Theorem Provers (uitp'08) Tphols'08 Satellite Workshop List of Contributions an Interactive Driver for Goal Directed Proof Strategies Managing Proof Documents for Asynchronous Processing a Lightweight Theorem Prover Interface for Eclipse Panoptes: an E (2008) (0)
Improving probability selecting based weights for Satisfiability Problem (2020) (0)
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010 (2013) (0)
User Interfaces for Portable Proofs (2008) (0)
The 11th IJCAR automated theorem proving system competition – CASC-J11 (2023) (0)
Sporcle Goes AI (2011) (0)
LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings (2014) (0)
The CADE-22 ATP System Competition (CASC-22) (2009) (0)
The easychair Class File Documentation and Guide, for Authors and Editors (2010) (0)
Management of the TPTP Problem Set (2021) (0)

This paper list is powered by the following services:

Other Resources About Geoff Sutcliffe

en.wikipedia.org

What Schools Are Affiliated With Geoff Sutcliffe?

Geoff Sutcliffe is affiliated with the following schools: