---
title: "FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions"
authors:
  - "Luis Fariñas del Cerro"
  - "David Pearce"
  - "Agustín Valverde"
doi: ""
url: "https://ijcai.org/proceedings/2013/137"
pdf: "https://ijcai.org/proceedings/2013/0137.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "891-896"
track: ""
keywords:
---

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

Luis Fariñas del Cerro, David Pearce, Agustín Valverde

*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.