Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks. In this logic, the agent's knowledge…