DELPHIC ASP - An Answer Set Programming model of the DELPHIC semantics

Code and data

• GitHub repository

Description

DELPHIC is a novel semantics for Dynamic Epistemic Logic based on an alternative representation of epistemic states called possibilities. DELPHIC ASP is an Answer Set Programming model of a DEL-based epistemic planner built on top of the DELPHIC semantics. Since the DELPHIC semantics comprises the full range of DEL actions, DELPHIC ASP generalizes the PLATO solver.

Publications

• DELPHIC: Practical DEL Planning via Possibilities. Burigana, A., Felli, P., and Montali, M. (JELIA 2023)