Applying case-based reasoning to automated deduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1266, Issue , 1997, Pages 23-32

  Fuchs, Marc ^a   Fuchs, Matthias ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATION; HEURISTIC METHODS; PROBLEM SOLVING; THEOREM PROVING;

AUTOMATED DEDUCTION; CASE ADAPTATION; IMPROVE PERFORMANCE; PROOF TRANSFORMATION; SEARCH PROBLEM; THEOREM PROVERS;

CASE BASED REASONING;

EID: 84957544844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63233-6_475     Document Type: Conference Paper

References (17)

1. Aha, D.W.: Case-based, Learning Algorithms, Proc. Case-based Reasoning Workshop, Morgan Kaufmann Publishers, 1991.
2. Althoff, K.-D.; Wess, S.: Case-Based Knowledge Acquisition, Learning and Problem Solving in Diagnostic Real World Tasks, Proc. EKAW, 1991, pp. 48-67.
3. th RTA, 1995, Springer LNCS 914, pp. 397-402.
4. Bachmair, L.; Dershowitz, N.; Plaisted, D.: Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin, TX, USA (1987), Academic Press, 1989.
5. Brock, B.; Cooper, S.; Pierce, W.: Analogical reasoning and proof discovery, Proc. CADE-9, 1988, Springer LNCS 310, pp. 454-468.
6. th KI-94, 1994, Springer LNAI 861, pp. 343-354.
7. Denzinger J.; Schulz, S.: Learning Domain Knowledge to Improve Theorem Proving, Proc. CADE-13, 1996, Springer LNAI 1104, pp. 62-76.
8. th ICML, 1995, Morgan Kaufmann, pp. 235-243.
9. Fuchs, M.: Experiments in the Heuristic Use of Past Proof Experience, Proc. CADE-13, 1996, Springer LNAI 1104, pp. 523-537.
10. th ECAI ’94, 1994, pp. 80-84.
11. Kolodner, J.L.: Retrieval and Organizational Strategies in Conceptual Memory, Ph.D. Thesis, Yale University, 1980.
12. Kolodner, J.L.: An Introduction to Case-Based Reasoning, Artificial Intelligence Review 6:3-34, 1992.
13. McCune, W.W.: OTTER 3.0 reference manual and guide, Techn. Report ANL-94/6, Argonne Natl. Laboratory, 1994.
14. th IJCAI, 1995, pp. 182-189.
15. Sutcliffe, G.; Suttner, C.: First ATP System Competition held on August 1 in conjunction with the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, NJ, USA, 1996; Competition results available via WWW at http://www.jessen.informatik.tu-muenchen.de/~tptp/CASC-13.
16. Sutcliffe, G.; Suttner, C.B.; Yemenis, T.: The TPTP Problem Library, Proc. CADE-12, 1994, Springer LNAI 814, pp. 252-266.
17. Suttner, C.; Ertel, W.: Automatic acquisition of search-guiding heuristics, Proc. CADE-10, 1990, Springer LNAI 449, pp. 470-484.