We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
A Road Map of Interval Temporal Logics and Duration Calculi
MONTANARI, Angelo;SCIAVICCO, Guido
2004-01-01
Abstract
We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
survey-janclFinal.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
374.43 kB
Formato
Adobe PDF
|
374.43 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
