Towards Fine-Grained Proof Planning with Critical Agents (1999)
by
Christoph Benzmüller
,
Volker Sorge
| Citations: | 2 - 1 self |
BibTeX
@MISC{Benzmüller99towardsfine-grained,
author = {Christoph Benzmüller and Volker Sorge},
title = {Towards Fine-Grained Proof Planning with Critical Agents},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 258 | The Use of Explicit Plans to Guide Inductive Proofs - Bundy - 1988 |
| 24 | A Blackboard Architecture for Guiding Interactive Proofs - Benzmüller, Sorge - 1998 |
| 14 | Critical agents supporting interactive theorem proving - Benzmüller, Sorge |
| 1 | Normal natural deductionproofs (in classical logic - Sieg, Byrnes - 1998 |
