Proving theorems by reuse

&
Artificial Intelligence 116 (1-2):17-66 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(99)00096-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formal Methods in Artificial Intelligence.Allan Ramsay - 1988 - CUP Archive.
Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday.Simon Siegler & Nathan Wasser (eds.) - 2010 - Springer.
A validation-structure-based theory of plan modification and reuse.Subbarao Kambhampati & James A. Hendler - 1992 - Artificial Intelligence 55 (2-3):193-258.
Plan reuse versus plan generation: a theoretical and empirical analysis.Bernhard Nebel & Jana Koehler - 1995 - Artificial Intelligence 76 (1-2):427-454.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Analytic resolution in theorem proving.D. Brand - 1976 - Artificial Intelligence 7 (4):285-318.
Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
On proving the termination of algorithms by machine.Christoph Walther - 1994 - Artificial Intelligence 71 (1):101-157.
Completely non-clausal theorem proving.Neil V. Murray - 1982 - Artificial Intelligence 18 (1):67-85.
Information capture and reuse strategies in Monte Carlo Tree Search, with applications to games of hidden information.Edward J. Powley, Peter I. Cowling & Daniel Whitehouse - 2014 - Artificial Intelligence 217 (C):92-116.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,824,835)

6 months
2 (#1,448,208)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Automatically generating abstractions for planning.Craig A. Knoblock - 1994 - Artificial Intelligence 68 (2):243-302.
Computational approaches to analogical reasoning.Rogers P. Hall - 1989 - Artificial Intelligence 39 (1):39-120.
A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.

View all 13 references / Add more references