Undecidability of Interval Temporal Logics with the Overlap Modality

Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco

Undecidability of Interval Temporal Logics with the Overlap Modality

Davide Bresolin
, Dario Della Monica
, Valentin Goranko
, Angelo Montanari
, Guido Sciavicco

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 16h International Symposium on Temporal Representation and Reasoning
Publisher	IEEE Computer Society Press
Publication date	2009
Pages	88-95
Publication status	Published - 2009
Event	16th International Symposium on Temporal Representation and Reasoning - Bressanone-Brixen, Italy Duration: 23 Jul 2009 → 25 Jul 2009 Conference number: 16

Conference

Conference	16th International Symposium on Temporal Representation and Reasoning
Number	16
Country/Territory	Italy
City	Bressanone-Brixen
Period	23/07/2009 → 25/07/2009

OpenUrl availability

Full text

Cite this

@inproceedings{fa1e3cbe99334ed39c9fc0a2dc9ed4aa,

title = "Undecidability of Interval Temporal Logics with the Overlap Modality",

author = "Davide Bresolin and \{Della Monica\}, Dario and Valentin Goranko and Angelo Montanari and Guido Sciavicco",

year = "2009",

language = "English",

pages = "88--95",

booktitle = "Proceedings of the 16h International Symposium on Temporal Representation and Reasoning",

publisher = "IEEE Computer Society Press",

note = "16th International Symposium on Temporal Representation and Reasoning, TIME'2009 ; Conference date: 23-07-2009 Through 25-07-2009",

}

Bresolin, D, Della Monica, D, Goranko, V, Montanari, A & Sciavicco, G 2009, Undecidability of Interval Temporal Logics with the Overlap Modality. in Proceedings of the 16h International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, pp. 88-95, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23/07/2009.

Undecidability of Interval Temporal Logics with the Overlap Modality. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin et al.
Proceedings of the 16h International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2009. p. 88-95.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Undecidability of Interval Temporal Logics with the Overlap Modality

AU - Bresolin, Davide

AU - Della Monica, Dario

AU - Goranko, Valentin

AU - Montanari, Angelo

AU - Sciavicco, Guido

N1 - Conference code: 16

PY - 2009

Y1 - 2009

M3 - Article in proceedings

SP - 88

EP - 95

BT - Proceedings of the 16h International Symposium on Temporal Representation and Reasoning

PB - IEEE Computer Society Press

T2 - 16th International Symposium on Temporal Representation and Reasoning

Y2 - 23 July 2009 through 25 July 2009

ER -