{"type":"ScholarlyArticle","title":"Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis","authors":[{"name":"Diego Calvanese","slug":"diego-calvanese","given":"Diego","family":"Calvanese","affiliation":""},{"name":"Marco Montali","slug":"marco-montali","given":"Marco","family":"Montali","affiliation":""},{"name":"Fabio Patrizi","slug":"fabio-patrizi","given":"Fabio","family":"Patrizi","affiliation":""},{"name":"Giuseppe De Giacomo","slug":"giuseppe-de-giacomo","given":"Giuseppe","family":"De Giacomo","affiliation":""}],"abstract":"In this paper, we overview the recently introduced general framework of Description Logic Based Dynamic Systems, which leverages Levesque's functional approach to model systems that evolve the extensional part of a description logic knowledge base by means of actions. This framework is parametric w.r.t. the adopted description logic and the progression mechanism. In this setting, we discuss verification and adversarial synthesis for specifications expressed in a variant of first-order mu-calculus, with a controlled form of quantification across successive states, and present key decidability results under the natural assumption of state-boundedness.","doi":null,"url":"https://ijcai.org/proceedings/2015/604","pdf":"https://ijcai.org/proceedings/2015/0604.pdf","markdown":"https://ijcai.org/proceedings/2015/604.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/604","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Best Papers from Sister Conferences Track","track":"Best Papers from Sister Conferences Track","number":604,"pages":{"first":4247,"last":4252},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}