Geoff Sutcliffe

175 papers A 25B 7Misc 21Journal 72Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	Misc	`conf`	Proof Verification with GDV and LambdaPi - It's a Matter of Trust. FLAIRS Geoff Sutcliffe, Frédéric Blanqui, Guillaume Burel
2025	J	`jnl`	TPTP World Infrastructure for Non-classical Logics. CoRR Alexander Steen, Geoff Sutcliffe
2025	—	`conf`	The Dependently Typed Higher-Order Form for the TPTP World. FroCoS Daniel Ranalter, Cezary Kaliszyk, Florian Rabe, Geoff Sutcliffe
2025	J	`jnl`	The Dependently Typed Higher-Order Form for the TPTP World. CoRR Daniel Ranalter, Cezary Kaliszyk, Florian Rabe, Geoff Sutcliffe
2024	—	`conf`	An Empirical Assessment of Progress in Automated Theorem Proving. IJCAR (1) Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid
2024	—	`conf`	Stepping Stones in the TPTP World. IJCAR (1) Geoff Sutcliffe
2024	—	`conf`	TPTP World Infrastructure for Non-classical Logics. PAAR+SC²@IJCAR Alexander Steen, Geoff Sutcliffe
2024	J	`jnl`	The CADE-29 Automated Theorem Proving System Competition - CASC-29. AI Commun. Geoff Sutcliffe, Martin Desharnais
2024	J	`jnl`	The New TPTP Format for Interpretations. CoRR Geoff Sutcliffe, Alexander Steen, Pascal Fontaine
2024	J	`jnl`	Who finds the short proof? Log. J. IGPL Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2023	Misc	`conf`	An Interactive Interpretation Viewer for Typed First-order Logic. FLAIRS Jack McKeown, Geoff Sutcliffe
2023	Misc	`conf`	Reinforcement Learning for Guiding the E Theorem Prover. FLAIRS Jack McKeown, Geoff Sutcliffe
2023	B	`conf`	Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. LPAR Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown
2023	—	`conf`	Solving Modal Logic Problems by Translation to Higher-Order Logic. CLAR Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller
2023	J	`jnl`	The 11th IJCAR automated theorem proving system competition - CASC-J11. AI Commun. Geoff Sutcliffe, Martin Desharnais
2023	J	`jnl`	The logic languages of the TPTP world. Log. J. IGPL Geoff Sutcliffe
2022	—	`conf`	Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
2022	J	`jnl`	Automated Reasoning in Non-classical Logics in the TPTP World. CoRR Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
2022	J	`jnl`	Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2022	J	`jnl`	Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe
2022	J	`jnl`	Larry Wos: Visions of Automated Reasoning. J. Autom. Reason. Michael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe
2022	J	`jnl`	Solving QMLTP Problems by Translation to Higher-order Logic. CoRR Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
2022	J	`jnl`	Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. CoRR Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2021	A	`ed.`	Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings CADE André Platzer, Geoff Sutcliffe
2021	—	`conf`	Combining JSON-LD with First Order Logic. ICSC Tanel Tammet, Geoff Sutcliffe
2021	—	`conf`	Management of the TPTP Problem Set. ARCADE@CADE Geoff Sutcliffe, David A. Plaisted
2021	J	`jnl`	The 10th IJCAR automated theorem proving system competition - CASC-J10. AI Commun. Geoff Sutcliffe
2021	J	`jnl`	The CADE-28 Automated Theorem Proving System Competition - CASC-28. AI Commun. Geoff Sutcliffe, Martin Desharnais
2021	—	`conf`	The Expansion, Modernisation, and Future of the TPTP World. ARCADE@CADE Geoff Sutcliffe
2020	—	`ed.`	6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020 GCAI Grégoire Danoy, Jun Pang, Geoff Sutcliffe
2020	—	`conf`	Cutting Down the TPTP Language (And Others). PAAR+SC²@IJCAR Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe
2020	—	`conf`	Evaluation of Axiom Selection Techniques. PAAR+SC²@IJCAR Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe
2020	J	`jnl`	Improving probability selecting based weights for Satisfiability Problem. CoRR Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
2019	A	`conf`	GRUNGE: A Grand Unified ATP Challenge. CADE Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
2019	J	`jnl`	GRUNGE: A Grand Unified ATP Challenge. CoRR Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
2019	A	`conf`	JGXYZ: An ATP System for Gap and Glut Logics. CADE Geoff Sutcliffe, Francis Jeffry Pelletier
2019	—	`conf`	TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
2019	J	`jnl`	The CADE-27 Automated theorem proving System Competition - CASC-27. AI Commun. Geoff Sutcliffe
2018	—	`ed.`	LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018 LPAR (Workshop and Short Papers) Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe, Margus Veanes
2018	B	`ed.`	LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 LPAR Gilles Barthe, Geoff Sutcliffe, Margus Veanes
2018	Misc	`conf`	Making Belnap's "Useful 4-Valued Logic" Useful. FLAIRS Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen
2018	—	`conf`	TFX: The TPTP Extended Typed First-Order Form. PAAR@FLoC Geoff Sutcliffe, Evgenii Kotelnikov
2018	J	`jnl`	The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9. AI Commun. Geoff Sutcliffe
2017	Misc	`conf`	Automated Reasoning for the Dialetheic Logic RM3. FLAIRS Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen
2017	A	`conf`	Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
2017	—	`ed.`	IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 LPAR (Short Presentations) Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov
2017	J	`jnl`	The CADE-26 automated theorem proving system competition - CASC-26. AI Commun. Geoff Sutcliffe
2017	J	`jnl`	The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0. J. Autom. Reason. Geoff Sutcliffe
2016	—	`ed.`	GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany GCAI Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas
2016	Misc	`conf`	Hoping for the Truth - A Survey of the TPTP Logics. FLAIRS Geoff Sutcliffe, Francis Jeffry Pelletier
2016	—	`conf`	TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. PAAR@IJCAR Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe
2016	J	`jnl`	The 8th IJCAR automated theorem proving system competition - CASC-J8. AI Commun. Geoff Sutcliffe
2016	J	`jnl`	The CADE ATP System Competition - CASC. AI Mag. Geoff Sutcliffe
2016	J	`jnl`	The CADE-25 Automated Theorem Proving system competition - CASC-25. AI Commun. Geoff Sutcliffe, Josef Urban
2015	—	`ed.`	20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. LPAR (short papers) Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov
2015	—	`conf`	Automated Theorem Proving by Translation to Description Logic. LPAR (short papers) Negin Arhami, Geoff Sutcliffe
2015	—	`ed.`	Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015 GCAI Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov
2015	J	`jnl`	The 7th IJCAR automated theorem proving system competition - CASC-J7. AI Commun. Geoff Sutcliffe
2015	—	`conf`	The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. IWIL@LPAR Geoff Sutcliffe, Stephan Schulz
2015	—	`conf`	Things You Can't do With a Vampire. Vampire Workshop Geoff Sutcliffe
2014	—	`conf`	Automated Theorem Proving using the TPTP Process Instruction Language. PAAR@IJCAR Muhammad Nassar, Geoff Sutcliffe
2014	—	`ed.`	LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings LPAR (short papers) Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov
2014	A	`conf`	StarExec: A Cross-Community Infrastructure for Logic Solving. IJCAR Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
2014	J	`jnl`	The CADE-24 automated theorem proving system competition - CASC-24. AI Commun. Geoff Sutcliffe
2014	—	`conf`	The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. PAAR@IJCAR Negin Arhami, Geoff Sutcliffe
2013	J	`jnl`	ATP and Presentation Service for Mizar Formalizations. J. Autom. Reason. Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
2013	—	`conf`	Modeling in OWL 2 without Restrictions. OWLED Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
2013	—	`ed.`	Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010 LPAR short papers(Yogyakarta) Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller
2013	J	`jnl`	The 6th IJCAR automated theorem proving system competition - CASC-J6. AI Commun. Geoff Sutcliffe
2012	—	`conf`	Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. COMPARE Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
2012	J	`jnl`	Modeling in OWL 2 without Restrictions CoRR Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
2012	—	`ed.`	Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012 COMPARE Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe
2012	Misc	`conf`	SAMHT - Suicidal Avatars for Mental Health Training. FLAIRS Cameron Carpenter, Leticia Osterberg, Geoff Sutcliffe
2012	—	`ed.`	The 6th IJCAR ATP System Competition, CASC-J6, June 28, 2012, Manchester, UK CASC-J6@IJCAR Geoff Sutcliffe
2012	—	`ed.`	The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 IWIL@LPAR Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska
2012	J	`jnl`	The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Commun. Geoff Sutcliffe
2012	B	`conf`	The TPTP Typed First-Order Form with Arithmetic. LPAR Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner
2012	—	`ed.`	Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010 EMSQMS@IJCAR Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
2011	J	`jnl`	ATP and Presentation Service for Mizar Formalizations CoRR Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
2011	—	`conf`	Combining Proofs to form Different Proofs. PxTP Geoff Sutcliffe, Cynthia Chang, Deborah L. McGuinness, Timothy Lebo, Li Ding, Paulo Pinheiro da Silva
2011	A	`conf`	Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. CADE Michael Schneider, Geoff Sutcliffe
2011	J	`jnl`	Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving CoRR Michael Schneider, Geoff Sutcliffe
2011	Misc	`conf`	Sporcle Goes AI. FLAIRS Cameron Carpenter, Geoff Sutcliffe
2011	J	`jnl`	The 5th IJCAR automated theorem proving system competition - CASC-J5. AI Commun. Geoff Sutcliffe
2010	J	`jnl`	Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar CoRR Josef Urban, Geoff Sutcliffe
2010	—	`conf`	Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. AISC/MKM/Calculemus Josef Urban, Geoff Sutcliffe
2010	J	`jnl`	Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure. J. Formaliz. Reason. Geoff Sutcliffe, Christoph Benzmüller
2010	—	`conf`	Different Proofs are Good Proofs. EMSQMS@IJCAR Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah L. McGuinness, Paulo Pinheiro da Silva
2010	J	`jnl`	Large theory reasoning with SUMO at CASC. AI Commun. Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
2010	Misc	`conf`	Progress Towards Effective Automated Reasoning with World Knowledge. FLAIRS Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo
2010	J	`jnl`	The CADE-22 automated theorem proving system competition - CASC-22. AI Commun. Geoff Sutcliffe
2010	—	`conf`	The TPTP World - Infrastructure for Automated Reasoning. LPAR (Dakar) Geoff Sutcliffe
2009	J	`jnl`	Automated verification of refinement laws. Ann. Math. Artif. Intell. Peter Höfner, Georg Struth, Geoff Sutcliffe
2009	A	`conf`	Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE Alex Roederer, Yury Puzis, Geoff Sutcliffe
2009	J	`jnl`	Empirically successful computerized reasoning. J. Appl. Log. Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz
2009	Misc	`conf`	External Sources of Axioms in Automated Theorem Proving. KI Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo
2009	Misc	`conf`	Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac
2009	A	`conf`	Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss
2009	J	`jnl`	Solving the $100 modal logic challenge. J. Appl. Log. Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen
2009	J	`jnl`	The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Commun. Geoff Sutcliffe
2009	J	`jnl`	The TPTP Problem Library and Associated Infrastructure. J. Autom. Reason. Geoff Sutcliffe
2008	J	`jnl`	ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. Math. Comput. Sci. Josef Urban, Geoff Sutcliffe
2008	A	`conf`	CASC-J4 The 4th IJCAR ATP System Competition. IJCAR Geoff Sutcliffe
2008	—	`conf`	Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe
2008	—	`conf`	Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL Steven Trac, Geoff Sutcliffe, Adam Pease
2008	A	`conf`	MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil
2008	—	`conf`	Presenting TSTP Proofs with Inference Web Tools. PAAR/ESHOL Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness
2008	—	`ed.`	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 LPAR Workshops Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz
2008	A	`conf`	THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe
2008	—	`conf`	The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
2008	J	`jnl`	The CADE-21 automated theorem proving system competition. AI Commun. Geoff Sutcliffe
2008	—	`conf`	The SZS Ontologies for Automated Reasoning Software. LPAR Workshops Geoff Sutcliffe
2007	B	`conf`	ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR Josef Urban, Geoff Sutcliffe
2007	—	`conf`	First Order Reasoning on a Large Ontology. ESARLT Adam Pease, Geoff Sutcliffe
2007	—	`ed.`	Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 ESARLT Geoff Sutcliffe, Josef Urban, Stephan Schulz
2007	Misc	`ed.`	Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA. FLAIRS David Wilson, Geoff Sutcliffe
2007	A	`conf`	SRASS - A Semantic Relevance Axiom Selection System. CADE Geoff Sutcliffe, Yury Puzis
2007	Misc	`conf`	TPTP, TSTP, CASC, etc. CSR Geoff Sutcliffe
2007	J	`jnl`	The 3rd IJCAR Automated Theorem Proving Competition. AI Commun. Geoff Sutcliffe
2006	—	`conf`	An Interactive Derivation Viewer. UITP@FLoC Steven Trac, Yury Puzis, Geoff Sutcliffe
2006	Misc	`conf`	Automated Generation of Interesting Theorems. FLAIRS Yury Puzis, Yi Gao, Geoff Sutcliffe
2006	A	`conf`	CASC-J3 - The 3rd IJCAR ATP System Competition. IJCAR Geoff Sutcliffe
2006	J	`jnl`	Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reason. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
2006	J	`jnl`	Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reason. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
2006	A	`conf`	Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. IJCAR Allen Van Gelder, Geoff Sutcliffe
2006	J	`jnl`	Preface. Int. J. Artif. Intell. Tools Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
2006	Misc	`ed.`	Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006 FLAIRS Geoff Sutcliffe, Randy Goebel
2006	J	`jnl`	Report on the Nineteenth International FLAIRS Conference. AI Mag. Geoff Sutcliffe
2006	J	`jnl`	Semantic Derivation Verification: Techniques and Implementation. Int. J. Artif. Intell. Tools Geoff Sutcliffe
2006	J	`jnl`	The CADE-20 Automated Theorem Proving Competition. AI Commun. Geoff Sutcliffe
2006	J	`jnl`	The state of CASC. AI Commun. Geoff Sutcliffe, Christian B. Suttner
2006	A	`conf`	Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
2005	B	`ed.`	Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings LPAR Geoff Sutcliffe, Andrei Voronkov
2005	Misc	`conf`	Reasoning in the Event Calculus Using First-Order Automated Theorem Proving. FLAIRS Erik T. Mueller, Geoff Sutcliffe
2005	Misc	`conf`	Semantic Derivation Verification. FLAIRS Geoff Sutcliffe, Diego Belfiore
2005	J	`jnl`	The IJCAR-2004 Automated Theorem Proving Competition. AI Commun. Geoff Sutcliffe
2004	A	`conf`	The CADE ATP System Competition. IJCAR Geoff Sutcliffe, Christian B. Suttner
2004	J	`jnl`	The CADE-19 ATP System Competition. AI Commun. Geoff Sutcliffe, Christian B. Suttner
2003	Misc	`conf`	Proving Harder Theorems by Axiom Reduction. FLAIRS Geoff Sutcliffe, Alexander Dvorský
2003	J	`jnl`	The CADE-18 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner
2003	A	`conf`	The CADE-19 ATP System Competition. CADE Geoff Sutcliffe, Christian B. Suttner
2002	J	`jnl`	Automated Theorem Proving: A Review. AI Mag. Geoff Sutcliffe
2002	—	`conf`	Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AI&M Simon Colton, Geoff Sutcliffe
2002	Misc	`conf`	Homogeneous Sets of ATP Problems. FLAIRS Matthias Fuchs, Geoff Sutcliffe
2002	A	`conf`	System Description: GrAnDe 1.0. CADE Stephan Schulz, Geoff Sutcliffe
2002	J	`jnl`	The IJCAR ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
2002	J	`jnl`	The development of CASC. AI Commun. Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
2001	J	`jnl`	Evaluating general purpose automated theorem proving systems. Artif. Intell. Geoff Sutcliffe, Christian B. Suttner
2001	J	`jnl`	The CADE-17 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe
2000	A	`conf`	System Description: PTTP+GLiDes: Semantically Guided PTTP. CADE Marianne Brown, Geoff Sutcliffe
2000	A	`conf`	System Description: SystemOn TPTP. CADE Geoff Sutcliffe
2000	J	`jnl`	The CADE-16 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe
1999	—	`conf`	PTTP+GLiDeS: Guiding Linear Deductions with Semantics. Australian Joint Conference on Artificial Intelligence Marianne Brown, Geoff Sutcliffe
1999	Misc	`conf`	Smart Selective Competition Parallelism ATP. FLAIRS Geoff Sutcliffe, Darryl Seyfang
1999	J	`jnl`	The CADE-15 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner
1998	J	`jnl`	The CADE-14 ATP System Competition. J. Autom. Reason. Christian B. Suttner, Geoff Sutcliffe
1998	J	`jnl`	The TPTP Problem Library - CNF Release v1.2.1. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner
1997	J	`jnl`	An Erratum for Some Errata to ATP Problems. J. Autom. Reason. Francis Jeffry Pelletier, Geoff Sutcliffe
1997	J	`jnl`	Conclusions about the CADE-13 ATP System Competition. J. Autom. Reason. Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
1997	J	`jnl`	The CADE-13 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner
1997	J	`jnl`	The Design of the CADE-13 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner
1997	J	`jnl`	The Procedures of the CADE-13 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner
1997	J	`jnl`	The Results - of the CADE-13 ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner
1996	A	`conf`	The Design of the CADE-13 ATP System Competition. CADE Christian B. Suttner, Geoff Sutcliffe
1996	B	`conf`	Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. PRICAI Stuart Melville, Geoff Sutcliffe, David Fraser
1994	Misc	`conf`	An Intelligent Document Understanding & Reproduction System. MVA Michael Sharpe, Nizam Ahmed, Geoff Sutcliffe
1994	A	`conf`	The TPTP Problem Library. CADE Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis
1993	B	`conf`	A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. LPAR Geoff Sutcliffe
1993	—	`conf`	Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog. ICLP Workshop on Blackboard-Based Logic Programming Geoff Sutcliffe
1993	J	`jnl`	The TPTP problem library Forschungsberichte, TU Munich Christian B. Suttner, Geoff Sutcliffe, Theodor Yemenis
1992	A	`conf`	Linear-Input Subset Analysis. CADE Geoff Sutcliffe
1992	A	`conf`	The Semantically Guided Linear Deduction System. CADE Geoff Sutcliffe
1991	J	`jnl`	Compulsory Reduction in Linear Derivation Systems. Artif. Intell. Geoff Sutcliffe
1990	A	`conf`	A General Clause Theorem Prover. CADE Geoff Sutcliffe
1990	—	`conf`	Parallel Linear & UR-Deduction. Dagstuhl Seminar on Parallelization in Inference Systems Geoff Sutcliffe