{"type":"ScholarlyArticle","title":"Reasoning about actions: Non-deterministic effects, Constraints, and Qualification","authors":[{"name":"Chitta Baral","slug":"chitta-baral","given":"Chitta","family":"Baral","affiliation":""}],"abstract":"In this paper we propose the language of 'state specifications' to uniformly specify effect of actions, exec utability condition of actions, and dynamic and static constraints . This language allows us to be able to express effects of action and constraints with same first order representation but different intuitiv e behavior to be specified differently. We then discuss how we can use state specifications to e xt e nd the action desc ription languages A and £ 0 .","doi":null,"url":"https://ijcai.org/proceedings/1995/259","pdf":"https://ijcai.org/proceedings/1995/0259.pdf","markdown":"https://ijcai.org/proceedings/1995/259.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/259","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":259,"pages":{"first":2017,"last":2025},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}