Short note preferred extensions are partial stable models
Date
1992Source
The Journal of Logic ProgrammingVolume
14Issue
3-4Pages
341-348Google Scholar check
Metadata
Show full item recordAbstract
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.