---
title: "An Architecture for Proof Planning Systems"
authors:
  - "Louise A. Dennis"
doi: ""
url: "https://ijcai.org/proceedings/2005/243"
pdf: "https://ijcai.org/proceedings/2005/0243.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "1558-1558"
track: ""
keywords:
---

# An Architecture for Proof Planning Systems

Louise A. Dennis

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 1558-1558.

## 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.