The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Geoff Sutcliffe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simon Colton, Geoff Sutcliffe
    Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. [Citation Graph (0, 0)][DBLP]
    AMAI, 2002, pp:- [Conf]
  2. 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]
  3. Marianne Brown, Geoff Sutcliffe
    System Description: PTTP+GLiDes: Semantically Guided PTTP. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:411-416 [Conf]
  4. 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]
  5. Stephan Schulz, Geoff Sutcliffe
    System Description: GrAnDe 1.0. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:280-284 [Conf]
  6. 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]
  7. Geoff Sutcliffe
    System Description: SystemOn TPTP. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:406-410 [Conf]
  8. Geoff Sutcliffe
    CASC-J3 - The 3rd IJCAR ATP System Competition. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:572-573 [Conf]
  9. Geoff Sutcliffe
    A General Clause Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:675-676 [Conf]
  10. Geoff Sutcliffe
    Linear-Input Subset Analysis. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:268-280 [Conf]
  11. Geoff Sutcliffe
    The Semantically Guided Linear Deduction System. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:677-680 [Conf]
  12. Geoff Sutcliffe, Christian B. Suttner
    The CADE-19 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:295-296 [Conf]
  13. Geoff Sutcliffe, Christian B. Suttner
    The CADE ATP System Competition. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:490-491 [Conf]
  14. 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]
  15. Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis
    The TPTP Problem Library. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:252-266 [Conf]
  16. Geoff Sutcliffe
    Parallel Linear & UR-Deduction. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:365- [Conf]
  17. Matthias Fuchs, Geoff Sutcliffe
    Homogeneous Sets of ATP Problems. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2002, pp:57-61 [Conf]
  18. 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]
  19. Geoff Sutcliffe, Diego Belfiore
    Semantic Derivation Verification. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2005, pp:641-646 [Conf]
  20. Geoff Sutcliffe, Alexander Dvorský
    Proving Harder Theorems by Axiom Reduction. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2003, pp:108-113 [Conf]
  21. Geoff Sutcliffe, Darryl Seyfang
    Smart Selective Competition Parallelism ATP. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1999, pp:341-345 [Conf]
  22. Yury Puzis, Yi Gao, Geoff Sutcliffe
    Automated Generation of Interesting Theorems. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2006, pp:49-54 [Conf]
  23. 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]
  24. 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]
  25. Geoff Sutcliffe
    Compulsory Reduction in Linear Derivation Systems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1991, v:50, n:1, pp:131-132 [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. Geoff Sutcliffe
    Automated Theorem Proving: A Review. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2002, v:23, n:1, pp:121- [Journal]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. Geoff Sutcliffe, Yury Puzis
    SRASS - A Semantic Relevance Axiom Selection System. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:295-310 [Conf]
  52. Geoff Sutcliffe
    TPTP, TSTP, CASC, etc. [Citation Graph (0, 0)][DBLP]
    CSR, 2007, pp:6-22 [Conf]
  53. Josef Urban, Geoff Sutcliffe
    ATP Cross-Verification of the Mizar MPTP Challenge Problems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:546-560 [Conf]
  54. 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]

  55. Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. [Citation Graph (, )][DBLP]


  56. THF0 - The Core of the TPTP Language for Higher-Order Logic. [Citation Graph (, )][DBLP]


  57. CASC-J4 The 4th IJCAR ATP System Competition. [Citation Graph (, )][DBLP]


  58. First Order Reasoning on a Large Ontology. [Citation Graph (, )][DBLP]


  59. MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. [Citation Graph (, )][DBLP]


  60. The Annual SUMO Reasoning Prizes at CASC. [Citation Graph (, )][DBLP]


  61. Integration of the TPTPWorld into SigmaKEE. [Citation Graph (, )][DBLP]


  62. Evaluation of Systems for Higher-order Logic (ESHOL). [Citation Graph (, )][DBLP]


  63. Progress in the Development of Automated Theorem Proving for Higher-Order Logic. [Citation Graph (, )][DBLP]


  64. Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. [Citation Graph (, )][DBLP]


  65. Presenting TSTP Proofs with Inference Web Tools. [Citation Graph (, )][DBLP]


  66. Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. [Citation Graph (, )][DBLP]


  67. Progress Towards Effective Automated Reasoning with World Knowledge. [Citation Graph (, )][DBLP]


  68. External Sources of Axioms in Automated Theorem Proving. [Citation Graph (, )][DBLP]


  69. The SZS Ontologies for Automated Reasoning Software. [Citation Graph (, )][DBLP]


  70. An Intelligent Document Understanding & Reproduction System. [Citation Graph (, )][DBLP]


  71. The CADE-21 automated theorem proving system competition. [Citation Graph (, )][DBLP]


  72. The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. [Citation Graph (, )][DBLP]


  73. Large theory reasoning with SUMO at CASC. [Citation Graph (, )][DBLP]


  74. The CADE-22 automated theorem proving system competition - CASC-22. [Citation Graph (, )][DBLP]


  75. Automated verification of refinement laws. [Citation Graph (, )][DBLP]


  76. Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar [Citation Graph (, )][DBLP]


Search in 0.150secs, Finished in 0.154secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002