Argumentation and temporal persistence

E. Hadjisoteriou; A. Kakas

Argumentation and temporal persistence

E. Hadjisoteriou, A. Kakas

Department of Computer Science

University of Cyprus

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 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.

Original language	English
Title of host publication	Imperial College Computing Student Workshop - Proceedings of ICCSW'11
Pages	31-38
Number of pages	8
Publication status	Published - 2011
Event	1st Imperial College Computing Student Workshop, ICCSW 2011 - London, United Kingdom Duration: 29 Sept 2011 → 30 Sept 2011

Other

Other	1st Imperial College Computing Student Workshop, ICCSW 2011
Country/Territory	United Kingdom
City	London
Period	29/09/11 → 30/09/11

Keywords

Argumentation
Back-wards and forwards persistence
Narrative information
Observations

Cite this

@inproceedings{20c0f76d1a354c9eb3ddfd050d9edbe2,

title = "Argumentation and temporal persistence",

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 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.",

keywords = "Argumentation, Back-wards and forwards persistence, Narrative information, Observations",

author = "E. Hadjisoteriou and A. Kakas",

year = "2011",

language = "English",

pages = "31--38",

booktitle = "Imperial College Computing Student Workshop - Proceedings of ICCSW'11",

note = "1st Imperial College Computing Student Workshop, ICCSW 2011 ; Conference date: 29-09-2011 Through 30-09-2011",

}

TY - GEN

T1 - Argumentation and temporal persistence

AU - Hadjisoteriou, E.

AU - Kakas, A.

PY - 2011

Y1 - 2011

N2 - 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 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.

AB - 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 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.

KW - Argumentation

KW - Back-wards and forwards persistence

KW - Narrative information

KW - Observations

UR - https://www.scopus.com/pages/publications/84869037510

M3 - Conference contribution

AN - SCOPUS:84869037510

SP - 31

EP - 38

BT - Imperial College Computing Student Workshop - Proceedings of ICCSW'11

T2 - 1st Imperial College Computing Student Workshop, ICCSW 2011

Y2 - 29 September 2011 through 30 September 2011

ER -

Argumentation and temporal persistence

Abstract

Other

Keywords

Other files and links

Fingerprint

Cite this