Lloyd-Topor Completion and General Stable Models (2012)
Vladimir Lifschitz and Fangkai Yang
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
People
Vladimir Lifschitz Professor vl@cs.utexas.edu
Fangkai Yang Ph.D. Student fkyang@cs.utexas.edu
Labs
Texas Action Group