Skip navigation
Skip navigation

TPTP, CASC and the development of a semantically guided theorem prover

Hodgson, K.; Slaney, John K

Description

The first-order theorem prover SCOTT has been through a series of versions over some ten years. The successive provers, while retaining the same underlying technology, have used radically different algorithms and shown wide differences of behaviour. The development process has depended heavily on experiments with problems from the TPTP library and has been sharpened by participation in CASC each year since 1997. In the present paper, we outline some of the difficulties inherent in designing and...[Show more]

CollectionsANU Research Publications
Date published: 2002
Type: Journal article
URI: http://hdl.handle.net/1885/92364
Source: AI Communications

Download

There are no files associated with this item.


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator