Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Geoff Sutcliffe
2010 – today
- 2013
[j41]Geoff Sutcliffe: The 6th IJCAR automated theorem proving system competition - CASC-J6. AI Commun. 26(2): 211-223 (2013)- [j40]Josef Urban, Piotr Rudnicki, Geoff Sutcliffe: ATP and Presentation Service for Mizar Formalizations. J. Autom. Reasoning 50(2): 229-241 (2013)
- 2012
- [j39]Geoff Sutcliffe: The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Commun. 25(1): 49-63 (2012)
- [c50]Aaron Stump, Geoff Sutcliffe, Cesare Tinelli: Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. COMPARE 2012: 2
- [c49]Cameron Carpenter, Leticia Osterberg, Geoff Sutcliffe: SAMHT - Suicidal Avatars for Mental Health Training. FLAIRS Conference 2012
- [c48]Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner: The TPTP Typed First-Order Form with Arithmetic. LPAR 2012: 406-419
- [e6]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
- [i4]Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe: Modeling in OWL 2 without Restrictions. CoRR abs/1212.2902 (2012)
- 2011
- [j38]Geoff Sutcliffe: The 5th IJCAR automated theorem proving system competition - CASC-J5. AI Commun. 24(1): 75-89 (2011)
- [c47]Michael Schneider, Geoff Sutcliffe: Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. CADE 2011: 461-475
- [c46]
- [i3]Michael Schneider, Geoff Sutcliffe: Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving. CoRR abs/1108.0155 (2011)
- [i2]Josef Urban, Piotr Rudnicki, Geoff Sutcliffe: ATP and Presentation Service for Mizar Formalizations. CoRR abs/1109.0616 (2011)
- 2010
- [j37]Geoff Sutcliffe: The CADE-22 automated theorem proving system competition - CASC-22. AI Commun. 23(1): 47-59 (2010)
- [j36]Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: Large theory reasoning with SUMO at CASC. AI Commun. 23(2-3): 137-144 (2010)
- [c45]Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. AISC/MKM/Calculemus 2010: 132-146
- [c44]Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo: Progress Towards Effective Automated Reasoning with World Knowledge. FLAIRS Conference 2010
- [c43]
- [i1]Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. CoRR abs/1005.4592 (2010)
2000 – 2009
- 2009
- [j35]Geoff Sutcliffe: The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Commun. 22(1): 59-72 (2009)
- [j34]Peter Höfner, Georg Struth, Geoff Sutcliffe: Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009)
- [j33]Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (2009)
- [j32]Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009)
- [j31]Geoff Sutcliffe: The TPTP Problem Library and Associated Infrastructure. J. Autom. Reasoning 43(4): 337-362 (2009)
- [c42]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
- [c41]Alex Roederer, Yury Puzis, Geoff Sutcliffe: Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162
- [c40]Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac: Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS Conference 2009
- [c39]Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288
- 2008
- [j30]Geoff Sutcliffe: The CADE-21 automated theorem proving system competition. AI Commun. 21(1): 71-81 (2008)
- [j29]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)
- [c38]Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456
- [c37]
- [c36]Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
- [c35]Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
- [c34]Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008
- [c33]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
- [c32]Steven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008
- [c31]
- [e5]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
- 2007
- [j28]Geoff Sutcliffe: The 3rd IJCAR Automated Theorem Proving Competition. AI Commun. 20(2): 117-126 (2007)
- [j27]Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007)
- [c30]
- [c29]Geoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310
- [c28]
- [c27]Josef Urban, Geoff Sutcliffe: ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560
- [e4]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
- [e3]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
- 2006
- [j26]
- [j25]Geoff Sutcliffe: The CADE-20 Automated Theorem Proving Competition. AI Commun. 19(2): 173-181 (2006)
- [j24]Geoff Sutcliffe: Report on the Nineteenth International FLAIRS Conference. AI Magazine 27(4): 111-112 (2006)
- [j23]Stephan Schulz, Geoff Sutcliffe, Tanel Tammet: Preface. International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006)
- [j22]Geoff Sutcliffe: Semantic Derivation Verification: Techniques and Implementation. International Journal on Artificial Intelligence Tools 15(6): 1053-1070 (2006)
- [j21]Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
- [j20]Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)
- [c26]Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81
- [c25]Allen Van Gelder, Geoff Sutcliffe: Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. IJCAR 2006: 156-161
- [c24]
- [c23]Yury Puzis, Yi Gao, Geoff Sutcliffe: Automated Generation of Interesting Theorems. FLAIRS Conference 2006: 49-54
- [e2]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
- 2005
- [j19]Geoff Sutcliffe: The IJCAR-2004 Automated Theorem Proving Competition. AI Commun. 18(1): 33-40 (2005)
- [c22]
- [c21]Erik T. Mueller, Geoff Sutcliffe: Reasoning in the Event Calculus Using First-Order Automated Theorem Proving. FLAIRS Conference 2005: 840-841
- [e1]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
- 2004
- [j18]Geoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. AI Commun. 17(3): 103-110 (2004)
- [c20]
- 2003
- [j17]Geoff Sutcliffe, Christian B. Suttner: The CADE-18 ATP System Competition. J. Autom. Reasoning 31(1): 23-32 (2003)
- [c19]
- [c18]Geoff Sutcliffe, Alexander Dvorský: Proving Harder Theorems by Axiom Reduction. FLAIRS Conference 2003: 108-113
- 2002
- [j16]Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner: The development of CASC. AI Commun. 15(2-3): 79-90 (2002)
- [j15]
- [j14]Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier: The IJCAR ATP System Competition. J. Autom. Reasoning 28(3): 307-320 (2002)
- [c17]Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AMAI 2002
- [c16]
- [c15]
- [c14]Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. ISAIM 2002
- 2001
- [j13]Geoff Sutcliffe, Christian B. Suttner: Evaluating general purpose automated theorem proving systems. Artif. Intell. 131(1-2): 39-54 (2001)
- [j12]
- 2000
- [j11]
- [c13]
- [c12]Marianne Brown, Geoff Sutcliffe: System Description: PTTP+GLiDes: Semantically Guided PTTP. CADE 2000: 411-416
1990 – 1999
- 1999
- [j10]Geoff Sutcliffe, Christian B. Suttner: The CADE-15 ATP System Competition. J. Autom. Reasoning 23(1): 1-23 (1999)
- [c11]Marianne Brown, Geoff Sutcliffe: PTTP+GLiDeS: Guiding Linear Deductions with Semantics. Australian Joint Conference on Artificial Intelligence 1999: 244-254
- [c10]Geoff Sutcliffe, Darryl Seyfang: Smart Selective Competition Parallelism ATP. FLAIRS Conference 1999: 341-345
- 1998
- [j9]Christian B. Suttner, Geoff Sutcliffe: The CADE-14 ATP System Competition. J. Autom. Reasoning 21(1): 99-134 (1998)
- [j8]Geoff Sutcliffe, Christian B. Suttner: The TPTP Problem Library - CNF Release v1.2.1. J. Autom. Reasoning 21(2): 177-203 (1998)
- 1997
- [j7]Francis Jeffry Pelletier, Geoff Sutcliffe: An Erratum for Some Errata to ATP Problems. J. Autom. Reasoning 18(1): 135 (1997)
- [j6]Geoff Sutcliffe, Christian B. Suttner: The CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 137-138 (1997)
- [j5]Geoff Sutcliffe, Christian B. Suttner: The Design of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 139-162 (1997)
- [j4]Geoff Sutcliffe, Christian B. Suttner: The Procedures of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 163-169 (1997)
- [j3]Geoff Sutcliffe, Christian B. Suttner: The Results - of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 271-286 (1997)
- [j2]Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner: Conclusions about the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 287-296 (1997)
- 1996
- [c9]Christian B. Suttner, Geoff Sutcliffe: The Design of the CADE-13 ATP System Competition. CADE 1996: 146-160
- [c8]Stuart Melville, Geoff Sutcliffe, David Fraser: Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. PRICAI 1996: 423-434
- 1994
- [c7]Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis: The TPTP Problem Library. CADE 1994: 252-266
- [c6]Michael Sharpe, Nizam Ahmed, Geoff Sutcliffe: An Intelligent Document Understanding & Reproduction System. MVA 1994: 267-271
- 1993
- [c5]Geoff Sutcliffe: A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. LPAR 1993: 321-332
- 1992
- [c4]
- [c3]
- 1991
- [j1]Geoff Sutcliffe: Compulsory Reduction in Linear Derivation Systems. Artif. Intell. 50(1): 131-132 (1991)
- 1990
- [c2]
- [c1]Geoff Sutcliffe: Parallel Linear & UR-Deduction. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 365
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team