Decidability Results in First-Order Epistemic Planning.

Andrs Occhipinti Liberman, Rasmus Krmmer Rendsvig

Browse the full IJCAI paper archive.