Proof plans for the correction of false conjectures
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The use of explicit plans to guide inductive proofsPublished by Springer Nature ,2010
- The use of planning critics in mechanizing inductive proofsPublished by Springer Nature ,2005
- Rippling: A heuristic for guiding inductive proofsArtificial Intelligence, 1993
- Experiments with proof plans for inductionJournal of Automated Reasoning, 1991
- The OYSTER-CLAM systemPublished by Springer Nature ,1990
- Theorist: A Logical Reasoning System for Defaults and DiagnosisPublished by Springer Nature ,1987
- Causes for events: Their computation and applicationsPublished by Springer Nature ,1986
- Edinburgh LCFLecture Notes in Computer Science, 1979