Short note preferred extensions are partial stable models
AuthorKakas, Antonis C.
SourceThe Journal of Logic Programming
Google Scholar check
MetadataShow full item record
We show that two recently presented proposals for the semantics of normal logic programs, namely partial stable models of Saccá and Zaniolo and preferred extensions of Phan Minh Dung coincide. © 1992.