A Model of Analogy-Driven Proof-Plan Construction
暂无分享,去创建一个
[1] Jaime G. Carbonell,et al. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition , 1993 .
[2] Bishop Brock,et al. Analogical Reasoning and Proof Discovery , 1988, CADE.
[3] James Curie Munyer. Analogy as a means of discovery in problem solving and learning , 1981 .
[4] Stephen Owen,et al. Analogy for automated reasoning , 1990, Perspectives in artificial intelligence.
[5] Fausto Giunchiglia,et al. Tree Subsumption: Reasoning with Outlines , 1992, ECAI.
[6] Rob Kling,et al. A Paradigm for Reasoning by Analogy , 1971, IJCAI.
[7] Erica Melis,et al. Representing and Reformulating Diagonalization Methods , 1994 .
[8] Anthony Preston,et al. Book review: Automated Reasoning: 33 Basic Research Problems by Larry Wos (Prentice Hall 1988) , 1988, SGAR.
[9] Jörg H. Siekmann,et al. Omega-MKRP: A Proof Development Environment , 1994, CADE.
[10] Robert S. Boyer,et al. A computational logic handbook , 1979, Perspectives in computing.
[11] J. Hadamard,et al. The Psychology of Invention in the Mathematical Field. , 1945 .
[12] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[13] Peter Deussen,et al. Halbgruppen und Automaten , 1971, Heidelberger Taschenbücher.
[14] Larry Wos,et al. Automated reasoning - 33 basic research problems , 1988 .
[15] William McCune,et al. OTTER 1.0 Users' Guide , 1990 .
[16] R. Sebastiani,et al. Proof Planning By Abstraction , 1994 .
[17] Manuela M. Veloso,et al. Flexible Strategy Learning: Analogical Replay of Problem Solving Episodes , 1994, AAAI.
[18] W. Bledsoe,et al. A precondition prover for analogy. , 1995, Bio Systems.
[19] Stuart J. Russell,et al. Analogy by Similarity , 1988 .
[20] David A. Plaisted,et al. Theorem Proving with Abstraction , 1981, Artif. Intell..