@inproceedings{ijcai2019p774, title = {Dynamic logic of parallel propositional assignments and its applications to planning}, author = {Herzig, Andreas and Maris, Frédéric and Vianey, Julien}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {5576--5582}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/774}, url = {https://doi.org/10.24963/ijcai.2019/774}, }