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

[C91] Aceto L., Della Monica D., Ingólfsdóttir A., Montanari A., Sciavicco G., "An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics". Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNCS 8312, Springer, Stellembosch, South Africa, December 2013, pp. 1-17.

[C90] Aceto L., Della Monica D., Ingólfsdóttir A., Montanari A., Sciavicco G., "A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders". Proceedings of the 20th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Pensacola, FL, USA, September 2013, pp. 65-72.

[C89] Bresolin D., Della Monica D., Montanari A., Sciavicco G., "A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation (System Description)”, Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), D. Galmiche and D. Larchey-Wendling (Eds.), LNCS 8123, Springer, Nancy, France, September, 2013, pp. 74-80.

[C88] Montanari A., Sala P., "Adding an equivalence relation to the interval logic ABBbar: complexity and expressiveness".Proceedings of the 28th Symposium on Logic in Computer Science (LICS), IEEE Comp. Society Press, New Orleans, USA, June 2013, pp. 193-202.

[C87] Montanari A., Sala P., "Interval logics and omegaB-regular languages". Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA), LNCS 7810, Springer, Bilbao, Spain, April 2013.

[J42] Bresolin D., Montanari A., Sciavicco G., Sala P., "Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers".     Theoretical Computer Science, vol. 493, July 2013, pp. 98-115 (doi: 10.1016/j.tcs.2012.10.043).

[J41] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Metric Propositional Neighborhood Logics on Natural Numbers".     Software and Systems Modeling, vol. 12, n. 2, May 2013, pp. 245-264 (doi: 10.1007/s10270-011-0195-y).

[J40] Franceschet M., Gubiani D., Montanari A., Piazza C., "A graph-theoretic approach to map conceptual designs to XML schemas".     ACM Transactions on Database Systems, vol. 38, n. 1, April 2013, pp. 6:1-44 (doi: 10.1145/2445583.2445589).