{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T11:43:57Z","timestamp":1769600637506,"version":"3.49.0"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"abstract":"<jats:p>We introduce a dynamic logic with parallel composition and two kinds of nondeterministic composition, exclusive and inclusive. We show PSPACE completeness of both the model checking and the satisfiability problem and apply our logic to sequential and parallel classical planning where actions have conditional effects.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/774","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:46:05Z","timestamp":1564285565000},"page":"5576-5582","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic logic of parallel propositional assignments and its applications to planning"],"prefix":"10.24963","author":[{"given":"Andreas","family":"Herzig","sequence":"first","affiliation":[{"name":"IRIT-CNRS"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Maris","sequence":"additional","affiliation":[{"name":"IRIT-Univ. Toulouse"}]},{"given":"Julien","family":"Vianey","sequence":"additional","affiliation":[{"name":"IRIT-Univ. Toulouse"}]}],"member":"10584","event":{"name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","theme":"Artificial Intelligence","location":"Macao, China","acronym":"IJCAI-2019","number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2019,8,10]]},"end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:51:43Z","timestamp":1564285903000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/774"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/774","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}