Inference rights for controlling search in generating theorem provers

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

Volumn 1323, Issue , 1997, Pages 25-36

  Fuchs, Dirk ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

THEOREM PROVING;

AUTOMATED DEDUCTION SYSTEMS; GAIN EFFICIENCY; GENERATING THEOREM; INFERENCE SYSTEMS; THEORETICAL FOUNDATIONS;

ARTIFICIAL INTELLIGENCE;

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

References (13)

1. Denzinger, J.; Fuchs, D.: Referees for Teamwork, Proc. FLAIRS '96, Key West, FL, USA, 1996, pp. 454-458.
2. Fuchs, D.: Inference Rights for Controlling Search in Generating Theorem Provers, SEKI Report SR-96-12, University of Kaiserslautern, 1996.
3. Fuchs, M.: Powerful Search Heuristics Based on Weighted Symbols, Level and Features, Proc. FLAIRS '96, Key West, FL, USA, 1996, pp. 449-453.
4. Fuchs, D., Fuchs, M.: CoDe: A Powerful Prover for Problems of Condensed Detachment, Proc. CADE-14, Townsville, Australia, 1997, to appear.
5. Lukasiewicz, J. Selected Works, L. Borkowski (ed.), North-Holland, 1970.
6. McCune, W.; Wos, L.: Experiments in Automated Deduction with Condensed Detachment, Proc. CADE-11, Saratoga Springs, NY, USA, 1992, LNAI 607, pp. 209-223.
7. McCune, W.: OTTER 3.0 Reference Manual and Guide, Techn. Report ANL-94/6, Argonne Natl. Laboratory, 1994.
8. Slaney, J.: SCOTT: A Model-Guided Theorem Prover, Proc. IJCAI '93, Chambery, FRA, 1993, pp. 109-114.
9. Sutcliffe, G.; Suttner, C.; Yemenis, T.: The TPTP Problem Library, Proc. CADE-12, Nancy, FRA, 1994, LNAI 814, pp. 252-266.
10. Tarski, A.: Logic, Semantics, Metamathematics, Oxford University Press, 1956.
11. Wos, L.: Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, 1988.
12. Wos, L.: Meeting the Challenge of Fifty Years of Logic, JAR 6, 1990, pp. 213-232.
13. Wos, L.: Searching for Circles of Pure Proofs, JAR 15, 1995, pp. 279-315.