Lloyd-Topor Completion and General Stable Models (2013)
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.
View:
PDF
Citation:
Theory and Practice of Logic Programming, Vol. 13, 4-5 (2013), pp. 503-515.
Bibtex:

Vladimir Lifschitz Faculty vl [at] cs utexas edu
Fangkai Yang Ph.D. Student fkyang [at] cs utexas edu