Geoff Sutcliffe

发表

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

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

The CADE-23 Automated Theorem Proving System Competition - CASC-23

Geoff Sutcliffe, 2012, AI Commun..

The Design of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, 2004, Journal of Automated Reasoning.

Parallel Linear & UR-Deduction

Geoff Sutcliffe, 1990, Dagstuhl Seminar on Parallelization in Inference Systems.

PTTP+GLiDeS: Guiding Linear Deductions with Semantics

Geoff Sutcliffe, Marianne Brown, 1999, Australian Joint Conference on Artificial Intelligence.

Evaluating general purpose automated theorem proving systems

Geoff Sutcliffe, Christian B. Suttner, 2001, Artif. Intell..

Proving Harder Theorems by Axiom Reduction

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

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

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

The 4th IJCAR ATP System Competition

Geoff Sutcliffe, 2008 .

Empirically Successful Automated Reasoning: Applications Issue

Geoff Sutcliffe, Bernd Fischer, Stephan Schulz, 2006, Journal of Automated Reasoning.

An Intelligent Document Understanding & Reproduction System

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

External Sources of Axioms in Automated Theorem Proving

Gerard de Melo, Geoff Sutcliffe, Martin Suda, 2009, KI.

The Design of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, 1996, CADE.

Automated Theorem Proving by Translation to Description Logic

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

Introducing StarExec: a Cross-Community Infrastructure for Logic Solving

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

Automated Generation of Interesting Theorems

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

Empirically successful computerized reasoning

Geoff Sutcliffe, Renate A. Schmidt, Stephan Schulz, 2009, J. Appl. Log..

ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments

Josef Urban, Geoff Sutcliffe, 2008, Math. Comput. Sci..

Report on the Nineteenth International FLAIRS Conference

Geoff Sutcliffe, 2006, AI Mag..

An Erratum for Some Errata to Automated Theorem Proving Problems

Geoff Sutcliffe, Francis Jeffry Pelletier, 1995 .

Presenting TSTP Proofs with Inference Web Tools

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

The CADE-20 Automated Theorem Proving Competition

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

CASC-J3 - The 3rd IJCAR ATP System Competition

Geoff Sutcliffe, G. Sutcliffe, 2006, IJCAR.

Integration of the TPTPWorld into SigmaKEE

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

Automated Theorem Proving: A Review

Geoff Sutcliffe, 2002, AI Mag..

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA

Geoff Sutcliffe, David K. Wilson, 2007, FLAIRS Conference.

Sporcle Goes AI

Geoff Sutcliffe, Cameron Carpenter, 2011, FLAIRS Conference.

Conclusions about the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier, 2004, Journal of Automated Reasoning.

Smart Selective Competition Parallelism ATP

Geoff Sutcliffe, Darryl Seyfang, 1999, FLAIRS Conference.

The easychair Class File Documentation and Guide, for Authors and Editors

Geoff Sutcliffe, Andrei Voronkov, Serguei A. Mokhov, 2010 .

The TPTP Problem Library and Associated Infrastructure

Geoff Sutcliffe, 2017, Journal of Automated Reasoning.

ATP Cross-Verification of the Mizar MPTP Challenge Problems

Josef Urban, Geoff Sutcliffe, 2007, LPAR.

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance

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

ATP and Presentation Service for Mizar Formalizations

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

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

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

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

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

TFX: The TPTP Extended Typed First-Order Form

Geoff Sutcliffe, Evgenii Kotelnikov, 2018, PAAR@FLoC.

6th International Workshop on the Implementation of Logics

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

Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Geoff Sutcliffe, Andrei Voronkov, 2005, LPAR.

Divvy: An ATP Meta-system Based on Axiom Relevance Ordering

Geoff Sutcliffe, Alex Roederer, Yury Puzis, 2009, CADE.

A Comparison of Methods used to Represent Graphs on a Computer

Geoff Sutcliffe, 1985 .

Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems

Geoff Sutcliffe, Steven Trac, Aparna Yerikalapudi, 2009, FLAIRS Conference.

Making Belnap's "Useful 4-Valued Logic" Useful

Allen P. Hazen, Geoff Sutcliffe, Francis Jeffry Pelletier, 2018, FLAIRS Conference.

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.

The 3rd IJCAR Automated Theorem Proving Competition

Geoff Sutcliffe, 2007, AI Commun..

Implementation of an Intelligent Document Understanding and Reproduction System

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

The TPTP Typed First-Order Form with Arithmetic

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

The Annual SUMO Reasoning Prizes at CASC

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

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

Geoff Sutcliffe, Christoph Benzmüller, 2009 .

Automated reasoning and presentation support for formalizing mathematics in Mizar pdf

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

First Order Reasoning on a Large Ontology

Geoff Sutcliffe, Adam Pease, 2007, ESARLT.

