Formalisation of Action with Durations in Answer Set Programming

Etienne Tignon

In this paper, I will discuss the work I am currently doing as a Ph.D. student at the University of Potsdam, under the tutoring of T. Schaub. I'm currently looking into action desc…