dc.contributor.author | Hadjisoteriou, Evgenios | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.editor | Artikis A. | en |
dc.contributor.editor | Craven R. | en |
dc.contributor.editor | Cicekli N.K. | en |
dc.contributor.editor | Sadighi B. | en |
dc.contributor.editor | Stathis, Kostas | en |
dc.creator | Hadjisoteriou, Evgenios | en |
dc.creator | Kakas, Antonis C. | en |
dc.date.accessioned | 2019-11-13T10:40:20Z | |
dc.date.available | 2019-11-13T10:40:20Z | |
dc.date.issued | 2012 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54064 | |
dc.description.abstract | We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language for ε Reasoning about Actions and Change into a Logic Programming argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. The paper discusses how this extended argumentation formulation is close to the original Event Calculus proposed by Kowalski and Sergot in 1986. © 2012 Springer-Verlag Berlin Heidelberg. | en |
dc.source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84861033785&doi=10.1007%2f978-3-642-29414-3_7&partnerID=40&md5=63e5abff710f4c37d61ec040228cfc6d | |
dc.subject | Problem solving | en |
dc.subject | Logic programming | en |
dc.subject | Argumentation | en |
dc.subject | Argumentation frameworks | en |
dc.subject | Event Calculus | en |
dc.subject | Reasoning about Actions | en |
dc.title | Argumentation and the event calculus | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-642-29414-3_7 | |
dc.description.volume | 7360 LNCS | en |
dc.description.startingpage | 103 | |
dc.description.endingpage | 122 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |