ML Anthology

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

Luis Fariñas del Cerro, David Pearce, Agustín Valverde
IJCAI 2013 pp. 891-897
/ijcai/2013/delcerro2013ijcai-fqht/

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.

PDF IJCAI Semantic Scholar

Cite

Text

del Cerro et al. "FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[del Cerro et al. "FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/delcerro2013ijcai-fqht/)

BibTeX

@inproceedings{delcerro2013ijcai-fqht,
  title     = {{FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions}},
  author    = {del Cerro, Luis Fariñas and Pearce, David and Valverde, Agustín},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {891-897},
  url       = {https://mlanthology.org/ijcai/2013/delcerro2013ijcai-fqht/}
}