Journal of Arti cial Intelligence Research Submitted published
A Temporal Description Logic
for Reasoning ab out Actions and Plans
Alessandro Artale artale irst itc it
ITC IRST Cognitive and Communication Technologies Division
I Povo TN Italy
Enrico Franconi franconi cs man ac uk
Department of Computer Science