Welcome     Bio sketch     Jobs     Courses     Projects     Boards/Committees
Publications     Seminars     Research Interests     PhD Students     Digressions

[C82] Bresolin D., Della Monica D., Montanari A., Sciavicco G., "The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT". Proceedings of the 18h International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society, Lubeck, Germany, September 2011, pp. 123-130.

[C81] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "The dark side of Interval Temporal Logics: sharpening the undecidability border". Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Lubeck, Germany, September 2011, pp. 131-138.

[C80] Combi C., Montanari A., Sala P., "A framework for temporal functional dependencies with multiple granularities", Proceedings of the 12th International Symposium on Spatial and Temporal Databases (SSTD), LNCS 6849, Springer, Minneapolis, MN, USA, August 2011, pp. 404-421.

[C79] Della Monica D., Goranko V., Montanari A., Sciavicco G., "Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification", Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, July 2011, pp. 845-850.

[C78] Bresolin D., Montanari A., Sala P., Sciavicco G., "Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders", Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNAI 6793, Springer, Bern, Switzerland, July 2011, pp. 73-87 (slides).

[C77] Bresolin D., Montanari A., Sala P., Sciavicco G., "What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBbarLbar", Proceedings of the 26th Symposium on Logic in Computer Science (LICS), IEEE Comp. Society Press, Toronto, Canada, June 2011, pp. 387-396 (slides).

[C76] Bresolin D., Montanari A., Sala P., Sciavicco G., "An Optimal Decision Procedure for MPNL over the Integers", Proceedings of the 2nd International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Minori (SA), Italy, June 2011, pp. 73-87.

[J38] Della Monica D., Goranko V., Montanari A., Sciavicco G., "Interval Temporal Logics: a Journey". Bulletin of the European Association for Theoretical Computer Science, number 105, October 2011, pp. 73-99.