A Computational Account for a Description Logic of Time and Action.

Alessandro Artale, Enrico Franconi

Browse the full KR paper archive.