Geoff Sutcliffe Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Nizam Ahmed [7]
2Diego Belfiore [40]
3Christoph Benzmüller (Christoph Benzmueller) [66] [68] [80]
4Chad E. Brown [80]
5Marianne Brown [21] [23]
6Cynthia Chang [64]
7Koen Claessen [48]
8Simon Colton [32]
9Li Ding [64]
10Alexander Dvorský [34]
11Bernd Fischer [42] [43]
12David Fraser [9]
13Matthias Fuchs [30]
14Yi Gao [51]
15Allen Van Gelder [48] [50]
16Randy Goebel [52]
17Peter Höfner [75]
18Boris Konev [71]
19Manuel Lamotte-Schubert [77]
20Deborah L. McGuinness [64]
21Gerard de Melo [77]
22Stuart Melville [9]
23Erik T. Mueller [39]
24Adam Pease [56] [63] [65]
25Francis Jeffry Pelletier [11] [16] [27] [29]
26Petr Pudlák [70] [73]
27Yury Puzis [51] [53] [58] [79]
28Florian Rabe [66] [68] [73]
29Nicholas Del Rio [64]
30Alex Roederer [79]
31Piotr Rudnicki [71]
32Renate A. Schmidt [71] [74]
33Stephan Schulz [31] [42] [43] [45] [48] [59] [71] [74]
34Carsten Schürmann [66]
35Darryl Seyfang [20]
36Michael Sharpe [7]
37Weina Shen [73]
38Nick Siegel [63]
39Paulo Pinheiro da Silva [64]
40Georg Struth [75]
41Martin Suda [77]
42Christian B. Suttner [8] [10] [11] [12] [13] [14] [15] [17] [18] [19] [26] [27] [29] [33] [35] [36] [37] [47]
43Tanel Tammet [45]
44Frank Theiss [80]
45Steven Trac [53] [63] [65] [78]
46Josef Urban [55] [59] [61] [70]
47Andrei Voronkov [41]
48Jirí Vyskocil [70]
49David Wilson [60]
50Patrick Wischnewski [77]
51Theodor Yemenis [8]
52Aparna Yerikalapudi [78]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)