UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Logic Programs with Intensional Functions (2012)
Vladimir Lifschitz
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:
@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} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming