Proofs as schemas and their heuristic use

DOI10.1006/JSCO.1999.0349MaRDI QIDQ1583854zbMATH OpenOpenAlexFDO

Authors R. Smith

Publication date 6 February 2001

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1999.0349

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Recommendations

• Experiments in the heuristic use of past proof experience
• Automatic acquisition of search guiding heuristics
• scientific article; zbMATH DE number 1765701
• scientific article; zbMATH DE number 6938205
• scientific article; zbMATH DE number 19780

Cites work

• Experiments in the heuristic use of past proof experience
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 52140 (Why is no real title available?)
• scientific article; zbMATH DE number 1249705 (Why is no real title available?)
• scientific article; zbMATH DE number 1324436 (Why is no real title available?)
• scientific article; zbMATH DE number 465753 (Why is no real title available?)
• scientific article; zbMATH DE number 741526 (Why is no real title available?)
• scientific article; zbMATH DE number 1064416 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Learning domain knowledge to improve theorem proving
• Meeting the challenge of fifty years of logic
• Progress in artificial intelligence. 8th Portuguese conference, EPIA '97, Coimbra, Portugal, October 6--9, 1997. Proceedings
• Recording and analysing knowledge-based distributed deduction processes
• Searching for circles of pure proofs
• The TPTP problem library
• Using hints to increase the effectiveness of an automated reasoning program: Case studies

Cited in

(8)

• Portfolio theorem proving and prover runtime prediction for geometry
• Schematic refutations of formula schemata
• Improving the time efficiency of proving theorems using a learning mechanism
• Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps
• scientific article; zbMATH DE number 19780 (Why is no real title available?)
• scientific article; zbMATH DE number 1737186 (Why is no real title available?)
• Using mixture of experts method in combining search-guiding heuristics for theorem proving
• Hierarchical invention of theorem proving strategies

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Proofs as schemas and their heuristic use

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583854)