147 citations
1 paper
A. Artale, E. Franconi
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while…