dc.contributor.author | Dimopoulos, Yannis | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Michael, Loizos | en |
dc.contributor.editor | Niemela I. | en |
dc.contributor.editor | Lifschitz V. | en |
dc.creator | Dimopoulos, Yannis | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Michael, Loizos | en |
dc.date.accessioned | 2019-11-13T10:39:54Z | |
dc.date.available | 2019-11-13T10:39:54Z | |
dc.date.issued | 2004 | |
dc.identifier.isbn | 3-540-20721-X | |
dc.identifier.isbn | 978-3-540-20721-4 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53862 | |
dc.description.abstract | This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm. It investigates how increasing the expressiveness of a RAC formalism so that it can capture the three major problems of frame, ramification and qualification, affects its computational complexity, and how a solution to these problems can be implemented within Answer Set Programming. Our study is carried out within the particular language E. It establishes a link between language E and Answer Set Programming by presenting encodings of different versions of this language into logic programs under the answer set semantics. This provides a computational realization of solutions to problems related to reasoning about actions and change, that can make use of the recent development of effective systems for Answer Set Programming. © Springer-Verlag Berlin Heidelberg 2004. | en |
dc.publisher | Springer Verlag | en |
dc.source | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) | en |
dc.source | 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-9444260945&partnerID=40&md5=b4d640649ac76e8a571e82190ea09753 | |
dc.subject | Problem solving | en |
dc.subject | Syntax | en |
dc.subject | Computer programming | en |
dc.subject | Artificial intelligence | en |
dc.subject | Computational complexity | en |
dc.subject | Semantics | en |
dc.subject | Logic programming | en |
dc.subject | Computational issues | en |
dc.subject | Autonomous agents | en |
dc.subject | Computational linguistics | en |
dc.subject | Logic programs | en |
dc.subject | Encodings | en |
dc.subject | Answer set programming | en |
dc.subject | Answer set semantics | en |
dc.subject | Computational realization | en |
dc.subject | Effective systems | en |
dc.subject | Reasoning about action and change (RAC) | en |
dc.subject | Reasoning about actions | en |
dc.title | Reasoning about actions and change in answer set programming | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.volume | 2923 | |
dc.description.startingpage | 61 | |
dc.description.endingpage | 73 | |
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: | en |
dc.description.notes | Conference code: 121119 | en |
dc.description.notes | Cited By :7</p> | en |
dc.contributor.orcid | Dimopoulos, Yannis [0000-0001-9583-9754] | |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-9583-9754 | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |