Pearce, David

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 2013 FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions Luis Fariñas del Cerro, David Pearce, Agustín Valverde

IJCAI 2011 An Approach to Minimal Belief via Objective Belief David Pearce, Levan Uridia

JAIR 2011 Interpolable Formulas in Equilibrium Logic and Answer Set Programming Dov M. Gabbay, David Pearce, Agustín Valverde