Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Planning and Patching Proof
Authors: Alan Bundy
Date:Jul 2004
Publication Title:Proceedings of AISC 2004 (Artificial Intelligence and Symbolic Computation)
Publication Type:Conference Paper Publication Status:Published
Volume No:3249 Page Nos:26-37
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fails, these failures can be analyzed and a patch formulated and applied. We also describe rippling: a powerful proof method used in proof planning. We pose and answer a number of common questions about proof planning and rippling.
2004 by The University of Edinburgh. All Rights Reserved
Links To Paper
1st link
2nd link
Bibtex format
author = { Alan Bundy },
title = {Planning and Patching Proof},
book title = {Proceedings of AISC 2004 (Artificial Intelligence and Symbolic Computation)},
publisher = {Springer},
year = 2004,
month = {Jul},
volume = {3249},
pages = {26-37},
doi = {10.1007/b100361},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh