Browsing by Subject "Conservative extensions"
Now showing items 1-2 of 2
-
Conference Object
Argumentation and temporal persistence
(2011)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 ...
-
Article
Reasoning about actions and change in argumentation
(2016)This 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 ...