Geoff Sutcliffe

Geoff Sutcliffe: The 6th IJCAR automated theorem proving system competition - CASC-J6. AI Commun. 26(2): 211-223 (2013)

Josef Urban, Piotr Rudnicki, Geoff Sutcliffe: ATP and Presentation Service for Mizar Formalizations. J. Autom. Reasoning 50(2): 229-241 (2013)

Geoff Sutcliffe: The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Commun. 25(1): 49-63 (2012)

Aaron Stump, Geoff Sutcliffe, Cesare Tinelli: Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. COMPARE 2012: 2

Cameron Carpenter, Leticia Osterberg, Geoff Sutcliffe: SAMHT - Suicidal Avatars for Mental Health Training. FLAIRS Conference 2012

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner: The TPTP Typed First-Order Form with Arithmetic. LPAR 2012: 406-419

Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (Eds.): Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR Workshop Proceedings 873, CEUR-WS.org 2012

Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe: Modeling in OWL 2 without Restrictions. CoRR abs/1212.2902 (2012)

Geoff Sutcliffe: The 5th IJCAR automated theorem proving system competition - CASC-J5. AI Commun. 24(1): 75-89 (2011)

Michael Schneider, Geoff Sutcliffe: Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. CADE 2011: 461-475

Cameron Carpenter, Geoff Sutcliffe: Sporcle Goes AI. FLAIRS Conference 2011

Michael Schneider, Geoff Sutcliffe: Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving. CoRR abs/1108.0155 (2011)

Josef Urban, Piotr Rudnicki, Geoff Sutcliffe: ATP and Presentation Service for Mizar Formalizations. CoRR abs/1109.0616 (2011)

Geoff Sutcliffe: The CADE-22 automated theorem proving system competition - CASC-22. AI Commun. 23(1): 47-59 (2010)

Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: Large theory reasoning with SUMO at CASC. AI Commun. 23(2-3): 137-144 (2010)

Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. AISC/MKM/Calculemus 2010: 132-146

Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo: Progress Towards Effective Automated Reasoning with World Knowledge. FLAIRS Conference 2010

Geoff Sutcliffe: The TPTP World - Infrastructure for Automated Reasoning. LPAR (Dakar) 2010: 1-12

Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. CoRR abs/1005.4592 (2010)

Geoff Sutcliffe: The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Commun. 22(1): 59-72 (2009)

Peter Höfner, Georg Struth, Geoff Sutcliffe: Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009)

Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (2009)

Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009)

Geoff Sutcliffe: The TPTP Problem Library and Associated Infrastructure. J. Autom. Reasoning 43(4): 337-362 (2009)

Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss: Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE 2009: 116-130

Alex Roederer, Yury Puzis, Geoff Sutcliffe: Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162

Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac: Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS Conference 2009

Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288

Geoff Sutcliffe: The CADE-21 automated theorem proving system competition. AI Commun. 21(1): 71-81 (2008)

Josef Urban, Geoff Sutcliffe: ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. Mathematics in Computer Science 2(2): 231-251 (2008)

Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456

Geoff Sutcliffe: CASC-J4 The 4th IJCAR ATP System Competition. IJCAR 2008: 457-458

Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506

Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008

Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008

Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness: Presenting TSTP Proofs with Inference Web Tools. PAAR/ESHOL 2008

Steven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008

Geoff Sutcliffe: The SZS Ontologies for Automated Reasoning Software. LPAR Workshops 2008

Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): 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. CEUR Workshop Proceedings 418, CEUR-WS.org 2008

Geoff Sutcliffe: The 3rd IJCAR Automated Theorem Proving Competition. AI Commun. 20(2): 117-126 (2007)

Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007)

Adam Pease, Geoff Sutcliffe: First Order Reasoning on a Large Ontology. ESARLT 2007

Geoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310

Geoff Sutcliffe: TPTP, TSTP, CASC, etc. CSR 2007: 6-22

Josef Urban, Geoff Sutcliffe: ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560

Geoff Sutcliffe, Josef Urban, Stephan Schulz (Eds.): Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR Workshop Proceedings 257, CEUR-WS.org 2007

David Wilson, Geoff Sutcliffe (Eds.): Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA. AAAI Press 2007, isbn 978-1-57735-319-5

Geoff Sutcliffe, Christian B. Suttner: The state of CASC. AI Commun. 19(1): 35-48 (2006)

Geoff Sutcliffe: The CADE-20 Automated Theorem Proving Competition. AI Commun. 19(2): 173-181 (2006)

Geoff Sutcliffe: Report on the Nineteenth International FLAIRS Conference. AI Magazine 27(4): 111-112 (2006)

Stephan Schulz, Geoff Sutcliffe, Tanel Tammet: Preface. International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006)

Geoff Sutcliffe: Semantic Derivation Verification: Techniques and Implementation. International Journal on Artificial Intelligence Tools 15(6): 1053-1070 (2006)

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81

Allen Van Gelder, Geoff Sutcliffe: Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. IJCAR 2006: 156-161

Geoff Sutcliffe: CASC-J3 - The 3rd IJCAR ATP System Competition. IJCAR 2006: 572-573

