dc.contributor.author | Dimopoulos, Yannis | en |
dc.contributor.author | Nebel, B. | en |
dc.contributor.author | Toni, F. | en |
dc.creator | Dimopoulos, Yannis | en |
dc.creator | Nebel, B. | en |
dc.creator | Toni, F. | en |
dc.date.accessioned | 2019-11-13T10:39:55Z | |
dc.date.available | 2019-11-13T10:39:55Z | |
dc.date.issued | 1999 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53874 | |
dc.description.abstract | Based on an abstract framework for nonmonotonic reasoning, Bondarenko et at. have extended the logic programming semantics of admissible and preferred arguments to other nonmonotonic formalisms such as circumscription, autoepisternic logic and default logic. Although the new semantics have been tacitly assumed to mitigate the computational problems of nonmonotonic reasoning under the standard semantics of stable extensions, it seems questionable whether they improve the worst-case behaviour. As a matter of fact, we show that credulous reasoning under the new semantics in propositional logic programming and prepositional default logic has the same computational complexity as under the standard semantics. Furthermore, sceptical reasoning under the admissibility semantics is easier - since it is trivialised to monotonic reasoning. Finally, sceptical reasoning under the preferability semantics is harder than under the standard semantics. | en |
dc.source | IJCAI International Joint Conference on Artificial Intelligence | en |
dc.source | 16th International Joint Conference on Artificial Intelligence, IJCAI 1999 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0000411688&partnerID=40&md5=628e6562fb7650511550f1897b8e9853 | |
dc.subject | Artificial intelligence | en |
dc.subject | Semantics | en |
dc.subject | Logic programming | en |
dc.subject | Formal logic | en |
dc.subject | Propositional logic | en |
dc.subject | Default logic | en |
dc.subject | Non-monotonic reasoning | en |
dc.subject | Nonmonotonic | en |
dc.subject | Abstract framework | en |
dc.subject | Admissibility semantics | en |
dc.subject | Computational problem | en |
dc.subject | Logic programming semantics | en |
dc.title | Preferred arguments are harder to compute than stable extensions | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.volume | 1 | |
dc.description.startingpage | 36 | |
dc.description.endingpage | 41 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: International Joint Conferences on Artificial | en |
dc.description.notes | Intelligence, Inc. (IJCAII) | en |
dc.description.notes | Scandinavian AI Societies | en |
dc.description.notes | Ericsson | en |
dc.description.notes | Microsoft | en |
dc.description.notes | Conference code: 97869 | en |
dc.description.notes | Cited By :28</p> | en |
dc.contributor.orcid | Dimopoulos, Yannis [0000-0001-9583-9754] | |
dc.gnosis.orcid | 0000-0001-9583-9754 | |