DocumentCode
3386225
Title
Propositional interval temporal logics: some promising paths
Author
Montanari, Angelo
Author_Institution
Dipt. di Matematica e Informatica, Universita degli Studi di Udine, Italy
fYear
2005
fDate
23-25 June 2005
Firstpage
201
Lastpage
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.
Keywords
decidability; temporal logic; decidability; propositional interval temporal logic; time interval; Algebra; Algorithm design and analysis; Artificial intelligence; Computer science; Logic functions; Logic programming; Natural language processing; Natural languages; Ontologies; Process planning;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
ISSN
1530-1311
Print_ISBN
0-7695-2370-6
Type
conf
DOI
10.1109/TIME.2005.30
Filename
1443372
Link To Document