Experiments with proof plans for induction
From MaRDI portal
Publication:809617
DOI10.1007/BF00249016zbMath0733.68069WikidataQ56840274 ScholiaQ56840274MaRDI QIDQ809617
Alan Bundy, Alan Smaill, Frank van Harmelen, Jane Hesketh
Publication date: 1991
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
theorem proving; planning; mathematical induction; program synthesis; tactics; Searching; combinatorial explosion; proof plans
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Rippling: A heuristic for guiding inductive proofs, An integrated approach to high integrity software verification, Lazy techniques for fully expansive theorem proving, A calculus for and termination of rippling, Knowledge-based proof planning
Uses Software
Cites Work