FQHT: the logic of stable models for logic programs with intensional functions

Authors:
Luis Fariñas Del Cerro;David Pearce;Agustín Valverde
Affiliations:
Université de Toulouse, FR;Universidad Politécnica de Madrid, SP;Universidad de Málaga, SP
Venue:
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Year:
2013

Citing 7
Cited 0

Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Partial Functions and Equality in Answer Set Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A new perspective on stable models

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A characterization of strong equivalence for logic programs with variables

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Functional answer set programming

Theory and Practice of Logic Programming
A "conservative" approach to extending answer set programming with non-herbrand functions

Correct Reasoning
Bi-state logic

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.