Dynamic logic of parallel propositional assignments and its applications to planning.

Andreas Herzig, Frdric Maris, Julien Vianey

Browse the full IJCAI paper archive.