A Temporal Description Logic for Reasoning about Actions and Plans

Cite this paper

@article{Artale1998ATD, title={A Temporal Description Logic for Reasoning about Actions and Plans}, author={Alessandro Artale and Enrico Franconi}, journal={J. Artif. Intell. Res.}, year={1998}, volume={9}, pages={463-506} }