Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

Open in new window