Experiments in the heuristic use of past proof experience

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

Volumn 1104, Issue , 1996, Pages 523-537

  Fuchs, Matthias ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; BIOMINERALIZATION;

AUTOMATED DEDUCTION; AUTOMATED DEDUCTION SYSTEMS; INFERENCE RULES; SEARCH PROBLEM; SEARCH SPACES; TEST SETS; THEOREM PROVERS;

THEOREM PROVING;

EID: 84957703216     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_111     Document Type: Conference Paper

References (18)

1. th RTA, Montreal, CAN, 1993, LNCS 690, pp. 62-76
2. Brock, B.; Cooper, S.; Pierce, W.: Analogical reasoning and proof discovery, Proc. CADE 9, Argonne, IL, USA, 1988, LNCS 310, pp. 454-468
3. st ICMAS, San Francisco, CA, USA, 1995, pp. 81-88
4. th ICML, Tahoe City, CA, USA, 1995, pp. 235-243
5. Fuchs, M.: Experiments in the Heuristic Use of Past Proof Experience, SEKI- Report SR-95-10, University of Kaiserslautern, 1995, obtainable via WWW at the URL http: //www.uni-kl.de/AG-AvenhausMadlener/fuchs.html
6. Fuchs, M.: Powerful Search Heuristics Based on Weighted Symbols, Level and Features, Proc. FLAIRS '96, Key West, FL, USA, 1996
7. Koehler, J.; Nebel, B.: Plan modification versus plan generation, Proc. IJ- CAI '93, Chambery, FRA, 1993, pp. 1436-1444
8. th ECAI '94, Amsterdam, HOL, 1994, pp. 80-84
9. th ECML '95, Her- aklion, Crete/Greece, 1995
10. Lukasiewicz, J.: Selected Works, L. Borkowski (ed.), North-Holland, 1970
11. McCune, W.; Wos, L.: Experiments in Automated Deduction with Condensed Detachment, Proc. CADE 11, Saratoga Springs, NY, USA, 1992, LNAI 607, pp. 209-223
12. Suttner, C.; Ertel, W.: Automatic acquisition of search-guiding heuristics, Proc. CADE 10, Kaiserslautern, FRG, 1990, LNAI 449, pp. 470-484
13. Slagle, J.R.; Farrell, C.D.: Experiments in automatic learning for a multipurpose heuristic program, Communications of the ACM, Vol. 14, Nr. 2, 1971, pp. 91-99
14. Slaney, J.: SCOTT: A Model-Guided Theorem Prover, Proc. IJCAI '93, Chambery, FRA, 1993, pp. 109-114
15. Sutcliffe, G.; Suttner, C.; Yemenis, T.: The TPTP Problem Library, Proc. CADE-12, Nancy, FRA, 1994, LNAI 814, pp. 252-266
16. Tarski, A.: Logic, Semantics, Metamathematics, Oxford University Press, 1956
17. Wos, L.: Meeting the Challenge of Fifty Years of Logic, JAR 6, 1990, pp. 213-232
18. Wos, L.: Searching for Circles of Pure Proofs, JAR 15, 1995, pp. 279-315