Experiments in the Heuristic Use of Past Proof Experience
暂无分享,去创建一个
[1] James R. Slagle,et al. Experiments in automatic learning for a multipurpose hueristic program , 1971, CACM.
[2] Rob Kling,et al. A Paradigm for Reasoning by Analogy , 1971, IJCAI.
[3] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[4] Christian B. Suttner. Representing Heuristic-Relevant Information for an Automated Theorem Prover , 1990, IMYCS.
[5] John K. Slaney. SCOTT: A Model-Guided Theorem Prover , 1993, IJCAI.
[6] Larry Wos,et al. Experiments in Automated Deduction with Condensed Detachment , 1992, CADE.
[7] Bishop Brock,et al. Analogical Reasoning and Proof Discovery , 1988, CADE.
[8] Régis Curien. Outils pour la preuve par analogie , 1995 .
[9] Jörg Denzinger,et al. Distributing Equational Theorem Proving , 1993, RTA.
[10] Wolfgang Ertel,et al. Automatic Acquisition of Search Guiding Heuristics , 1990, CADE.
[11] Thomas Kolbe,et al. Reusing Proofs , 1994, ECAI.
[12] Thomas Kolbe. Patching proofs for reuse , 1995 .
[13] Jeremy George Peterson. An automatic theorem prover for substitution and detachment systems , 1978, Notre Dame J. Formal Log..
[14] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.
[15] Larry A. Rendell,et al. A New Basis for State-Space Learning Systems and a Successful Implementation , 1983, Artif. Intell..
[16] Jaime G. Carbonell,et al. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition , 1993 .
[17] Jörg Denzinger. Knowledge-Based Distributed Search Using Teamwork , 1995, ICMAS.