Geoff Sutcliffe
According to our database^{1},
Geoff Sutcliffe
authored at least 114 papers
between 1990 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
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  CASCJ9.
AI Commun., 2018
Making Belnap's "Useful 4Valued Logic" Useful.
Proceedings of the ThirtyFirst International Florida Artificial Intelligence Research Society Conference, 2018
TFX: The TPTP Extended Typed FirstOrder Form.
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning colocated 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 CADE26 automated theorem proving system competition  CASC26.
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 FirstOrder Knowledge Bases.
Proceedings of the Automated Deduction  CADE 26, 2017
2016
The CADE ATP System Competition  CASC.
AI Magazine, 2016
The CADE25 Automated Theorem Proving system competition  CASC25.
AI Commun., 2016
The 8th IJCAR automated theorem proving system competition  CASCJ8.
AI Commun., 2016
Hoping for the Truth  A Survey of the TPTP Logics.
Proceedings of the TwentyNinth International Florida Artificial Intelligence Research Society Conference, 2016
TH1: The TPTP Typed HigherOrder Form with Rank1 Polymorphism.
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning colocated with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016
2015
The 7th IJCAR automated theorem proving system competition  CASCJ7.
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 CADE24 automated theorem proving system competition  CASC24.
AI Commun., 2014
StarExec: A CrossCommunity 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  CASCJ6.
AI Commun., 2013
Modeling in OWL 2 without Restrictions.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) colocated with 10th Extended Semantic Web Conference (ESWC 2013), 2013
2012
The CADE23 Automated Theorem Proving System Competition  CASC23.
AI Commun., 2012
The TPTP Typed FirstOrder Form with Arithmetic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
SAMHT  Suicidal Avatars for Mental Health Training.
Proceedings of the TwentyFifth International Florida Artificial Intelligence Research Society Conference, 2012
Introducing StarExec: a CrossCommunity 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  CASCJ5.
AI Commun., 2011
Sporcle Goes AI.
Proceedings of the TwentyFourth International Florida Artificial Intelligence Research Society Conference, 2011
Reasoning in the OWL 2 Full Ontology Language Using FirstOrder Automated Theorem Proving.
Proceedings of the Automated Deduction  CADE23  23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Automated Reasoning in HigherOrder Logic using the TPTP THF Infrastructure.
J. Formalized Reasoning, 2010
The CADE22 automated theorem proving system competition  CASC22.
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 TwentyThird 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  CASCJ4.
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 TwentySecond International Florida Artificial Intelligence Research Society Conference, 2009
Progress in the Development of Automated Theorem Proving for HigherOrder Logic.
Proceedings of the Automated Deduction, 2009
Divvy: An ATP Metasystem Based on Axiom Relevance Ordering.
Proceedings of the Automated Deduction, 2009
2008
ATPbased CrossVerification of Mizar Proofs: Method, Systems, and First Experiments.
Mathematics in Computer Science, 2008
The CADE21 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
CASCJ4 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 Higherorder Logic (ESHOL).
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008
THF0  The Core of the TPTP Language for HigherOrder 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 CrossVerification 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 CADE21 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 CADE20 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
CASCJ3  The 3rd IJCAR ATP System Competition.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Extending the TPTP Language to HigherOrder Logic with Automated Parser Generation.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
The IJCAR2004 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 FirstOrder 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 CADE18 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 CADE19 ATP System Competition.
Proceedings of the Automated Deduction  CADE19, 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 CADE17 ATP System Competition.
J. Autom. Reasoning, 2001
Evaluating general purpose automated theorem proving systems.
Artif. Intell., 2001
2000
The CADE16 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 CADE15 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 CADE14 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 CADE13 ATP System Competition.
J. Autom. Reasoning, 1997
The Procedures of the CADE13 ATP System Competition.
J. Autom. Reasoning, 1997
The Design of the CADE13 ATP System Competition.
J. Autom. Reasoning, 1997
The CADE13 ATP System Competition.
J. Autom. Reasoning, 1997
Conclusions about the CADE13 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 MeteorBurst Communications Trail Prediction.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996
The Design of the CADE13 ATP System Competition.
Proceedings of the Automated Deduction  CADE13, 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  CADE12, 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
PrologDLinda v2: A New Embedding of Linda in SICStus Prolog.
Proceedings of the ICLP'93 PostConference Workshop on BlackboardBased Logic Programming, 1993
1992
The Semantically Guided Linear Deduction System.
Proceedings of the Automated Deduction, 1992
LinearInput Subset Analysis.
Proceedings of the Automated Deduction, 1992
1991
Compulsory Reduction in Linear Derivation Systems.
Artif. Intell., 1991
1990
Parallel Linear & URDeduction.
Proceedings of the Parallelization in Inference Systems, 1990
A General Clause Theorem Prover.
Proceedings of the 10th International Conference on Automated Deduction, 1990