Productive use of failure in inductive proof

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen et al. · Artificial Intelligence · 1993 · 226 citations · Full text

Computing, Computer Science, Algorithms +11

Review of The Collected Papers.

Paul L. Wachtel · Contemporary Psychology · 1988 · 154 citations

Education, Literature, Documentation +5

Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation

Alan Bundy, Bob Welham · Artificial Intelligence · 1981 · 100 citations

Computing, Computer Science, Formal Methods +7

I.—MATHEMATICAL PROOF

G. H. Hardy · Mind · 1929 · 86 citations

Natural Sciences, Mathematics, Applied Mathematics +1