Show simple item record

dc.contributor.authorDimopoulos, Yannisen
dc.contributor.authorMagirou, V.en
dc.contributor.authorPapadimitriou, C. H.en
dc.creatorDimopoulos, Yannisen
dc.creatorMagirou, V.en
dc.creatorPapadimitriou, C. H.en
dc.date.accessioned2019-11-13T10:39:54Z
dc.date.available2019-11-13T10:39:54Z
dc.date.issued1997
dc.identifier.issn1012-2443
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53865
dc.description.abstractExtensions in prerequisite-free, disjunction-free default theories have been shown to be in direct correspondence with kernels of directed graphsen
dc.description.abstracthence default theories without odd cycles always have a "standard" kind of an extension. We show that, although all "standard" extensions can be enumerated explicitly, several other problems remain intractable for such theories: Telling whether a non-standard extension exists, enumerating all extensions, and finding the minimal standard extension. We also present a new graph-theoretic algorithm, based on vertex feedback sets, for enumerating all extensions of a general prerequisite-free, disjunction-free default theory (possibly with odd cycles). The algorithm empirically performs well for quite large theories.en
dc.sourceAnnals of Mathematics and Artificial Intelligenceen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0031506653&partnerID=40&md5=b2e2a20700239ac2e102df04f35facfd
dc.titleOn kernels, defaults and even graphsen
dc.typeinfo:eu-repo/semantics/article
dc.description.volume20
dc.description.issue1-4
dc.description.startingpage1
dc.description.endingpage12
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 :11</p>en
dc.source.abbreviationAnn.Math.Artif.Intell.en
dc.contributor.orcidDimopoulos, Yannis [0000-0001-9583-9754]
dc.gnosis.orcid0000-0001-9583-9754


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