A New Application for Explanation-based Generalisation Within Automated Deduction

Front Cover
University of Cambridge, Computer Laboratory, 1994 - Automatic theorem proving - 18 pages
0 Reviews
Abstract: "Generalisation is currently a major theorem-proving problem. This paper proposes a new method of generalisation, involving the use of explanation-based generalization within a new domain, which may succeed when other methods fail. The method has been implemented for simple arithmetical examples."

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Common terms and phrases

Bibliographic information