Geoff Sutcliffe

According to our database1, Geoff Sutcliffe authored at least 114 papers between 1990 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9.
AI Commun., 2018

Making Belnap's "Useful 4-Valued Logic" Useful.
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

TFX: The TPTP Extended Typed First-Order Form.
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017
The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0.
J. Autom. Reasoning, 2017

The CADE-26 automated theorem proving system competition - CASC-26.
AI Commun., 2017

Automated Reasoning for the Dialetheic Logic RM3.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Detecting Inconsistencies in Large First-Order Knowledge Bases.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
The CADE ATP System Competition - CASC.
AI Magazine, 2016

The CADE-25 Automated Theorem Proving system competition - CASC-25.
AI Commun., 2016

The 8th IJCAR automated theorem proving system competition - CASC-J8.
AI Commun., 2016

Hoping for the Truth - A Survey of the TPTP Logics.
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism.
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015
The 7th IJCAR automated theorem proving system competition - CASC-J7.
AI Commun., 2015

The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps.
Proceedings of the IWIL@LPAR 2015, 2015

Automated Theorem Proving by Translation to Description Logic.
Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Things You Can't do With a Vampire.
Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014
The CADE-24 automated theorem proving system competition - CASC-24.
AI Commun., 2014

StarExec: A Cross-Community Infrastructure for Logic Solving.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Automated Theorem Proving using the TPTP Process Instruction Language.
Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.
Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2013
ATP and Presentation Service for Mizar Formalizations.
J. Autom. Reasoning, 2013

The 6th IJCAR automated theorem proving system competition - CASC-J6.
AI Commun., 2013

Modeling in OWL 2 without Restrictions.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

2012
The CADE-23 Automated Theorem Proving System Competition - CASC-23.
AI Commun., 2012

The TPTP Typed First-Order Form with Arithmetic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

SAMHT - Suicidal Avatars for Mental Health Training.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Introducing StarExec: a Cross-Community Infrastructure for Logic Solving.
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011
The 5th IJCAR automated theorem proving system competition - CASC-J5.
AI Commun., 2011

Sporcle Goes AI.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure.
J. Formalized Reasoning, 2010

The CADE-22 automated theorem proving system competition - CASC-22.
AI Commun., 2010

Large theory reasoning with SUMO at CASC.
AI Commun., 2010

The TPTP World - Infrastructure for Automated Reasoning.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Progress Towards Effective Automated Reasoning with World Knowledge.
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

Different Proofs are Good Proofs.
Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar.
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009
The TPTP Problem Library and Associated Infrastructure.
J. Autom. Reasoning, 2009

Empirically successful computerized reasoning.
J. Applied Logic, 2009

Solving the $100 modal logic challenge.
J. Applied Logic, 2009

Automated verification of refinement laws.
Ann. Math. Artif. Intell., 2009

The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4.
AI Commun., 2009

External Sources of Axioms in Automated Theorem Proving.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Progress in the Development of Automated Theorem Proving for Higher-Order Logic.
Proceedings of the Automated Deduction, 2009

Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.
Proceedings of the Automated Deduction, 2009

2008
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.
Mathematics in Computer Science, 2008

The CADE-21 automated theorem proving system competition.
AI Commun., 2008

The SZS Ontologies for Automated Reasoning Software.
Proceedings of the LPAR 2008 Workshops, 2008

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Integration of the TPTPWorld into SigmaKEE.
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

CASC-J4 The 4th IJCAR ATP System Competition.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Presenting TSTP Proofs with Inference Web Tools.
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

The Annual SUMO Reasoning Prizes at CASC.
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

Evaluation of Systems for Higher-order Logic (ESHOL).
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

THF0 - The Core of the TPTP Language for Higher-Order Logic.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007
An Interactive Derivation Viewer.
Electr. Notes Theor. Comput. Sci., 2007

The 3rd IJCAR Automated Theorem Proving Competition.
AI Commun., 2007

ATP Cross-Verification of the Mizar MPTP Challenge Problems.
Proceedings of the Logic for Programming, 2007

