Presentations

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

Luis Farinas del Cerro, David Pearce, Agustín Valverde

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.