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

by E Franconi A Artale
Venue:Journal of Artificial Intelligence Research