|
1. |
Propositional interval temporal logics: some promising paths
Montanari, A.;
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
23-25 June 2005
Page(s):201
-
203
Abstract:
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.
|
Cart
