{"type":"ScholarlyArticle","title":"The Logic of Dynamic Systems","authors":[{"name":"Michael Thielscher","slug":"michael-thielscher","given":"Michael","family":"Thielscher","affiliation":""}],"abstract":"A formal theory of actions and change in dynamic systems is presented. Our formalism is based on the paradigm that state transitions in a system naturally occur while time passes by; one or more agents have the possibility to direct the development ofthe system by executing actions . Our theory covers concurrency of actions and events and includes a natural way to express delayed effects and nondeterminism. A uniform semantics for specifications of dynamic systems is developed, which enables us to express solutions to problems like temporal projection, planning and postdiction in terms of logical entailment .","doi":null,"url":"https://ijcai.org/proceedings/1995/251","pdf":"https://ijcai.org/proceedings/1995/0251.pdf","markdown":"https://ijcai.org/proceedings/1995/251.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/251","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":251,"pages":{"first":1956,"last":1962},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}