Yury Puzis, Yi Gao, Geoff Sutcliffe: Automated Generation of Interesting Theorems. FLAIRS Conference 2006: 49-54

Geoff Sutcliffe, Randy Goebel (Eds.): Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006. AAAI Press 2006

Geoff Sutcliffe: The IJCAR-2004 Automated Theorem Proving Competition. AI Commun. 18(1): 33-40 (2005)

Geoff Sutcliffe, Diego Belfiore: Semantic Derivation Verification. FLAIRS Conference 2005: 641-646

Erik T. Mueller, Geoff Sutcliffe: Reasoning in the Event Calculus Using First-Order Automated Theorem Proving. FLAIRS Conference 2005: 840-841

Geoff Sutcliffe, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings. Lecture Notes in Computer Science 3835, Springer 2005, isbn 3-540-30553-X

Geoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. AI Commun. 17(3): 103-110 (2004)

Geoff Sutcliffe, Christian B. Suttner: The CADE ATP System Competition. IJCAR 2004: 490-491

Geoff Sutcliffe, Christian B. Suttner: The CADE-18 ATP System Competition. J. Autom. Reasoning 31(1): 23-32 (2003)

Geoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. CADE 2003: 295-296

Geoff Sutcliffe, Alexander Dvorský: Proving Harder Theorems by Axiom Reduction. FLAIRS Conference 2003: 108-113

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner: The development of CASC. AI Commun. 15(2-3): 79-90 (2002)

Geoff Sutcliffe: Automated Theorem Proving: A Review. AI Magazine 23(1): 121-122 (2002)

Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier: The IJCAR ATP System Competition. J. Autom. Reasoning 28(3): 307-320 (2002)

Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AMAI 2002

Stephan Schulz, Geoff Sutcliffe: System Description: GrAnDe 1.0. CADE 2002: 280-284

Matthias Fuchs, Geoff Sutcliffe: Homogeneous Sets of ATP Problems. FLAIRS Conference 2002: 57-61

Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. ISAIM 2002

Geoff Sutcliffe, Christian B. Suttner: Evaluating general purpose automated theorem proving systems. Artif. Intell. 131(1-2): 39-54 (2001)

Geoff Sutcliffe: The CADE-17 ATP System Competition. J. Autom. Reasoning 27(3): 227-250 (2001)

Geoff Sutcliffe: The CADE-16 ATP System Competition. J. Autom. Reasoning 24(3): 371-396 (2000)

Geoff Sutcliffe: System Description: SystemOn TPTP. CADE 2000: 406-410

Marianne Brown, Geoff Sutcliffe: System Description: PTTP+GLiDes: Semantically Guided PTTP. CADE 2000: 411-416

Geoff Sutcliffe, Christian B. Suttner: The CADE-15 ATP System Competition. J. Autom. Reasoning 23(1): 1-23 (1999)

Marianne Brown, Geoff Sutcliffe: PTTP+GLiDeS: Guiding Linear Deductions with Semantics. Australian Joint Conference on Artificial Intelligence 1999: 244-254

Geoff Sutcliffe, Darryl Seyfang: Smart Selective Competition Parallelism ATP. FLAIRS Conference 1999: 341-345

Christian B. Suttner, Geoff Sutcliffe: The CADE-14 ATP System Competition. J. Autom. Reasoning 21(1): 99-134 (1998)

Geoff Sutcliffe, Christian B. Suttner: The TPTP Problem Library - CNF Release v1.2.1. J. Autom. Reasoning 21(2): 177-203 (1998)

Francis Jeffry Pelletier, Geoff Sutcliffe: An Erratum for Some Errata to ATP Problems. J. Autom. Reasoning 18(1): 135 (1997)

Geoff Sutcliffe, Christian B. Suttner: The CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 137-138 (1997)

Geoff Sutcliffe, Christian B. Suttner: The Design of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 139-162 (1997)

Geoff Sutcliffe, Christian B. Suttner: The Procedures of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 163-169 (1997)

Geoff Sutcliffe, Christian B. Suttner: The Results - of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 271-286 (1997)

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner: Conclusions about the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 287-296 (1997)

Christian B. Suttner, Geoff Sutcliffe: The Design of the CADE-13 ATP System Competition. CADE 1996: 146-160

Stuart Melville, Geoff Sutcliffe, David Fraser: Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. PRICAI 1996: 423-434

Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis: The TPTP Problem Library. CADE 1994: 252-266

Michael Sharpe, Nizam Ahmed, Geoff Sutcliffe: An Intelligent Document Understanding & Reproduction System. MVA 1994: 267-271

Geoff Sutcliffe: A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. LPAR 1993: 321-332

Geoff Sutcliffe: Linear-Input Subset Analysis. CADE 1992: 268-280

Geoff Sutcliffe: The Semantically Guided Linear Deduction System. CADE 1992: 677-680

Geoff Sutcliffe: Compulsory Reduction in Linear Derivation Systems. Artif. Intell. 50(1): 131-132 (1991)

Geoff Sutcliffe: A General Clause Theorem Prover. CADE 1990: 675-676

Geoff Sutcliffe: Parallel Linear & UR-Deduction. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 365