Abstract | ||
---|---|---|
We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.entcs.2005.11.025 | Electronic Notes in Theoretical Computer Science |
Keywords | DocType | Volume |
Proof Planning | Journal | 151 |
Issue | ISSN | Citations |
1 | 1571-0661 | 1 |
PageRank | References | Authors |
0.35 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Louise A. Dennis | 1 | 360 | 37.62 |
Mateja Jamnik | 2 | 158 | 30.79 |
Martin Pollet | 3 | 110 | 13.15 |