Proof management and retrieval
暂无分享,去创建一个
[1] Thomas Kolbe. Patching proofs for reuse , 1995 .
[2] Thomas Kolbe,et al. Reusing Proofs , 1994, ECAI.
[3] Frank van Harmelen,et al. Rippling: A Heuristic for Guiding Inductive Proofs , 1993, Artif. Intell..
[4] Stephen Owen,et al. Analogy for automated reasoning , 1990, Perspectives in artificial intelligence.
[5] David A. Plaisted,et al. Theorem Proving with Abstraction , 1981, Artif. Intell..
[6] Rogers P. Hall,et al. Computational Approaches to Analogical Reasoning: A Comparative Analysis , 1989, Artif. Intell..
[7] Bishop Brock,et al. Analogical Reasoning and Proof Discovery , 1988, CADE.
[8] Dieter Hutter,et al. Guiding Induction Proofs , 1990, CADE.
[9] Thomas Ellman,et al. Explanation-based learning: a survey of programs and perspectives , 1989, CSUR.
[10] Thomas Kolbe,et al. Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs , 1995, IJCAI.
[11] Christoph Walther,et al. Mathematical induction , 1994, Handbook of Logic in Artificial Intelligence and Logic Programming.