Proceedings

Agustín Valverde

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
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards