[C167] Brunello A., Geatti L., Montanari A., and Saccomanno N., "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring". Proceedings of the International Joint Conference on Artificial Intelligence 2024 (IJCAI), Jeju Island, South Korea, August, 2024.


[C99] Aceto L., Della Monica D., Ingolfsdottir A., Montanari A., and Sciavicco G., "On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders". Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA), E. Ferme and J. Leite (Eds.), LNAI 8761, Springer, Madeira, Portugal, September 2014, pp. 267-281.


[C98] Montanari A., Pazzaglia M., Sala P., "Adding two equivalence relations to the interval temporal logic AB". Proceedings of the 15th Italian Conference on Theoretical Computer Science (ICTCS), Perugia, Italy, September 2014, pp. 171-182.


[C97] Montanari A., Sala P., "Interval-based Synthesis". Proceedings of the 5th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Verona, Italy, September 2014, pp. 102-115.


[C96] Montanari A., Murano A., Perelli G., and Peron A., "Checking Interval Properties of Computations". Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Verona, Italy, September 2014, pp. 59-68.


[C95] Montanari A., Pazzaglia M., Sala P., "Metric Propositional Neighborhood Logic with an Equivalence Relation". Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Verona, Italy, September 2014, pp. 49-58.


[C94] Montanari A., Puppis G., Sala P., "Decidability of the interval temporal logic AAbarBBbar over the rationals". Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS), Part I, LNCS 8634, Springer, Budapest, Hungary, August 2014, pp. 451–463.


[C93] Artale A., Bresolin D., Montanari A., Sciavicco G., Ryzhikov V., "DL-Lite and Interval Temporal Logics: a Marriage Proposal". Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, August 2014, pp. 957-958.


[C92] Della Monica D., Montanari A., Sciavicco G., Tishkovsky D., "First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics". Proceedings of the 5th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS), Venice, Italy, May 2014, pp. 32-37.


[J45] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity ",     Theoretical Computer Science, vol. 560, n. 3, December 2014, pp. 269-291(doi: 10.1016/j.tcs.2014.03.033).


[J44] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "The dark side of Interval Temporal Logic: marking the undecidability border",     Annals of Mathematics and Artificial Intelligence, vol. 71, n. 1-3, July 2014, pp. 41-83 (doi: 10.1007/s10472-013-9376-4).


[J43] Bresolin D., Della Monica D., Montanari A., Sciavicco G., "The Light Side of Interval Temporal Logic: the Bernays-Schoenfinkel fragment of CDT",     Annals of Mathematics and Artificial Intelligence, vol. 71, n. 1-3, July 2014, pp. 11-39 (doi: 10.1007/s10472-013-9337-y).