G. Sutcliffe

发表

The TPTP Problem Library, Release v1.2.0

G. Sutcliffe, C. Suttner, 1995 .

The Design and Implementation of a Compositional Competition-Cooperation Parallel ATP System

G. Sutcliffe, 2001 .

Darwin: A Theorem Prover for the Model Evolution Calculus

C. Tinelli, Alexander Fuchs, G. Sutcliffe, 2004 .

Different Proofs are Good Proofs

Deborah L. McGuinness, Li Ding, Geoff Sutcliffe, 2012, EMSQMS@IJCAR.

TSTP Data-Exchange Formats for Automated Theorem Proving Tools

Geoff Sutcliffe, Stephan Schulz, G. Sutcliffe, 2004 .

Communication Formalisms for Automated Theorem Proving Tools

Geoff Sutcliffe, Stephan Schulz, G. Sutcliffe, 2006 .

Proceedings of the CADE-23 ATP System Competition CASC-23

G. Sutcliffe, Uwe Waldmann, Stephan Zimmer, 2011 .

Proceedings of the 10 th IJCAR ATP System Competition ( CASC-J 10 )

G. Sutcliffe, 2020 .

Proceedings of CASC-26 – the CADE-26 ATP System Competition

G. Sutcliffe, 2017 .

Proceedings of the 5th IJCAR ATP System Competition CASC-J5

G. Sutcliffe, 2010 .

Using the TPTP Language for Representing Derivations in Tableau andConnection Calculi

Geoff Sutcliffe, Jens Otten, G. Sutcliffe, 2012 .

Progress in Automated Theorem Proving , 1997 – 2001

Geoff Sutcliffe, Matthias Fuchs, G. Sutcliffe, 2001 .

Proof Generation for Saturating First-Order Theorem Provers

Geoff Sutcliffe, Stephan Schulz, G. Sutcliffe, 2014 .

The CADE-22 ATP System Competition (CASC-22)

G. Sutcliffe, 2009 .

Practical Proof Checking for Program Certification

G. Sutcliffe, B. Fischer, E. Denney, 2005 .

Explicit Normative Reasoning and Machine Ethics

G. Sutcliffe, Christoph Benzmüller, 2019 .

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

Orlin G. Grigorov, D. McGuinness, D. Aspinall, 2008 .

Empirically Successful Automated Reasoning in Large Theories

G. Sutcliffe, S. Schulz, 2007 .

Combining Proofs to form Different Proofs

D. McGuinness, Li Ding, G. Sutcliffe, 2011, PxTP.

A Tool for Introducing Persistent Programming

G. Sutcliffe, L. Nugroho, 2007 .

The Logic Languages of the TPTP World

G. Sutcliffe, 2022, Logic Journal of the IGPL.

Reinforcement Learning in E

G. Sutcliffe, Jack Mckeown, 2022 .

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

G. Sutcliffe, Christoph Benzmüller, D. Fuenmayor, 2022, ArXiv.

FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference: Preface

Randy Goebel, R. Goebel, G. Sutcliffe, 2006 .

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006

Randy Goebel, Geoff Sutcliffe, R. Goebel, 2006, The Florida AI Research Society.

6th International Workshop on the Implementation of Logics

Geoff Sutcliffe, Christoph Benzmüller, Bernd Fischer, 2006 .

A Computational Future for Preventing HIV in Minority Communities: How Advanced Technology Can Improve Implementation of Effective Programs

Geoff Sutcliffe, Mitsunori Ogihara, Sara Czaja, 2013, Journal of acquired immune deficiency syndromes.

Automated reasoning and presentation support for formalizing mathematics in Mizar pdf

Josef Urban, Geoff Sutcliffe, J. Urban, 2010, AISC'10/MKM'10/Calculemus'10.

Comparative Empirical Evaluation of Reasoning Systems

Bernhard Beckert, Vladimir Klebanov, Armin Biere, 2012 .

Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog

Geoff Sutcliffe, G. Sutcliffe, 1993, ICLP Workshop on Blackboard-Based Logic Programming.

Prolog-D-Linda: An embedding of Linda in SICStus Prolog

Geoff Sutcliffe, J. Pinakis, G. Sutcliffe, 1992 .

Machine Learning for Automated Reasoning

Geoff Sutcliffe, G. Sutcliffe, 2008 .

Practical Proof Checking for Program Certification

G. Sutcliffe, B. Fischer, E. Denney, 2005 .

A Linear Deduction System with Integrated Semantic Guidance

Geoff Sutcliffe, G. Sutcliffe, 1992 .

A Grand Challenge of Theorem Discovery

Simon Colton, Geoff Sutcliffe, S. Colton, 2003 .

The TPTP Problem Library

Geoff Sutcliffe, Christian B. Suttner, G. Sutcliffe, 1994, Journal of Automated Reasoning.

Implementation of an Intelligent Document Understanding and Reproduction System

Nizam Ahmed, Geoff Sutcliffe, Michael B. Sharpe, 1994 .

The CADE ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, G. Sutcliffe, 2004, IJCAR.

Graphix a graph theory sub language

Geoffrey Sutcliffe, G. Sutcliffe, 1985 .

CASC-J3 - The 3rd IJCAR ATP System Competition

Geoff Sutcliffe, G. Sutcliffe, 2006, IJCAR.

The CADE-20 Automated Theorem Proving Competition

