- Discrete Event Calculus Deduction using First-Order Automated Theorem Proving
- A Grand Challenge of Theorem Discovery Geoff Sutcliffe1
- Proceedings of the CADE-21 Workshop on Empirically Successful
- The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers
- CADE-18 Workshop: Problems and Problem Sets
- PROLOG-LINDA : AN EMBEDDING OF LINDA IN muPROLOG
- Integration of the TPTPWorld into SigmaKEE Steven Trac1
- First Order Reasoning on a Large Ontology Adam Pease1
- CASC: Effective Evaluation having an Effect Jeff Pelletier
- The CADE-22 ATP System Competition (CASC-22) Geoff Sutcliffe
- 4th International Joint Conference on Automated Reasoning Sydney, Australia, August 1015, 2008
- The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers
- Proceedings of the CADE-19 ATP System Competition Page 1 The CADE-19 ATP System Competition
- Proceedings of the CADE-18 ATP System Competition Page 1 The CADE-18 ATP System Competition
- Technical Report TR-ARP-09-00 Automated Reasoning Group, Computer Sciences Laboratory
- Prolog-D-Linda : An Embedding of Linda in SICStus Prolog Page 1 The University Of Western Australia
- Lemma Management Techniques for Automated Theorem Proving
- Proceedings of the CADE17 ATP System Competition In order to stimulate ATP system development, and to expose ATP systems to interested researchers, the
- System Description: PTTP+GLiDeS Semantically Guided PTTP
- Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems
- Progress in Automated Theorem Proving, Geoff Sutcliffe1
- The 15th International Conference on Automated Deduction
- The Practice of Clausification in Automatic Theorem Proving Page 1 The Practice of Clausification in
- Prolog-D-Linda : An Embedding of Linda in SICStus Prolog Page 1 Prolog-D-Linda : An Embedding of
- Technical Report TR-ARP-11-00 Automated Reasoning Group, Computer Sciences Laboratory
- A Heterogeneous Parallel Deduction System Page 1 A Heterogeneous Parallel Deduction System
- Prolog-D-Linda v2 : A New Embedding of Linda in SICStus Prolog Page 1 Prolog-D-Linda v2 : A New Embedding of
- The Design of the CADE13 ATP System Competition
- ATool for Introducing Persistent Programming Lukito Nugroho Geoff Sutcliffe
- The 15th International Conference on Automated Deduction
- EXTRACTING RULE SCHEMAS FROM RULES, FOR AN INTELLIGENT LEARNING DATABASE SYSTEM
- The CADE14 ATP System Competition Dep't of Computer Science, James Cook University
- PrologDLinda: An Embedding of Linda in SICStus Prolog
- CASC-21Proceedings of the Competition
- Applications of a Global Workspace Framework to Mathematical Discovery
- Mathematics in the TPTP Problem Library (v1.2.1) Geoff Sutcliffe
- The SZS Ontologies for Automated Reasoning Software Geoff Sutcliffe
- Practical Proof Checking for Program Certification
- Proceedings of the 5th IJCAR ATP System Competition
- ATP System Results for the TPTP Problem Library
- The TPTP Problem Library Geoff Sutcliffe 1 , Christian Suttner 2 , Theodor Yemenis 2
- Practical Proof Checking for Program Certification
- A Linear Deduction System with Integrated Semantic Guidance
- The Design and Implementation of a Compositional Competition-Cooperation Parallel
- A Parallel Linear & UR-Derivation System1 Extended Abstract
- An Interactive Derivation Viewer Steven Trac, Yury Puzis, Geoff Sutcliffe 1
- Proceedings of the IJCAR ATP System Competition Page 1 The IJCAR ATP System Competition
- Proceedings of the CADE-23 ATP System Competition
- A Framework for Building Parallel ATPs Geo Sutcli e and Kalvinder Singh
- Communication Formalisms for Automated Theorem Proving Tools Geoff Sutcliffe
