[E10] Montanari A., Napoli M., Parente D. (eds.), Proceedings of the 1st Symposium on Games, Automata, Logic, and Formal Verification (GandALF), Volume 25 of EPTCS, Minori (SA), Italy, June 2010.


[C75] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings", Electronic Notes in Theoretical Computer Science (Proceedings of the 6th Workshop on Methods for Modalities - M4M 6, 2009), Volume 262, 2010, pp. 65-81 (extended and revised version of [W30]).


[C74] Montanari A., Pratt-Hartmann I., Sala P., "Decidability of the Logic of the Reflexive Sub-interval Relation over Finite Linear Orders". Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Paris, France, September 2010, pp. 27-34.


[C73] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "A decidable spatial generalization of Metric Interval Temporal Logic". Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Paris, France, September 2010, pp. 95-102.


[C72] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability". Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), M. Wooldridge (Ed.), Lisbon, Portugal, August 2010, pp. 695-700.


[C71] Montanari A., G. Puppis, Sala P., "Maximal decidable fragments of Halpern and Shoham's modal logic of intervals", Proceedings of the 37th International Colloquium on Automata, Languages and Programming - Part II (ICALP), LNCS 6199, Bordeaux, France, July 2010. pp. 345-356.


[C70] Montanari A., G. Puppis, Sala P., Sciavicco G., "Decidability of the interval temporal logic ABBbar over the natural numbers", Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS), Nancy, France, March 2010, pp. 597-608.


[J37] Campagna D., Dovier A., De Rosa C., Montanari A., Piazza C., "Morphos Configuration Engine: the core of a commercial configuration system in CLP(FD)". Fundamenta Informaticae, vol. 105, n. 1-2, 2010, pp. 105-133, (doi: 10.3233/FI-2010-330).


[J36] Bresolin D., Goranko V., Montanari A., Sala P., "Tableau-based decision procedures for the logics of subinterval structures over dense orderings", Journal of Logic and Computation, vol. 20, n. 1, 2010, pp. 133-166 (doi:10.1093/logcom/exn063, online since December 2008).