Author:
Dennis Louise Abigail,Green Ian,Smaill Alan
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference30 articles.
1. Basin, D., Walsh, T.: A calculus for and termination of rippling. J. Autom. Reason. 16(1–2), 147–180 (1996)
2. Lecture Notes in Computer Science;A Boudet,1993
3. Bundy, A.: A science of reasoning. In: Lassez, J.-L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178–198. MIT, Cambridge (1991)
4. Cambridge Tracts in Theoretical Computer Science;A Bundy,2005
5. Bundy, A., Stevens, A., van Harmelen, F., Ireland, A., Smaill, A.: Rippling: a heuristic for guiding inductive proofs. Artif. Intell. 62, 185–253 (1993, Also available from Edinburgh as DAI Research Paper No. 567)