AAAI Publications, Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Logic Programs with Intensional Functions
Vladimir Lifschitz

Last modified: 2012-05-17


The stable model semantics treats a logic program as a mechanism for specifying its intensional predicates. In this paper we discuss a modification of that semantics in which functions, rather than predicates, are intensional. The idea of the new definition comes from nonmonotonic causal logic.


stable models; answer set programming; nonmonotonic reasoning

Full Text: PDF