Change of Representation in Theorem Proving by Analogy
暂无分享,去创建一个
[1] B. Indurkhya. Metaphor and Cognition: An Interactionist Approach , 1992 .
[2] Dieter Hutter,et al. A methodology for equational reasoning , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.
[3] G. Gentzen. Untersuchungen über das logische Schließen. II , 1935 .
[4] G. Pólya,et al. Mathematics and Plausible Reasoning , 1956 .
[5] W. Bledsoe,et al. A precondition prover for analogy. , 1995, Bio Systems.
[6] Stuart J. Russell,et al. A Logical Approach to Reasoning by Analogy , 1987, IJCAI.
[7] James Curie Munyer. Analogy as a means of discovery in problem solving and learning , 1981 .
[8] Jaime G. Carbonell,et al. Integrating derivational analogy into a general problem-solving architecture , 1988 .
[9] Peter Deussen,et al. Halbgruppen und Automaten , 1971, Heidelberger Taschenbücher.
[10] A. Newell. The heuristic of George Polya and its relation to artificial intelligence , 1981 .
[11] Rogers P. Hall,et al. Computational Approaches to Analogical Reasoning: A Comparative Analysis , 1989, Artif. Intell..
[12] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[13] Sturart J. Russell,et al. The use of knowledge in analogy and induction , 1989 .
[14] Erica Melis. Analogies between Proofs - A Case Study , 1999 .
[15] Bishop Brock,et al. Analogical Reasoning and Proof Discovery , 1988, CADE.
[16] Xiaorong Huang,et al. Methods - The Basic Units for Planning and Verifying Proofs , 1999 .
[17] Rob Kling,et al. A Paradigm for Reasoning by Analogy , 1971, IJCAI.
[18] Jaime G. Carbonell,et al. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition , 1993 .
[19] Christoph Kreitz,et al. Building Proofs by Analogy via the Curry-Horward Isomorphism , 1992, LPAR.
[20] William M. Farmer,et al. Little Theories , 1992, CADE.
[21] Ryszard S. Michalski,et al. Research in machine learning: recent progress, classification of methods, and future directions , 1990 .
[22] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[23] Stephen Owen,et al. Analogy for automated reasoning , 1990, Perspectives in artificial intelligence.
[24] Alan Bundy,et al. A Science of Reasoning , 1991, Computational Logic - Essays in Honor of Alan Robinson.
[25] Rance Cleaveland,et al. Implementing mathematics with the Nuprl proof development system , 1986 .
[26] Fausto Giunchiglia,et al. Tree Subsumption: Reasoning with Outlines , 1992, ECAI.