@inproceedings { , title = {An Architecture for Proof Planning Systems}, abstract = {This paper presents a generic architecture for proof planning systems in terms of an interaction between a customisable proof module and search module. These refer to both global and local information contained in reasoning states.}, conference = {Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05}, organization = {Edinburgh}, publicationstatus = {Published}, url = {https://nottingham-repository.worktribe.com/output/1020238}, year = {2005}, author = {Dennis, Louise Abigail} editor = {Kaelbling, L. P. and Saffoitti, A.} }