EasyChair Publications
Search
Author Information
Author:Geoff Sutcliffe

Publications

AuthorsTitleVolumePDF
Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo PinheiroDifferent Proofs are Good ProofsAaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors). EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions (EPiC Series in Computing, Volume 6)
Jens Otten and Geoff SutcliffeUsing the TPTP Language for Representing Derivations in Tableau and Connection CalculiRenate A. Schmidt, Stephan Schulz and Boris Konev (editors). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 9)
Geoff SutcliffeProceedings of the 6th IJCAR ATP System Competition (CASC-J6)Geoff Sutcliffe (editor). CASC-J6. The 6th IJCAR ATP System Competition (EPiC Series in Computing, Volume 11)
Negin Arhami and Geoff SutcliffeThe Efficiency of Automated Theorem Proving by Translation to Less Expressive LogicsStephan Schulz, Leonardo De Moura and Boris Konev (editors). PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 31)
Muhammad Nassar and Geoff SutcliffeAutomated Theorem Proving using the TPTP Process Instruction LanguageStephan Schulz, Leonardo De Moura and Boris Konev (editors). PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 31)
Negin Arhami and Geoff SutcliffeAutomated Theorem Proving by Translation to Description LogicAnsgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations (EPiC Series in Computing, Volume 35)
Geoff SutcliffeThings You Can't do With a VampireLaura Kovács and Andrei Voronkov (editors). Proceedings of the 1st and 2nd Vampire Workshops (EPiC Series in Computing, Volume 38)
Geoff Sutcliffe and Stephan SchulzThe Thousands of Models for Theorem Provers (TMTP) Model Library - First StepsBoris Konev, Stephan Schulz and Laurent Simon (editors). IWIL-2015. 11th International Workshop on the Implementation of Logics (EPiC Series in Computing, Volume 40)
Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors)IWIL 2010. The 8th International Workshop on the Implementation of LogicsEPiC Series, Volume 2
Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors)EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for SolutionsEPiC Series, Volume 6
Geoff Sutcliffe (editor)CASC-J6. The 6th IJCAR ATP System CompetitionEPiC Series, Volume 11
Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors)LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.EPiC Series, Volume 13
Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors)LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and ReasoningEPiC Series, Volume 26
Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors)LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short PresentationsEPiC Series, Volume 35
Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors)GCAI 2015. Global Conference on Artificial IntelligenceEPiC Series, Volume 36
Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors)GCAI 2016. 2nd Global Conference on Artificial IntelligenceEPiC Series, Volume 41

Keyphrases

CountKeyphrase
3tptp
2automated theorem proving, theorem proving
1automated theorem proving process, connection calculus, description logics, difference, epr, first order logic, interpretation, logics, model, proof, quality, tableau calculus, tptp language, tptp process instruction language, translation, vampire