Author Geoff Sutcliffe
From Semantic Portal Wiki
A list of all pages that have property "Author" with value "Geoff Sutcliffe"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Homogeneous sets of atp problems +
- First order reasoning on a large ontology +
- Extending the tptp language to higher-order logic with automated parser generation +
- Evaluation of systems for higher-order logic (eshol) +
- Evaluating general purpose automated theorem proving systems +
- Empirically successful computerized reasoning +
- Empirically successful automated reasoning: systems issue +
- Empirically successful automated reasoning: applications issue +
- Conclusions about the cade-13 atp system competition +
- Compulsory reduction in linear derivation systems +
- Casc-j4 the 4th ijcar atp system competition +
- Casc-j3 - the 3rd ijcar atp system competition +
- Automatic generation of benchmark problems for automated theorem proving systems +
- Automated theorem proving: a review +
- Automated generation of interesting theorems +
- Atp cross-verification of the mizar mptp challenge problems +
- An interactive derivation viewer +
- An intelligent document understanding \& reproduction system +
- An erratum for some errata to atp problems +
- A general clause theorem prover +
- A comparison of mechanisms for avoiding repetition of subdeductions in chain formal linear deduction systems +
