Telecharger Cours

A Temporal Description Logic for Reasoning about Actions and Plans

This paper is a substantial extension and revision of (Artale & Franconi, 1994). The work was partially supported by the Italian National Research Council ...



Download