 | 2009 |
|---|
| 80 |       | 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 |
| 79 | | Alex Roederer,
Yury Puzis,
Geoff Sutcliffe:
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.
CADE 2009: 157-162 |
| 78 |  | Geoff Sutcliffe,
Aparna Yerikalapudi,
Steven Trac:
Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems.
FLAIRS Conference 2009 |
| 77 | | Martin Suda,
Geoff Sutcliffe,
Patrick Wischnewski,
Manuel Lamotte-Schubert,
Gerard de Melo:
External Sources of Axioms in Automated Theorem Proving.
KI 2009: 281-288 |
| 76 | | Geoff Sutcliffe:
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4.
AI Commun. 22(1): 59-72 (2009) |
| 75 | | Peter Höfner,
Georg Struth,
Geoff Sutcliffe:
Automated verification of refinement laws.
Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009) |
| 74 | | Renate A. Schmidt,
Geoff Sutcliffe,
Stephan Schulz:
Empirically successful computerized reasoning.
J. Applied Logic 7(1): 1 (2009) |
| 73 | | Florian Rabe,
Petr Pudlák,
Geoff Sutcliffe,
Weina Shen:
Solving the $100 modal logic challenge.
J. Applied Logic 7(1): 113-130 (2009) |
| 72 | | Geoff Sutcliffe:
The TPTP Problem Library and Associated Infrastructure.
J. Autom. Reasoning 43(4): 337-362 (2009) |
| 2008 |
|---|
| 71 | | Piotr Rudnicki,
Geoff Sutcliffe,
Boris Konev,
Renate A. Schmidt,
Stephan Schulz:
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-WS.org 2008 |
| 70 | | Josef Urban,
Geoff Sutcliffe,
Petr Pudlák,
Jirí Vyskocil:
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.
IJCAR 2008: 441-456 |
| 69 | | Geoff Sutcliffe:
CASC-J4 The 4th IJCAR ATP System Competition.
IJCAR 2008: 457-458 |
| 68 | | Christoph Benzmüller,
Florian Rabe,
Geoff Sutcliffe:
THF0 - The Core of the TPTP Language for Higher-Order Logic.
IJCAR 2008: 491-506 |
| 67 | | Geoff Sutcliffe:
The SZS Ontologies for Automated Reasoning Software.
LPAR Workshops 2008 |
| 66 | | Christoph Benzmüller,
Florian Rabe,
Carsten Schürmann,
Geoff Sutcliffe:
Evaluation of Systems for Higher-order Logic (ESHOL).
PAAR/ESHOL 2008 |
| 65 | | Steven Trac,
Geoff Sutcliffe,
Adam Pease:
Integration of the TPTPWorld into SigmaKEE.
PAAR/ESHOL 2008 |
| 64 | | 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 |
| 63 | | Adam Pease,
Geoff Sutcliffe,
Nick Siegel,
Steven Trac:
The Annual SUMO Reasoning Prizes at CASC.
PAAR/ESHOL 2008 |
| 62 | | Geoff Sutcliffe:
The CADE-21 automated theorem proving system competition.
AI Commun. 21(1): 71-81 (2008) |
| 61 | | 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) |
| 2007 |
|---|
| 60 | | David Wilson,
Geoff Sutcliffe:
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA.
AAAI Press 2007 |
| 59 | | Geoff Sutcliffe,
Josef Urban,
Stephan Schulz:
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007
CEUR-WS.org 2007 |
| 58 | | Geoff Sutcliffe,
Yury Puzis:
SRASS - A Semantic Relevance Axiom Selection System.
CADE 2007: 295-310 |
| 57 | | Geoff Sutcliffe:
TPTP, TSTP, CASC, etc.
CSR 2007: 6-22 |
| 56 | | Adam Pease,
Geoff Sutcliffe:
First Order Reasoning on a Large Ontology.
ESARLT 2007 |
| 55 | | Josef Urban,
Geoff Sutcliffe:
ATP Cross-Verification of the Mizar MPTP Challenge Problems.
LPAR 2007: 546-560 |
| 54 | | Geoff Sutcliffe:
The 3rd IJCAR Automated Theorem Proving Competition.
AI Commun. 20(2): 117-126 (2007) |
| 53 | | Steven Trac,
Yury Puzis,
Geoff Sutcliffe:
An Interactive Derivation Viewer.
Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007) |
| 2006 |
|---|
| 52 | | Geoff Sutcliffe,
Randy Goebel:
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006
AAAI Press 2006 |
| 51 | | Yury Puzis,
Yi Gao,
Geoff Sutcliffe:
Automated Generation of Interesting Theorems.
FLAIRS Conference 2006: 49-54 |
| 50 | | Allen Van Gelder,
Geoff Sutcliffe:
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.
IJCAR 2006: 156-161 |
| 49 | | Geoff Sutcliffe:
CASC-J3 - The 3rd IJCAR ATP System Competition.
IJCAR 2006: 572-573 |
| 48 | | Geoff Sutcliffe,
Stephan Schulz,
Koen Claessen,
Allen Van Gelder:
Using the TPTP Language for Writing Derivations and Finite Interpretations.
IJCAR 2006: 67-81 |
| 47 | | Geoff Sutcliffe,
Christian B. Suttner:
The state of CASC.
AI Commun. 19(1): 35-48 (2006) |
| 46 | | Geoff Sutcliffe:
The CADE-20 Automated Theorem Proving Competition.
AI Commun. 19(2): 173-181 (2006) |
| 45 | | Stephan Schulz,
Geoff Sutcliffe,
Tanel Tammet:
Preface.
International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006) |
| 44 | | Geoff Sutcliffe:
Semantic Derivation Verification: Techniques and Implementation.
International Journal on Artificial Intelligence Tools 15(6): 1053-1070 (2006) |
| 43 | | Bernd Fischer,
Geoff Sutcliffe,
Stephan Schulz:
Empirically Successful Automated Reasoning: Systems Issue.
J. Autom. Reasoning 36(4): 287 (2006) |
| 42 | | Bernd Fischer,
Geoff Sutcliffe,
Stephan Schulz:
Empirically Successful Automated Reasoning: Applications Issue.
J. Autom. Reasoning 37(1-2): 1 (2006) |
| 2005 |
|---|
| 41 | | Geoff Sutcliffe,
Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Springer 2005 |
| 40 | | Geoff Sutcliffe,
Diego Belfiore:
Semantic Derivation Verification.
FLAIRS Conference 2005: 641-646 |
| 39 | | Erik T. Mueller,
Geoff Sutcliffe:
Reasoning in the Event Calculus Using First-Order Automated Theorem Proving.
FLAIRS Conference 2005: 840-841 |
| 38 | | Geoff Sutcliffe:
The IJCAR-2004 Automated Theorem Proving Competition.
AI Commun. 18(1): 33-40 (2005) |
| 2004 |
|---|
| 37 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE ATP System Competition.
IJCAR 2004: 490-491 |
| 36 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-19 ATP System Competition.
AI Commun. 17(3): 103-110 (2004) |
| 2003 |
|---|
| 35 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-19 ATP System Competition.
CADE 2003: 295-296 |
| 34 | | Geoff Sutcliffe,
Alexander Dvorský:
Proving Harder Theorems by Axiom Reduction.
FLAIRS Conference 2003: 108-113 |
| 33 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-18 ATP System Competition.
J. Autom. Reasoning 31(1): 23-32 (2003) |
| 2002 |
|---|
| 32 | | Simon Colton,
Geoff Sutcliffe:
Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.
AMAI 2002 |
| 31 | | Stephan Schulz,
Geoff Sutcliffe:
System Description: GrAnDe 1.0.
CADE 2002: 280-284 |
| 30 | | Matthias Fuchs,
Geoff Sutcliffe:
Homogeneous Sets of ATP Problems.
FLAIRS Conference 2002: 57-61 |
| 29 | | Francis Jeffry Pelletier,
Geoff Sutcliffe,
Christian B. Suttner:
The development of CASC.
AI Commun. 15(2-3): 79-90 (2002) |
| 28 | | Geoff Sutcliffe:
Automated Theorem Proving: A Review.
AI Magazine 23(1): 121 (2002) |
| 27 | | Geoff Sutcliffe,
Christian B. Suttner,
Francis Jeffry Pelletier:
The IJCAR ATP System Competition.
J. Autom. Reasoning 28(3): 307-320 (2002) |
| 2001 |
|---|
| 26 | | Geoff Sutcliffe,
Christian B. Suttner:
Evaluating general purpose automated theorem proving systems.
Artif. Intell. 131(1-2): 39-54 (2001) |
| 25 | | Geoff Sutcliffe:
The CADE-17 ATP System Competition.
J. Autom. Reasoning 27(3): 227-250 (2001) |
| 2000 |
|---|
| 24 | | Geoff Sutcliffe:
System Description: SystemOn TPTP.
CADE 2000: 406-410 |
| 23 | | Marianne Brown,
Geoff Sutcliffe:
System Description: PTTP+GLiDes: Semantically Guided PTTP.
CADE 2000: 411-416 |
| 22 | | Geoff Sutcliffe:
The CADE-16 ATP System Competition.
J. Autom. Reasoning 24(3): 371-396 (2000) |
| 1999 |
|---|
| 21 | | Marianne Brown,
Geoff Sutcliffe:
PTTP+GLiDeS: Guiding Linear Deductions with Semantics.
Australian Joint Conference on Artificial Intelligence 1999: 244-254 |
| 20 | | Geoff Sutcliffe,
Darryl Seyfang:
Smart Selective Competition Parallelism ATP.
FLAIRS Conference 1999: 341-345 |
| 19 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-15 ATP System Competition.
J. Autom. Reasoning 23(1): 1-23 (1999) |
| 1998 |
|---|
| 18 | | Christian B. Suttner,
Geoff Sutcliffe:
The CADE-14 ATP System Competition.
J. Autom. Reasoning 21(1): 99-134 (1998) |
| 17 | | Geoff Sutcliffe,
Christian B. Suttner:
The TPTP Problem Library - CNF Release v1.2.1.
J. Autom. Reasoning 21(2): 177-203 (1998) |
| 1997 |
|---|
| 16 | | Francis Jeffry Pelletier,
Geoff Sutcliffe:
An Erratum for Some Errata to ATP Problems.
J. Autom. Reasoning 18(1): 135 (1997) |
| 15 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 137-138 (1997) |
| 14 | | Geoff Sutcliffe,
Christian B. Suttner:
The Design of the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 139-162 (1997) |
| 13 | | Geoff Sutcliffe,
Christian B. Suttner:
The Procedures of the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 163-169 (1997) |
| 12 | | Geoff Sutcliffe,
Christian B. Suttner:
The Results - of the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 271-286 (1997) |
| 11 | | 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 |
|---|
| 10 | | Christian B. Suttner,
Geoff Sutcliffe:
The Design of the CADE-13 ATP System Competition.
CADE 1996: 146-160 |
| 9 | | Stuart Melville,
Geoff Sutcliffe,
David Fraser:
Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction.
PRICAI 1996: 423-434 |
| 1994 |
|---|
| 8 | | Geoff Sutcliffe,
Christian B. Suttner,
Theodor Yemenis:
The TPTP Problem Library.
CADE 1994: 252-266 |
| 7 | | Michael Sharpe,
Nizam Ahmed,
Geoff Sutcliffe:
An Intelligent Document Understanding & Reproduction System.
MVA 1994: 267-271 |
| 1993 |
|---|
| 6 | | Geoff Sutcliffe:
A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems.
LPAR 1993: 321-332 |
| 1992 |
|---|
| 5 | | Geoff Sutcliffe:
Linear-Input Subset Analysis.
CADE 1992: 268-280 |
| 4 | | Geoff Sutcliffe:
The Semantically Guided Linear Deduction System.
CADE 1992: 677-680 |
| 1991 |
|---|
| 3 | | Geoff Sutcliffe:
Compulsory Reduction in Linear Derivation Systems.
Artif. Intell. 50(1): 131-132 (1991) |
| 1990 |
|---|
| 2 | | Geoff Sutcliffe:
A General Clause Theorem Prover.
CADE 1990: 675-676 |
| 1 | | Geoff Sutcliffe:
Parallel Linear & UR-Deduction.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 365 |
