Skip to main content
Conference ProceedingsOPEN ACCESS

Dynamic logic of parallel propositional assignments and its applications to planning

IJCAI International Joint Conference on Artificial Intelligence (2019) 2019-August 5576-5582
DOI: 10.24963/ijcai.2019/774
7Citations
Citations of this article
15Readers
Mendeley users who have this article in their library.

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.

Cite

CITATION STYLE

APA

Herzig, A., Maris, F., & Vianey, J. (2019). Dynamic logic of parallel propositional assignments and its applications to planning. In IJCAI International Joint Conference on Artificial Intelligence (Vol. 2019-August, pp. 5576–5582). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2019/774

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free