dblp.uni-trier.dewww.uni-trier.de

Geoff Sutcliffe Vis

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

*2009
76EEGeoff 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
75EEAlex Roederer, Yury Puzis, Geoff Sutcliffe: Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162
74EEMartin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288
73EEGeoff Sutcliffe: The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Commun. 22(1): 59-72 (2009)
72EERenate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (2009)
71EEFlorian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009)
2008
70 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
69EEJosef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456
68EEGeoff Sutcliffe: CASC-J4 The 4th IJCAR ATP System Competition. IJCAR 2008: 457-458
67EEChristoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
66EEGeoff Sutcliffe: The SZS Ontologies for Automated Reasoning Software. LPAR Workshops 2008
65EEChristoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
64EESteven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008
63EEPaulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah L. McGuinness: Presenting TSTP Proofs with Inference Web Tools. PAAR/ESHOL 2008
62EEAdam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008
61EEGeoff Sutcliffe: The CADE-21 automated theorem proving system competition. AI Commun. 21(1): 71-81 (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
58EEGeoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310
57EEGeoff Sutcliffe: TPTP, TSTP, CASC, etc. CSR 2007: 6-22
56EEAdam Pease, Geoff Sutcliffe: First Order Reasoning on a Large Ontology. ESARLT 2007
55EEJosef Urban, Geoff Sutcliffe: ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560
54EEGeoff Sutcliffe: The 3rd IJCAR Automated Theorem Proving Competition. AI Commun. 20(2): 117-126 (2007)
53EESteven 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
50EEAllen Van Gelder, Geoff Sutcliffe: Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. IJCAR 2006: 156-161
49EEGeoff Sutcliffe: CASC-J3 - The 3rd IJCAR ATP System Competition. IJCAR 2006: 572-573
48EEGeoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81
47EEGeoff Sutcliffe, Christian B. Suttner: The state of CASC. AI Commun. 19(1): 35-48 (2006)
46EEGeoff Sutcliffe: The CADE-20 Automated Theorem Proving Competition. AI Commun. 19(2): 173-181 (2006)
45EEStephan Schulz, Geoff Sutcliffe, Tanel Tammet: Preface. International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006)
44EEGeoff Sutcliffe: Semantic Derivation Verification: Techniques and Implementation. International Journal on Artificial Intelligence Tools 15(6): 1053-1070 (2006)
43EEBernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
42EEBernd 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
38EEGeoff Sutcliffe: The IJCAR-2004 Automated Theorem Proving Competition. AI Commun. 18(1): 33-40 (2005)
2004
37EEGeoff Sutcliffe, Christian B. Suttner: The CADE ATP System Competition. IJCAR 2004: 490-491
36EEGeoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. AI Commun. 17(3): 103-110 (2004)
2003
35EEGeoff 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
33EEGeoff Sutcliffe, Christian B. Suttner: The CADE-18 ATP System Competition. J. Autom. Reasoning 31(1): 23-32 (2003)
2002
32EESimon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AMAI 2002
31EEStephan 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
29EEFrancis 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
26EEGeoff 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
24EEGeoff Sutcliffe: System Description: SystemOn TPTP. CADE 2000: 406-410
23EEMarianne 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
21EEMarianne 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
10EEChristian B. Suttner, Geoff Sutcliffe: The Design of the CADE-13 ATP System Competition. CADE 1996: 146-160
9EEStuart Melville, Geoff Sutcliffe, David Fraser: Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. PRICAI 1996: 423-434
1994
8EEGeoff Sutcliffe, Christian B. Suttner, Theodor Yemenis: The TPTP Problem Library. CADE 1994: 252-266
7EEMichael Sharpe, Nizam Ahmed, Geoff Sutcliffe: An Intelligent Document Understanding & Reproduction System. MVA 1994: 267-271
1993
6EEGeoff Sutcliffe: A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. LPAR 1993: 321-332
1992
5EEGeoff Sutcliffe: Linear-Input Subset Analysis. CADE 1992: 268-280
4EEGeoff 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
2EEGeoff 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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)