Patching faulty conjectures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1104, Issue , 1996, Pages 77-91

  Protzen, Martin ^a  

^a Debis Systemhaus   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

EQUIVALENCE PRESERVING TRANSFORMATIONS;

THEOREM PROVING;

EID: 78049481891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_70     Document Type: Conference Paper

References (10)

1. [Boyer & Moore 79] Robert S. Boyer, J Strother Moore. A Computational Logic. Academic Press, 1979.
2. [Bundy et al. 93] A. Bundy et al., Rippling: A Heuristic for Guiding Inductive Proofs. Artificial Intelligence, vol. 62, no. 2, 185-253, August 1993.
3. [Franova & Kodratoff 92] Marta Franova, Yves Kodratoff. Predicate Synthesis from Formal Specifications. Proc. ECAI 1992, pp. 87, 1992.
4. [Monroy et al. 94] Raul Monroy, Alan Bundy, Andrew Ireland. Proof Plans for the Correction of False Conjectures. Proc. LPAR 1994, Springer LNCS vol. 822, 1994.
5. [Moore 74] J Strother Moore. Computational Logic: Structure sharing and proof of program properties, part II. Unpublished PhD thesis, University of Edinburgh, 1974.
6. [Protzen 94] Martin Protzen. Lazy Generation of Induction Hypotheses. Proc. CADE-12, Springer LNAI vol. 814, pp. 42, Nancy, France, 1994.
7. [Protzen 95] Martin Protzen. Lazy Generation of Induction Hypotheses and Patching Faulty Conjectures. Doctoral Dissertation, Infix, St. Augustin, 1995.
8. [Walther 92] C. Walther, Computing Induction Axioms, Proc. LPAR 1992, St. Petersburg, Springer LNCS vol. 624, 1992.
9. [Walther 94a] Christoph Walther. Mathematical Induction. In: D.M. Gabbay, C.J. Hogger & J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 2, Oxford University Press, 1994.
10. [Walther 94b] Christoph Walther. On Proving the Termination of Algorithms by Machine. Artificial Intelligence, vol. 71, no. 1, pp. 101 - 159, November 1994.