Browsing by Author "Hadjisoteriou, Evgenios"

Now showing items 1-3 of 3

    • Conference Object  

      Argumentation and temporal persistence 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (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  

      Argumentation and the event calculus 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2012)
      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 ...
    • Article  

      Reasoning about actions and change in argumentation 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (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 ...