Automated Theorem Proving using the TPTP Process Instruction Language

Geoff Sutcliffe, Muhammad Nassar, 2014, PAAR@IJCAR.

The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4

Geoff Sutcliffe, 2009, AI Commun..

ATP System Results for the TPTP Problem Library

Geoff Sutcliffe, Christian B. Suttner, 1995 .

Linear-Input Subset Analysis

Geoff Sutcliffe, 1992, CADE.

LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, 2015 .

The CADE-25 Automated Theorem Proving system competition - CASC-25

Josef Urban, Geoff Sutcliffe, 2016, AI Commun..

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

Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, 2008, LPAR Workshops.

The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps

Geoff Sutcliffe, Stephan Schulz, 2015, IWIL@LPAR.

Detecting Inconsistencies in Large First-Order Knowledge Bases

Josef Urban, Geoff Sutcliffe, Adam Pease, 2017, CADE.

The state of CASC

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

Proceedings of the 6th IJCAR ATP System Competition (CASC-J6)

Geoff Sutcliffe, 2012 .

Large theory reasoning with SUMO at CASC

Geoff Sutcliffe, Adam Pease, Steven Trac, 2010, AI Commun..

Using the TPTP Language for Writing Derivations and Finite Interpretations

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

LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings

Geoff Sutcliffe, Andrei Voronkov, Aart Middeldorp, 2014, LPAR.

The TPTP World - Infrastructure for Automated Reasoning

Geoff Sutcliffe, G. Sutcliffe, 2010, LPAR.

PROLOG-LINDA : AN EMBEDDING OF LINDA IN muPROLOG

Geoff Sutcliffe, James Pinakis, 2006 .

TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism

Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe, 2016, PAAR@IJCAR.

TPTP, TSTP, CASC, etc

Geoff Sutcliffe, G. Sutcliffe, 2007, CSR.

TOOLympics 2019: An Overview of Competitions in Formal Methods

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

Automated verification of refinement laws

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

The CADE-19 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, 2004, AI Commun..

An Erratum for Some Errata to ATP Problems

Geoff Sutcliffe, Francis Jeffry Pelletier, 2004, Journal of Automated Reasoning.

A Linear Deduction System with Integrated Semantic Guidance

Geoff Sutcliffe, G. Sutcliffe, 1992 .

Things You Can't do With a Vampire

Geoff Sutcliffe, 2015, Vampire Workshop.

The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9

Geoff Sutcliffe, 2018, AI Commun..

The IJCAR ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier, 2004, Journal of Automated Reasoning.

Compulsory Reduction in Linear Derivation Systems

Geoff Sutcliffe, 1991, Artif. Intell..

Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems

Simon Colton, Geoff Sutcliffe, 2002, ISAIM.

The 7th IJCAR automated theorem proving system competition - CASC-J7

Geoff Sutcliffe, 2015, AI Commun..

The IJCAR-2004 Automated Theorem Proving Competition

Geoff Sutcliffe, 2005, AI Commun..

The CADE-22 automated theorem proving system competition - CASC-22

Geoff Sutcliffe, 2010, AI Commun..

Different Proofs are Good Proofs

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

The Semantically Guided Linear Deduction System

Geoff Sutcliffe, 1992, CADE.

A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems

Geoff Sutcliffe, 1993, LPAR.

Evaluation of Systems for Higher-order Logic (ESHOL)

Geoff Sutcliffe, Christoph Benzmüller, Florian Rabe, 2008, PAAR/ESHOL.

Modeling in OWL 2 without Restrictions pdf

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

Machine Learning for Automated Reasoning

Geoff Sutcliffe, G. Sutcliffe, 2008 .

The development of CASC

Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier, 2002, AI Commun..

The CADE ATP System Competition - CASC

Geoff Sutcliffe, 2016, AI Mag..

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.

The CADE-26 automated theorem proving system competition - CASC-26

Geoff Sutcliffe, 2017, AI Commun..

The 8th IJCAR automated theorem proving system competition - CASC-J8

Geoff Sutcliffe, 2016, AI Commun..

Integrated software for mechanical CAE

Geoff Sutcliffe, 1987 .

The CADE-15 ATP System Competition

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

System Description: SystemOn TPTP

Geoff Sutcliffe, 2000, CADE.

Homogeneous Sets of ATP Problems

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

The CADE-24 automated theorem proving system competition - CASC-24

Geoff Sutcliffe, 2014, AI Commun..

An Interactive Derivation Viewer

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

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

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

Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction

Geoff Sutcliffe, David Fraser, Stuart Melville, 1996, PRICAI.

Reasoning in the Event Calculus Using First-Order Automated Theorem Proving

Erik T. Mueller, Geoff Sutcliffe, 2005, FLAIRS Conference.

System Description: PTTP+GLiDes: Semantically Guided PTTP

