Lloyd-Topor Completion and General Stable Models
Logic in Computer Science
2013-01-09 v1 Artificial Intelligence
Abstract
We investigate the relationship between the generalization of program completion defined in 1984 by Lloyd and Topor and the generalization of the stable model semantics introduced recently by Ferraris et al. The main theorem can be used to characterize, in some cases, the general stable models of a logic program by a first-order formula. The proof uses Truszczynski's stable model semantics of infinitary propositional formulas.
Keywords
Cite
@article{arxiv.1301.1394,
title = {Lloyd-Topor Completion and General Stable Models},
author = {Vladimir Lifschitz and Fangkai Yang},
journal= {arXiv preprint arXiv:1301.1394},
year = {2013}
}
Comments
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary