FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 891-896.
Abstract
We study a logical system FQHT that is appropriate for reasoning about nonmonotonic theories with intensional functions as treated in the approach of Bartholomew and Lee (2012). We provide a logical semantics, a Gentzen style proof theory and establish completeness results. The adequacy of the approach is demonstrated by showing that it captures the Bartholemew/Lee semantics and satisfies a strong equivalence property.
Luis Fariñas del Cerro, David Pearce, and Agustín Valverde. 2013. FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 891–896. https://ijcai.org/proceedings/2013/137
Fariñas del Cerro, L., Pearce, D., & Valverde, A. (2013). FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 (pp. 891–896). IJCAI. https://ijcai.org/proceedings/2013/137
@inproceedings{ijcai2013p137,
title = {FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions},
author = {Fariñas del Cerro, Luis and Pearce, David and Valverde, Agustín},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {891--896},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/137},
}
TY - CPAPER TI - FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions AU - Fariñas del Cerro, Luis AU - Pearce, David AU - Valverde, Agustín T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 891 EP - 896 UR - https://ijcai.org/proceedings/2013/137 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
