Proofs as schemas and their heuristic use
From MaRDI portal
Publication:1583854
DOI10.1006/jsco.1999.0349zbMath0959.68114MaRDI QIDQ1583854
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
Uses Software
Cites Work
- Meeting the challenge of fifty years of logic
- Progress in artificial intelligence. 8th Portuguese conference, EPIA '97, Coimbra, Portugal, October 6--9, 1997. Proceedings
- Searching for circles of pure proofs
- Using hints to increase the effectiveness of an automated reasoning program: Case studies
- Recording and analysing knowledge-based distributed deduction processes
- Learning domain knowledge to improve theorem proving
- Experiments in the heuristic use of past proof experience
- The TPTP problem library
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item