Pedro Cabalar — accepted AI-conference papers

2020

Forgetting Auxiliary Atoms in Forks (Extended Abstract)

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

IJCAI 2020poster

This work tackles the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. We call this property projective strong equivalence (PSE). It has been recently proved that not a…

Cited by 0 Source ↗PDF ↗Scholar ↗

2020

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

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

IJCAI 2020poster

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…

Cited by 0 Source ↗PDF ↗Scholar ↗