Paperback (01 Jan 2000)
Not available for sale
Includes delivery to the United States
Out of stock
This text presents an approach to learning search guiding heuristics for the supposition-based theorom prover E. It looks at Term Space Mapping as an alternative learning method for recursive structures, used to learn heuristic evaluation functions for the evaluation of potential new consequences.
| ISBN: | 9781586031503 |
| Publisher: | IOS Press |
| Imprint: | IOS Press |
| Pub date: | 01 Jan 2000 |
| Number of pages: | 186 |
| Weight: | -1g |
$2.33off
Paperback
Published 03 Oct 2023
Save $2.33
$2.69off
Paperback
Published 25 Sep 2023
Save $2.69
