Flexible proof-replay with heuristics

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

Volumn 1323, Issue , 1997, Pages 1-12

  Fuchs, Marc ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; HEURISTIC ALGORITHMS;

ABSTRACT FRAMEWORK; AUTOMATED THEOREM PROVER; EQUATIONAL DEDUCTION; SEARCH HEURISTICS; THEOREM PROVERS;

THEOREM PROVING;

EID: 84948962492     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023906     Document Type: Conference Paper

References (13)

1. th RTA, Kaiserslautern, FRG, 1995, LNCS 914, pp. 397-402.
2. Brock, B.; Cooper, S.; Pierce, W.; Analogical reasoning and proof discovery, Proc. CADE 9, Argonnßj IL, USA, 1988, LNCS 310, pp. 454-468.
3. Bachmair, L.; Dershowitz, N.; Plaisted, D.A.: Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin (1987), Academic Press, 1989.
4. Cover, T.M.; Hart P.E.: Nearest Neighbor pattern classification, IEEE, Transactions on Information Theory 13, pp. 21-27, 1967.
5. Fuchs, M.: Flexible Proof-Replay with Heuristics, LSA-Report, LSA-97-03E, University of Kaiserslautern, 1997.
6. Fuchs, Matt.: Experiments in the Heuristic Use of Past Proof Experience, Proc. CADE 13, New Brunswick, NJ, USA, 1996.
7. Goller, C.; Kiichler, A.: Learning Task-Dependent Distributed Representations by Backprop-agation Through Structure, Proc. ICNN-96, 1996.
8. Knuth, D.E.; Bendix, P.B.: Simple Word Problems in Universal Algebra, Computational Algebra, J. Leech, Pergamon Press, 1970, pp. 263-297.
9. !94, Amsterdam, HOL, 1994, pp. 80-84.
10. McCune, W.W.: OTTER 3.0 reference manual and guide; Techn. report ANL-94/6, Argonne Natl. Laboratory, 1994.
11. Owen, S.: Analogy for automated reasoning, Academic Press, 1990.
12. Suttner, C.; Ertel, W.: Automatic acquisition of search-guiding heuristics, Proc. CADE 10, Kaiserslautern, FRG, 1990, LNAI 449, pp. 470-484.
13. Sutcliffe, G., Suttner, C.B.; Yemenis, T.: The TPTP Problem Library, Proc. CADE 12, Nancy, Springer LNAI 814, pp. 252-266, 1994