Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMancarella, P.en
dc.creatorKakas, Antonis C.en
dc.creatorMancarella, P.en
dc.date.accessioned2019-11-13T10:40:27Z
dc.date.available2019-11-13T10:40:27Z
dc.date.issued1992
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54128
dc.description.abstractWe 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.sourceThe Journal of Logic Programmingen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0000325925&doi=10.1016%2f0743-1066%2892%2990015-U&partnerID=40&md5=df20576a1048b70c8335bc2e33b8fce3
dc.titleShort note preferred extensions are partial stable modelsen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1016/0743-1066(92)90015-U
dc.description.volume14
dc.description.issue3-4
dc.description.startingpage341
dc.description.endingpage348
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Cited By :25</p>en
dc.source.abbreviationJ Logic Programen
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]
dc.gnosis.orcid0000-0001-6773-3944


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record