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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3386225
بازگشت