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:20Z
dc.date.available2019-11-13T10:40:20Z
dc.date.issued2011
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54065
dc.description.abstractWe study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language E 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. This forms a conservative extension of the language E that gives semantic meaning to domains that cannot be interpreted in the language E.en
dc.sourceImperial College Computing Student Workshop - Proceedings of ICCSW'11en
dc.source1st Imperial College Computing Student Workshop, ICCSW 2011en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84869037510&partnerID=40&md5=f746387b74230bfafea40a17b643fcbc
dc.subjectStudentsen
dc.subjectProblem solvingen
dc.subjectSemanticsen
dc.subjectLogic programmingen
dc.subjectArgumentationen
dc.subjectReasoning about actionsen
dc.subjectArgumentation frameworksen
dc.subjectConservative extensionsen
dc.subjectBack-wards and forwards persistenceen
dc.subjectNarrative informationen
dc.subjectObservationsen
dc.subjectTemporal persistenceen
dc.titleArgumentation and temporal persistenceen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.description.startingpage31
dc.description.endingpage38
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notes<p>Sponsors: Google Inc.en
dc.description.notesImperial College Londonen
dc.description.notesConference code: 93817</p>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