The SCEAS System
| |||||||

## Search the dblp DataBase
Geoff Sutcliffe:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Simon Colton, Geoff Sutcliffe
**Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.**[Citation Graph (0, 0)][DBLP] AMAI, 2002, pp:- [Conf] - Marianne Brown, Geoff Sutcliffe
**PTTP+GLiDeS: Guiding Linear Deductions with Semantics.**[Citation Graph (0, 0)][DBLP] Australian Joint Conference on Artificial Intelligence, 1999, pp:244-254 [Conf] - Marianne Brown, Geoff Sutcliffe
**System Description: PTTP+GLiDes: Semantically Guided PTTP.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:411-416 [Conf] - Allen Van Gelder, Geoff Sutcliffe
**Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:156-161 [Conf] - Stephan Schulz, Geoff Sutcliffe
**System Description: GrAnDe 1.0.**[Citation Graph (0, 0)][DBLP] CADE, 2002, pp:280-284 [Conf] - Christian B. Suttner, Geoff Sutcliffe
**The Design of the CADE-13 ATP System Competition.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:146-160 [Conf] - Geoff Sutcliffe
**System Description: SystemOn TPTP.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:406-410 [Conf] - Geoff Sutcliffe
**CASC-J3 - The 3rd IJCAR ATP System Competition.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:572-573 [Conf] - Geoff Sutcliffe
**A General Clause Theorem Prover.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:675-676 [Conf] - Geoff Sutcliffe
**Linear-Input Subset Analysis.**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:268-280 [Conf] - Geoff Sutcliffe
**The Semantically Guided Linear Deduction System.**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:677-680 [Conf] - Geoff Sutcliffe, Christian B. Suttner
**The CADE-19 ATP System Competition.**[Citation Graph (0, 0)][DBLP] CADE, 2003, pp:295-296 [Conf] - Geoff Sutcliffe, Christian B. Suttner
**The CADE ATP System Competition.**[Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:490-491 [Conf] - Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
**Using the TPTP Language for Writing Derivations and Finite Interpretations.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:67-81 [Conf] - Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis
**The TPTP Problem Library.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:252-266 [Conf] - Geoff Sutcliffe
**Parallel Linear & UR-Deduction.**[Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:365- [Conf] - Matthias Fuchs, Geoff Sutcliffe
**Homogeneous Sets of ATP Problems.**[Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2002, pp:57-61 [Conf] - Erik T. Mueller, Geoff Sutcliffe
**Reasoning in the Event Calculus Using First-Order Automated Theorem Proving.**[Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2005, pp:840-841 [Conf] - Geoff Sutcliffe, Diego Belfiore
**Semantic Derivation Verification.**[Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2005, pp:641-646 [Conf] - Geoff Sutcliffe, Alexander Dvorský
**Proving Harder Theorems by Axiom Reduction.**[Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2003, pp:108-113 [Conf] - Geoff Sutcliffe, Darryl Seyfang
**Smart Selective Competition Parallelism ATP.**[Citation Graph (0, 0)][DBLP] FLAIRS Conference, 1999, pp:341-345 [Conf] - Yury Puzis, Yi Gao, Geoff Sutcliffe
**Automated Generation of Interesting Theorems.**[Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2006, pp:49-54 [Conf] - Geoff Sutcliffe
**A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems.**[Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:321-332 [Conf] - Stuart Melville, Geoff Sutcliffe, David Fraser
**Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction.**[Citation Graph (0, 0)][DBLP] PRICAI, 1996, pp:423-434 [Conf] - Geoff Sutcliffe
**Compulsory Reduction in Linear Derivation Systems.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 1991, v:50, n:1, pp:131-132 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**Evaluating general purpose automated theorem proving systems.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 2001, v:131, n:1-2, pp:39-54 [Journal] - Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
**The development of CASC.**[Citation Graph (0, 0)][DBLP] AI Commun., 2002, v:15, n:2-3, pp:79-90 [Journal] - Geoff Sutcliffe
**The IJCAR-2004 Automated Theorem Proving Competition.**[Citation Graph (0, 0)][DBLP] AI Commun., 2005, v:18, n:1, pp:33-40 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The CADE-19 ATP System Competition.**[Citation Graph (0, 0)][DBLP] AI Commun., 2004, v:17, n:3, pp:103-110 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The state of CASC.**[Citation Graph (0, 0)][DBLP] AI Commun., 2006, v:19, n:1, pp:35-48 [Journal] - Geoff Sutcliffe
**The CADE-20 Automated Theorem Proving Competition.**[Citation Graph (0, 0)][DBLP] AI Commun., 2006, v:19, n:2, pp:173-181 [Journal] - Geoff Sutcliffe
**Automated Theorem Proving: A Review.**[Citation Graph (0, 0)][DBLP] AI Magazine, 2002, v:23, n:1, pp:121- [Journal] - Steven Trac, Yury Puzis, Geoff Sutcliffe
**An Interactive Derivation Viewer.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:109-123 [Journal] - Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
**Preface.**[Citation Graph (0, 0)][DBLP] International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:1-2 [Journal] - Geoff Sutcliffe
**Semantic Derivation Verification: Techniques and Implementation.**[Citation Graph (0, 0)][DBLP] International Journal on Artificial Intelligence Tools, 2006, v:15, n:6, pp:1053-1070 [Journal] - Francis Jeffry Pelletier, Geoff Sutcliffe
**An Erratum for Some Errata to ATP Problems.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:1, pp:135- [Journal] - Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
**Conclusions about the CADE-13 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:287-296 [Journal] - Geoff Sutcliffe
**The CADE-16 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:24, n:3, pp:371-396 [Journal] - Geoff Sutcliffe
**The CADE-17 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:27, n:3, pp:227-250 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The CADE-18 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:1, pp:23-32 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The CADE-13 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:137-138 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The Design of the CADE-13 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:139-162 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The Procedures of the CADE-13 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:163-169 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The Results - of the CADE-13 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:271-286 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The TPTP Problem Library - CNF Release v1.2.1.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1998, v:21, n:2, pp:177-203 [Journal] - Geoff Sutcliffe, Christian B. Suttner
**The CADE-15 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1999, v:23, n:1, pp:1-23 [Journal] - Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
**The IJCAR ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:28, n:3, pp:307-320 [Journal] - Christian B. Suttner, Geoff Sutcliffe
**The CADE-14 ATP System Competition.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1998, v:21, n:1, pp:99-134 [Journal] - Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
**Empirically Successful Automated Reasoning: Applications Issue.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:37, n:1-2, pp:1- [Journal] - Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
**Empirically Successful Automated Reasoning: Systems Issue.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:287- [Journal] - Geoff Sutcliffe, Yury Puzis
**SRASS - A Semantic Relevance Axiom Selection System.**[Citation Graph (0, 0)][DBLP] CADE, 2007, pp:295-310 [Conf] - Geoff Sutcliffe
**TPTP, TSTP, CASC, etc.**[Citation Graph (0, 0)][DBLP] CSR, 2007, pp:6-22 [Conf] - Josef Urban, Geoff Sutcliffe
**ATP Cross-Verification of the Mizar MPTP Challenge Problems.**[Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:546-560 [Conf] - Geoff Sutcliffe
**The 3rd IJCAR Automated Theorem Proving Competition.**[Citation Graph (0, 0)][DBLP] AI Commun., 2007, v:20, n:2, pp:117-126 [Journal] **Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar.**[Citation Graph (, )][DBLP]**THF0 - The Core of the TPTP Language for Higher-Order Logic.**[Citation Graph (, )][DBLP]**CASC-J4 The 4th IJCAR ATP System Competition.**[Citation Graph (, )][DBLP]**First Order Reasoning on a Large Ontology.**[Citation Graph (, )][DBLP]**MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.**[Citation Graph (, )][DBLP]**The Annual SUMO Reasoning Prizes at CASC.**[Citation Graph (, )][DBLP]**Integration of the TPTPWorld into SigmaKEE.**[Citation Graph (, )][DBLP]**Evaluation of Systems for Higher-order Logic (ESHOL).**[Citation Graph (, )][DBLP]**Progress in the Development of Automated Theorem Proving for Higher-Order Logic.**[Citation Graph (, )][DBLP]**Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.**[Citation Graph (, )][DBLP]**Presenting TSTP Proofs with Inference Web Tools.**[Citation Graph (, )][DBLP]**Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems.**[Citation Graph (, )][DBLP]**Progress Towards Effective Automated Reasoning with World Knowledge.**[Citation Graph (, )][DBLP]**External Sources of Axioms in Automated Theorem Proving.**[Citation Graph (, )][DBLP]**The SZS Ontologies for Automated Reasoning Software.**[Citation Graph (, )][DBLP]**An Intelligent Document Understanding & Reproduction System.**[Citation Graph (, )][DBLP]**The CADE-21 automated theorem proving system competition.**[Citation Graph (, )][DBLP]**The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4.**[Citation Graph (, )][DBLP]**Large theory reasoning with SUMO at CASC.**[Citation Graph (, )][DBLP]**The CADE-22 automated theorem proving system competition - CASC-22.**[Citation Graph (, )][DBLP]**Automated verification of refinement laws.**[Citation Graph (, )][DBLP]**Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar**[Citation Graph (, )][DBLP]
Search in 0.150secs, Finished in 0.154secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |