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.
View:
PDF
Citation:
In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) 2012.
Bibtex:

Vladimir Lifschitz Faculty vl [at] cs utexas edu