Geoff Sutcliffe, Marianne Brown, 2000, CADE.

User Interfaces for Portable Proofs

Deborah L. McGuinness, Li Ding, Geoff Sutcliffe, 2008 .

The CADE-14 ATP System Competition

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

The TPTP Process Instruction Language, with Applications: Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers

Geoff Sutcliffe, 2014 .

System Description: GrAnDe 1.0

Geoff Sutcliffe, Stephan Schulz, 2002, CADE.

The CADE-13 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, 2004, Journal of Automated Reasoning.

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

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

Florida AI Research Society

Geoff Sutcliffe, David C. Wilson, Avelino Gonzalez, 2011, FLAIRS Conference.

Semantic Derivation Verification: Techniques and Implementation

Geoff Sutcliffe, 2006, Int. J. Artif. Intell. Tools.

A General Clause Theorem Prover

Geoff Sutcliffe, 1990, CADE.

Hoping for the Truth - A Survey of the TPTP Logics

Geoff Sutcliffe, Francis Jeffry Pelletier, 2016, FLAIRS Conference.

The Results - of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, 2004, Journal of Automated Reasoning.

Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010

Christian G. Fermüller, Geoff Sutcliffe, Andrei Voronkov, 2013, LPAR short papers.

SAMHT - Suicidal Avatars for Mental Health Training

Geoff Sutcliffe, Cameron Carpenter, Leticia Osterberg, 2012, FLAIRS Conference.

The TPTP Problem Library and Associated Infrastructure

Geoff Sutcliffe, 2009, Journal of Automated Reasoning.

The 6th IJCAR automated theorem proving system competition - CASC-J6

Geoff Sutcliffe, 2013, AI Commun..

SRASS - A Semantic Relevance Axiom Selection System

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

Of metal and modelling

Geoff Sutcliffe, 1992 .

GRUNGE: A Grand Unified ATP Challenge

Thibault Gauthier, Cezary Kaliszyk, Josef Urban, 2019, CADE.

The SZS Ontologies for Automated Reasoning Software

Geoff Sutcliffe, 2008, LPAR Workshops.

Solving the $100 modal logic challenge

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

Empirically Successful Automated Reasoning: Systems Issue

Geoff Sutcliffe, Bernd Fischer, Stephan Schulz, 2006, Journal of Automated Reasoning.

The Procedures of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner, 2004, Journal of Automated Reasoning.

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

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

Semantic Derivation Verification

Geoff Sutcliffe, Diego Belfiore, 2005, FLAIRS Conference.

The 5th IJCAR automated theorem proving system competition - CASC-J5

Geoff Sutcliffe, 2011, AI Commun..

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007

Josef Urban, Geoff Sutcliffe, Stephan Schulz, 2007, ESARLT.

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

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

CASC-J4 The 4th IJCAR ATP System Competition

Geoff Sutcliffe, 2008, IJCAR.

Automated Reasoning for the Dialetheic Logic RM3

Allen P. Hazen, Geoff Sutcliffe, Francis Jeffry Pelletier, 2017, FLAIRS Conference.

The CADE-21 automated theorem proving system competition

Geoff Sutcliffe, 2008, AI Commun..

The CADE ATP System Competition

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

Progress Towards Effective Automated Reasoning with World Knowledge

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

The 10th IJCAR automated theorem proving system competition - CASC-J10

Geoff Sutcliffe, 2021, AI Commun..

Combining JSON-LD with First Order Logic

Geoff Sutcliffe, Tanel Tammet, 2021, 2021 IEEE 15th International Conference on Semantic Computing (ICSC).

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

Geoff Sutcliffe, 2003 .

Communication Formalisms for Automated Theorem Proving Tools

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

Comparative Empirical Evaluation of Reasoning Systems

Bernhard Beckert, Vladimir Klebanov, Armin Biere, 2012 .

Using the TPTP Language for Representing Derivations in Tableau andConnection Calculi

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

THF 0 – The Core TPTP Language for Classical Higher-Order Logic

Geoff Sutcliffe, Christoph Benzmüller, Florian Rabe, 2007 .

Proof Generation for Saturating First-Order Theorem Provers

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

Progress in Automated Theorem Proving , 1997 – 1999

Geoff Sutcliffe, 2000 .

A Grand Challenge of Theorem Discovery

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

Combining Mizar and TPTP Semantic Presentation Tools

Josef Urban, Geoff Sutcliffe, Yury Puzis, 2007 .

A Heterogeneous Parallel Deduction System Page 1 A Heterogeneous Parallel Deduction System

Geoff Sutcliffe, Edith Cowan, 1992 .

Progress in Automated Theorem Proving , 1997 – 2001

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

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

Geoff Sutcliffe, 2002 .

TSTP Data-Exchange Formats for Automated Theorem Proving Tools

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