{"type":"ScholarlyArticle","title":"FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions","authors":[{"name":"Luis Fariñas del Cerro","slug":"luis-farinas-del-cerro","given":"Luis","family":"Fariñas del Cerro","affiliation":""},{"name":"David Pearce","slug":"david-pearce","given":"David","family":"Pearce","affiliation":""},{"name":"Agustín Valverde","slug":"agustin-valverde","given":"Agustín","family":"Valverde","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2013/137","pdf":"https://ijcai.org/proceedings/2013/0137.pdf","markdown":"https://ijcai.org/proceedings/2013/137.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/137","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":137,"pages":{"first":891,"last":896},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}