UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Stable Models for Infinitary Formulas with Extensional Atoms (2016)
Amelia Harrison
and
Vladimir Lifschitz
The definition of stable models for propositional formulas with infinite conjunctions and disjunctions can be used to describe the semantics of answer set programming languages. In this note, we enhance that definition by introducing a distinction between intensional and extensional atoms. The symmetric splitting theorem for first-order formulas is then extended to infinitary formulas and used to reason about infinitary definitions.
View:
PDF
Citation:
Theory and Practice of Logic Programming
, Vol. 15, 5-6 (2016), pp. 771--786.
Bibtex:
@article{harlif:iclp16, title={Stable Models for Infinitary Formulas with Extensional Atoms}, author={Amelia Harrison and Vladimir Lifschitz}, volume={15}, journal={Theory and Practice of Logic Programming}, number={5-6}, pages={771--786}, url="http://www.cs.utexas.edu/users/ai-lab?harlif:iclp16", year={2016} }
People
Amelia Harrison
Ph.D. Alumni
ameliaj [at] cs utexas edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu