A Temporal Description Logic for Reasoning about Actions and Plans

Open in new window