dc.contributor.author | Dimopoulos, Yannis | en |
dc.contributor.author | Magirou, V. | en |
dc.contributor.author | Papadimitriou, C. H. | en |
dc.creator | Dimopoulos, Yannis | en |
dc.creator | Magirou, V. | en |
dc.creator | Papadimitriou, C. H. | en |
dc.date.accessioned | 2019-11-13T10:39:54Z | |
dc.date.available | 2019-11-13T10:39:54Z | |
dc.date.issued | 1997 | |
dc.identifier.issn | 1012-2443 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53865 | |
dc.description.abstract | Extensions in prerequisite-free, disjunction-free default theories have been shown to be in direct correspondence with kernels of directed graphs | en |
dc.description.abstract | hence 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.source | Annals of Mathematics and Artificial Intelligence | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031506653&partnerID=40&md5=b2e2a20700239ac2e102df04f35facfd | |
dc.title | On kernels, defaults and even graphs | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 20 | |
dc.description.issue | 1-4 | |
dc.description.startingpage | 1 | |
dc.description.endingpage | 12 | |
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 :11</p> | en |
dc.source.abbreviation | Ann.Math.Artif.Intell. | en |
dc.contributor.orcid | Dimopoulos, Yannis [0000-0001-9583-9754] | |
dc.gnosis.orcid | 0000-0001-9583-9754 | |