Cabalar, Pedro

4 publications

IJCAI 2020 Forgetting Auxiliary Atoms in Forks (Extended Abstract) Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

IJCAI 2020 On the Splitting Property for Epistemic Logic Programs (Extended Abstract) Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

IJCAI 2016 An ASP Semantics for Default Reasoning with Constraints Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

AAAI 2002 A Three-Valued Characterization for Strong Equivalence of Logic Programs Pedro Cabalar