Agustín Valverde

Universidad de Málaga , SP

1 paper in the IJCAI proceedings

IJCAI 2013

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

with Luis Fariñas del Cerro, David Pearce

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings