Splitting Epistemic Logic Programs

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

Epistemic logic programs constitute an extension of the stable models semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal al…