Valverde, Agustín

2 publications

IJCAI 2013 FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions Luis Fariñas del Cerro, David Pearce, Agustín Valverde

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