Geoff Sutcliffe, G. Sutcliffe, 2006, AI Commun..

Knowledge acquisition for natural resource management

D. H. Walker, Geoffrey Sutcliffe, Alison Gunn, 1999 .

The TPTP World - Infrastructure for Automated Reasoning

Geoff Sutcliffe, G. Sutcliffe, 2010, LPAR.

ATP and Presentation Service for Mizar Formalizations

Josef Urban, Piotr Rudnicki, Geoff Sutcliffe, 2011, Journal of Automated Reasoning.

Homogeneous Sets of ATP Problems

Geoff Sutcliffe, Matthias Fuchs, G. Sutcliffe, 2002, FLAIRS.

Automated Reasoning in Non-classical Logics in the TPTP World

G. Sutcliffe, Christoph Benzmüller, D. Fuenmayor, 2022, PAAR@IJCAR.

JGXYZ: An ATP System for Gap and Glut Logics

Geoff Sutcliffe, Francis Jeffry Pelletier, G. Sutcliffe, 2019, CADE.

The TPTP Problem Library

G. Sutcliffe, C. Suttner, Theodor Yemenis, 1994, Journal of Automated Reasoning.

SRASS - A Semantic Relevance Axiom Selection System

Geoff Sutcliffe, Yury Puzis, G. Sutcliffe, 2007, CADE.

TOOLympics 2019: An Overview of Competitions in Formal Methods

Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.

The state of CASC

Geoff Sutcliffe, Christian B. Suttner, G. Sutcliffe, 2006, AI Commun..

The TPTP Typed First-Order Form with Arithmetic

Peter Baumgartner, Koen Claessen, Geoff Sutcliffe, 2012, LPAR.

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance

Josef Urban, Geoff Sutcliffe, Jirí Vyskocil, 2008, IJCAR.

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation

Geoff Sutcliffe, Allen Van Gelder, A. V. Gelder, 2006, IJCAR.

Using the TPTP Language for Writing Derivations and Finite Interpretations

Koen Claessen, Geoff Sutcliffe, Stephan Schulz, 2006, IJCAR.

Solving the $100 modal logic challenge

Geoff Sutcliffe, Florian Rabe, Petr Pudlák, 2009, J. Appl. Log..

Automated Theorem Proving by Translation to Description Logic

Geoff Sutcliffe, Negin Arhami, G. Sutcliffe, 2015, LPAR.

Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

Geoff Sutcliffe, Christoph Benzmüller, G. Sutcliffe, 2010, J. Formaliz. Reason..

THF0 - The Core of the TPTP Language for Higher-Order Logic

Geoff Sutcliffe, Christoph Benzmüller, Florian Rabe, 2008, IJCAR.

Larry Wos: Visions of Automated Reasoning

G. Sutcliffe, M. Beeson, M. Bonacina, 2022, Journal of Automated Reasoning.

Introducing StarExec: a Cross-Community Infrastructure for Logic Solving

Cesare Tinelli, Geoff Sutcliffe, Aaron Stump, 2014, COMPARE.

Automated verification of refinement laws

Georg Struth, Geoff Sutcliffe, Peter Höfner, 2009, Annals of Mathematics and Artificial Intelligence.

Presenting TSTP Proofs with Inference Web Tools

Deborah L. McGuinness, Li Ding, Geoff Sutcliffe, 2008, PAAR/ESHOL.

Integration of the TPTPWorld into SigmaKEE

Geoff Sutcliffe, Adam Pease, Steven Trac, 2008, PAAR/ESHOL.

Formalisms for Automated Theorem Proving Tools

G. Sutcliffe, 2003 .

Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving pdf

Michael Schneider, Geoff Sutcliffe, G. Sutcliffe, 2011, CADE.

Modeling in OWL 2 without Restrictions pdf

Sebastian Rudolph, Michael Schneider, Geoff Sutcliffe, 2012, OWLED.

Reinforcement Learning for Guiding the E Theorem Prover

G. Sutcliffe, Jack McKeown, 2023, FLAIRS.

Progress Towards Effective Automated Reasoning with World Knowledge

Gerard de Melo, Geoff Sutcliffe, Martin Suda, 2010, FLAIRS.

The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics

Geoff Sutcliffe, Negin Arhami, G. Sutcliffe, 2014, PAAR@IJCAR.

Progress in the Development of Automated Theorem Proving for Higher-Order Logic

Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, 2009, CADE.

6th International Workshop on the Implementation of Logics

G. Sutcliffe, Christoph Benzmüller, B. Fischer, 2006 .

An Interactive Derivation Viewer

Geoff Sutcliffe, Yury Puzis, Steven Trac, 2007, UITP@FLoC.

Automated Generation of Interesting Theorems

Yi Gao, Geoff Sutcliffe, Yury Puzis, 2006, FLAIRS.

LemmaManagement Techniques for Automated Theorem Proving

Y. Zhang, G. Sutcliffe, 2005 .

Proving Harder Theorems by Axiom Reduction

Geoff Sutcliffe, Alexander Dvorský, G. Sutcliffe, 2003, FLAIRS.

TPTP, TSTP, CASC, etc

Geoff Sutcliffe, G. Sutcliffe, 2007, CSR.

Semantic Derivation Verification

G. Sutcliffe, Diego Belfiore, 2005, FLAIRS.