Short note preferred extensions are partial stable models

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

Files in this item

Files	Size	Format	View
There are no files associated with this item.