TPTP, TSTP, CASC, etc.
Proceedings of the Computer Science, 2007

SRASS - A Semantic Relevance Axiom Selection System.
Proceedings of the Automated Deduction, 2007

First Order Reasoning on a Large Ontology.
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007

2006
Empirically Successful Automated Reasoning: Applications Issue.
J. Autom. Reasoning, 2006

Empirically Successful Automated Reasoning: Systems Issue.
J. Autom. Reasoning, 2006

Semantic Derivation Verification: Techniques and Implementation.
International Journal on Artificial Intelligence Tools, 2006

Preface.
International Journal on Artificial Intelligence Tools, 2006

Report on the Nineteenth International FLAIRS Conference.
AI Magazine, 2006

The state of CASC.
AI Commun., 2006

The CADE-20 Automated Theorem Proving Competition.
AI Commun., 2006

Automated Generation of Interesting Theorems.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Using the TPTP Language for Writing Derivations and Finite Interpretations.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

CASC-J3 - The 3rd IJCAR ATP System Competition.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
The IJCAR-2004 Automated Theorem Proving Competition.
AI Commun., 2005

Semantic Derivation Verification.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Reasoning in the Event Calculus Using First-Order Automated Theorem Proving.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

2004
The CADE ATP System Competition.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003
The CADE-18 ATP System Competition.
J. Autom. Reasoning, 2003

Proving Harder Theorems by Axiom Reduction.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

The CADE-19 ATP System Competition.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002
The IJCAR ATP System Competition.
J. Autom. Reasoning, 2002

Automated Theorem Proving: A Review.
AI Magazine, 2002

The development of CASC.
AI Commun., 2002

Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

Homogeneous Sets of ATP Problems.
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

System Description: GrAnDe 1.0.
Proceedings of the Automated Deduction, 2002

2001
The CADE-17 ATP System Competition.
J. Autom. Reasoning, 2001

Evaluating general purpose automated theorem proving systems.
Artif. Intell., 2001

2000
The CADE-16 ATP System Competition.
J. Autom. Reasoning, 2000

System Description: SystemOn TPTP.
Proceedings of the Automated Deduction, 2000

System Description: PTTP+GLiDes: Semantically Guided PTTP.
Proceedings of the Automated Deduction, 2000

1999
The CADE-15 ATP System Competition.
J. Autom. Reasoning, 1999

Smart Selective Competition Parallelism ATP.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

PTTP+GLiDeS: Guiding Linear Deductions with Semantics.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998
The CADE-14 ATP System Competition.
J. Autom. Reasoning, 1998

The TPTP Problem Library - CNF Release v1.2.1.
J. Autom. Reasoning, 1998

1997
The Results - of the CADE-13 ATP System Competition.
J. Autom. Reasoning, 1997

The Procedures of the CADE-13 ATP System Competition.
J. Autom. Reasoning, 1997

The Design of the CADE-13 ATP System Competition.
J. Autom. Reasoning, 1997

The CADE-13 ATP System Competition.
J. Autom. Reasoning, 1997

Conclusions about the CADE-13 ATP System Competition.
J. Autom. Reasoning, 1997

An Erratum for Some Errata to ATP Problems.
J. Autom. Reasoning, 1997

1996
Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

The Design of the CADE-13 ATP System Competition.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1994
An Intelligent Document Understanding & Reproduction System.
Proceedings of IAPR Workshop on Machine Vision Applications, 1994

The TPTP Problem Library.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog.
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

1992
The Semantically Guided Linear Deduction System.
Proceedings of the Automated Deduction, 1992

Linear-Input Subset Analysis.
Proceedings of the Automated Deduction, 1992

1991
Compulsory Reduction in Linear Derivation Systems.
Artif. Intell., 1991

1990
Parallel Linear & UR-Deduction.
Proceedings of the Parallelization in Inference Systems, 1990

A General Clause Theorem Prover.
Proceedings of the 10th International Conference on Automated Deduction, 1990


  Loading...