Epistemic Logic Programs: a study of some properties

Stefania Costantini, Andrea Formisano

Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with epistemic operators. The semantics of such programs is provided in terms of world views, which are sets of…