Skip navigation
Skip navigation

System Description: SCOTT-5

Hodgson, K.; Slaney, John K

Description

This paper reports recent experimental work in the development and refinement of the first order theorem prover Scott-5. This is descended from the Scott (Semantically Constrained Otter) prover (see Proc. IJCAI 1993, pp. 109-114) and uses the same combination of a saturation-based theorem prover and a finite domain constraint solver, but the architecture of Scott-5 is radically different from that of its ancestor. Here we briefly outline semantic guidance as it occurs in Scott-5, and give...[Show more]

CollectionsANU Research Publications
Date published: 2001
Type: Conference paper
URI: http://hdl.handle.net/1885/70648
Source: Automated Reasoning: First International Joint Conference IJCAR 2001

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