A Computational Account for a Description Logic of Time and Action
Authors:
- Alessandro ArtaleAAAlessandro Artale
- Enrico FranconiEFEnrico Franconi
- 1 January 1994
- book chapter
- Published by Elsevier
- p. 3-14
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Combining terminological logics with tense logic1993
- Terminological logic involving time and evolution: A preliminary report1993
- A propositional modal logic of time intervalsJournal of the ACM, 1991
- Expressiveness and completeness of an interval tense logic.Notre Dame Journal of Formal Logic, 1990
- Exact and approximate reasoning about temporal relations1Computational Intelligence, 1990
- ON THE SEMANTICS OF STRIPS1987