Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Propositional Interval Temporal Logics: Some Promising Paths
MONTANARI, Angelo
2005
conference object
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.
DOI
10.1109/TIME.2005.30
WOS
WOS:000231875700029
Archivio
http://hdl.handle.net/11390/737860
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33646175984
Diritti
closed access
Soggetti
interval temporal log...
Scopus© citazioni
4
Data di acquisizione
Jun 2, 2022
Vedi dettagli
Web of Science© citazioni
4
Data di acquisizione
Mar 25, 2024
google-scholar
Vedi dettagli