dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Mancarella, P. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Mancarella, P. | en |
dc.date.accessioned | 2019-11-13T10:40:27Z | |
dc.date.available | 2019-11-13T10:40:27Z | |
dc.date.issued | 1992 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54128 | |
dc.description.abstract | 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. | en |
dc.source | The Journal of Logic Programming | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0000325925&doi=10.1016%2f0743-1066%2892%2990015-U&partnerID=40&md5=df20576a1048b70c8335bc2e33b8fce3 | |
dc.title | Short note preferred extensions are partial stable models | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1016/0743-1066(92)90015-U | |
dc.description.volume | 14 | |
dc.description.issue | 3-4 | |
dc.description.startingpage | 341 | |
dc.description.endingpage | 348 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :25</p> | en |
dc.source.abbreviation | J Logic Program | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |