A temporal description logic for reasoning about actions and plans (1998)

by A Artale, E Franconi
Venue:Journal of Artif. Intel. Research