Search: A Blackboard Architecture For Guiding Interactive Proofs
1998
[1]A Blackboard Architecture for Guiding Interactive Proofs (Christoph Benzmüller, Volker Sorge), In Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings (Fausto Giunchiglia, ed.), Springer, LNCS, number 1480, pp. 102-114, 1998. (Preprint: http://christoph-benzmueller.de/papers/C4.pdf) [bibtex] [doi]