Fariñas del Cerro, Luis and Pearce, David and Valverde, Agustin FQHT : The Logic of Stable Models for Logic Programs with Intensional Functions. (2013) In: 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 3 August 2013 - 9 August 2013 (Beijing, China).
![[img]](https://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png) |
(Document in English)
PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 209kB |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | ISBN 978-1-57735-633-2 http://ijcai.org/papers13/Papers/IJCAI13-137.pdf |
| Audience (conference): | International conference proceedings |
| Uncontrolled Keywords: | |
| Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) Other partners > Universidad Politécnica de Madrid (SPAIN) Other partners > University of Malaga (SPAIN) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 26 Jun 2015 13:42 |
Repository Staff Only: item control page
