Herzig, Andreas
and Maris, Frédéric and Vianey, Julien
Dynamic logic of parallel propositional assignments and its applications to planning.
(2019)
In: 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 10 August 2019 - 16 August 2019 (Macao, China).
![[img]](https://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png) |
(Document in English)
PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 152kB |
Official URL: https://doi.org/10.24963/ijcai.2019/774
Abstract
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | https://www.ijcai.org/proceedings/2019/774 |
| Audience (conference): | International conference proceedings |
| Uncontrolled Keywords: | |
| Institution: | Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 20 Nov 2019 14:46 |
Repository Staff Only: item control page
