{"type":"ScholarlyArticle","title":"A Formal Model for Classical Planning","authors":[{"name":"Jens Christensen","slug":"jens-christensen","given":"Jens","family":"Christensen","affiliation":""},{"name":"Adam J. Grove","slug":"adam-j-grove","given":"Adam J.","family":"Grove","affiliation":""}],"abstract":"In this paper, we describe a formal semantic model that applies to many \"classical\" planning systems. This gives a unifying framework in which to study diverse planners, and motivates formal logics that can be used to study their properties. As an example of the model's utility, we present a general truth criterion which tests for the necessary truth of a proposition at arbitrary points in the planning process .","doi":null,"url":"https://ijcai.org/proceedings/1991/37","pdf":"https://ijcai.org/proceedings/1991/0037.pdf","markdown":"https://ijcai.org/proceedings/1991/37.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/37","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":37,"pages":{"first":246,"last":250},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}