Show simple item record

dc.contributor.authorHadjisoteriou, Evgeniosen
dc.contributor.authorKakas, Antonis C.en
dc.creatorHadjisoteriou, Evgeniosen
dc.creatorKakas, Antonis C.en
dc.date.accessioned2019-11-13T10:40:19Z
dc.date.available2019-11-13T10:40:19Z
dc.date.issued2016
dc.identifier.issn1946-2166
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54063
dc.description.abstractThis paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language (Formula presented.) for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This forms a conservative extension of the language (Formula presented.) that gives a semantic meaning to domains that cannot be interpreted under (Formula presented.) thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence. © 2016 Taylor & Francisen
dc.sourceArgument and Computationen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84958047283&doi=10.1080%2f19462166.2015.1123774&partnerID=40&md5=7a0b977ab5853a958800794aed7df66d
dc.subjectProblem solvingen
dc.subjectArtificial intelligenceen
dc.subjectSemanticsen
dc.subjectComputer circuitsen
dc.subjectReconfigurable hardwareen
dc.subjectComputational linguisticsen
dc.subjectargumentationen
dc.subjectArgumentation theoryen
dc.subjectBased reasoningsen
dc.subjectConservative extensionsen
dc.subjectLogic-based argumentationsen
dc.subjectnarrativesen
dc.subjectreasoning about actionsen
dc.titleReasoning about actions and change in argumentationen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1080/19462166.2015.1123774
dc.description.startingpage1
dc.description.endingpage27
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 :1en
dc.description.notesArticle in Press</p>en
dc.source.abbreviationArgum.Comput.en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]
dc.gnosis.orcid0000-0001-6773-3944


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