{"type":"ScholarlyArticle","title":"An Architecture for Proof Planning Systems","authors":[{"name":"Louise A. Dennis","slug":"louise-a-dennis","given":"Louise A.","family":"Dennis","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2005/243","pdf":"https://ijcai.org/proceedings/2005/0243.pdf","markdown":"https://ijcai.org/proceedings/2005/243.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/243","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":243,"pages":{"first":1558,"last":1558},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}