Geoff Sutcliffe

	2012
95		Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner: The TPTP Typed First-Order Form with Arithmetic. LPAR 2012: 406-419
94		Geoff Sutcliffe: The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Commun. 25(1): 49-63 (2012)
	2011
93		Michael Schneider, Geoff Sutcliffe: Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. CADE 2011: 461-475
92		Cameron Carpenter, Geoff Sutcliffe: Sporcle Goes AI. FLAIRS Conference 2011
91		Geoff Sutcliffe: The 5th IJCAR automated theorem proving system competition - CASC-J5. AI Commun. 24(1): 75-89 (2011)
90		Michael Schneider, Geoff Sutcliffe: Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving CoRR abs/1108.0155: (2011)
89		Josef Urban, Piotr Rudnicki, Geoff Sutcliffe: ATP and Presentation Service for Mizar Formalizations CoRR abs/1109.0616: (2011)
	2010
88		Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. AISC/MKM/Calculemus 2010: 132-146
87		Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo: Progress Towards Effective Automated Reasoning with World Knowledge. FLAIRS Conference 2010
86		Geoff Sutcliffe: The TPTP World - Infrastructure for Automated Reasoning. LPAR (Dakar) 2010: 1-12
85		Geoff Sutcliffe: The CADE-22 automated theorem proving system competition - CASC-22. AI Commun. 23(1): 47-59 (2010)
84		Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: Large theory reasoning with SUMO at CASC. AI Commun. 23(2-3): 137-144 (2010)
83		Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar CoRR abs/1005.4592: (2010)
	2009
82		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
81		Alex Roederer, Yury Puzis, Geoff Sutcliffe: Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162
80		Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac: Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS Conference 2009
79		Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288
78		Geoff Sutcliffe: The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Commun. 22(1): 59-72 (2009)
77		Peter Höfner, Georg Struth, Geoff Sutcliffe: Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009)
76		Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (2009)
75		Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009)
74		Geoff Sutcliffe: The TPTP Problem Library and Associated Infrastructure. J. Autom. Reasoning 43(4): 337-362 (2009)
	2008
73		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
72		Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456
71		Geoff Sutcliffe: CASC-J4 The 4th IJCAR ATP System Competition. IJCAR 2008: 457-458
70		Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
69		Geoff Sutcliffe: The SZS Ontologies for Automated Reasoning Software. LPAR Workshops 2008
68		Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
67		Steven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008
66		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
65		Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008
64		Geoff Sutcliffe: The CADE-21 automated theorem proving system competition. AI Commun. 21(1): 71-81 (2008)
63		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
62		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
61		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
60		Geoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310
59		Geoff Sutcliffe: TPTP, TSTP, CASC, etc. CSR 2007: 6-22
58		Adam Pease, Geoff Sutcliffe: First Order Reasoning on a Large Ontology. ESARLT 2007
57		Josef Urban, Geoff Sutcliffe: ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560
56		Geoff Sutcliffe: The 3rd IJCAR Automated Theorem Proving Competition. AI Commun. 20(2): 117-126 (2007)
55		Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007)
	2006
54		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
53		Yury Puzis, Yi Gao, Geoff Sutcliffe: Automated Generation of Interesting Theorems. FLAIRS Conference 2006: 49-54
52		Allen Van Gelder, Geoff Sutcliffe: Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. IJCAR 2006: 156-161
51		Geoff Sutcliffe: CASC-J3 - The 3rd IJCAR ATP System Competition. IJCAR 2006: 572-573
50		Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81
49		Geoff Sutcliffe, Christian B. Suttner: The state of CASC. AI Commun. 19(1): 35-48 (2006)
48		Geoff Sutcliffe: The CADE-20 Automated Theorem Proving Competition. AI Commun. 19(2): 173-181 (2006)
47		Geoff Sutcliffe: Report on the Nineteenth International FLAIRS Conference. AI Magazine 27(4): 111-112 (2006)
46		Stephan Schulz, Geoff Sutcliffe, Tanel Tammet: Preface. International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006)
45		Geoff Sutcliffe: Semantic Derivation Verification: Techniques and Implementation. International Journal on Artificial Intelligence Tools 15(6): 1053-1070 (2006)
44		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
43		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)
	2005
42		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
41		Geoff Sutcliffe, Diego Belfiore: Semantic Derivation Verification. FLAIRS Conference 2005: 641-646
40		Erik T. Mueller, Geoff Sutcliffe: Reasoning in the Event Calculus Using First-Order Automated Theorem Proving. FLAIRS Conference 2005: 840-841
39		Geoff Sutcliffe: The IJCAR-2004 Automated Theorem Proving Competition. AI Commun. 18(1): 33-40 (2005)
	2004
38		Geoff Sutcliffe, Christian B. Suttner: The CADE ATP System Competition. IJCAR 2004: 490-491
37		Geoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. AI Commun. 17(3): 103-110 (2004)
	2003
36		Geoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. CADE 2003: 295-296
35		Geoff Sutcliffe, Alexander Dvorský: Proving Harder Theorems by Axiom Reduction. FLAIRS Conference 2003: 108-113
34		Geoff Sutcliffe, Christian B. Suttner: The CADE-18 ATP System Competition. J. Autom. Reasoning 31(1): 23-32 (2003)
	2002
33		Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AMAI 2002
32		Stephan Schulz, Geoff Sutcliffe: System Description: GrAnDe 1.0. CADE 2002: 280-284
31		Matthias Fuchs, Geoff Sutcliffe: Homogeneous Sets of ATP Problems. FLAIRS Conference 2002: 57-61
30		Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. ISAIM 2002
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-122 (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

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page