Luis Fariñas del Cerro

On the Splitting Property for Epistemic Logic Programs (Extended Abstract)

Epistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called "subjective literals." Informally speaking, a subjective literal allows checking whether some objective literal is true in all or some stable models. However, its associated semantics ha…