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.

PDF

In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) 2012.

@inproceedings{Lifschitz:pkrr12, title={Logic Programs with Intensional Functions}, author={Vladimir Lifschitz}, booktitle={Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)}, url="http://www.cs.utexas.edu/users/ai-lab?Lifschitz:pkrr12", year={2012} }