[C125] Della Monica D., de Frutos-Escrig D., Montanari A., Murano A., and Sciavicco G., "Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking". Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME), Mons, Belgium, October, 2017.


[C124] Cominato E., Della Monica D., Montanari A., and Sciavicco G., "A Model Checker for Interval Temporal Logic over Finite Structures". Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS), Napoli, Italy, September 2017.


[C123] Barozzini D., Della Monica D., Montanari A., and Sala P., "Counter-queue automata with an application to a meaningful extension of omega-regular languages". Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS), Napoli, Italy, September 2017.


[C122] Della Monica D., Montanari A., and Sala P., "Beyond ωBS-regular languages: ωT-regular expressions and counter-check automata". Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 256, Rome, Italy, September 2017, pp. 223-237.


[C121] Bozzelli L., Molinari A., Montanari A., and Peron A., "On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions". Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 256, Rome, Italy, September 2017, pp. 31-45.


[C120] Bozzelli L., Molinari A., Montanari A., and Peron A., "An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions". Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM), A. Cimatti and M. Sirjani (Eds.), LNCS 10469, Springer, Trento, Italy, September, 2017, pp. 104-119.


[C119] Della Monica D., Gigante N., Montanari A., Sala P., and Sciavicco G., "Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints". Proceedings of the International Joint Conference on Artificial Intelligence 2017 (IJCAI), Melbourne, Australia, August, 2017, pp. 1008-1014.


[C118] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption", Proceedings of the 44th International Colloquium on Automata, Languages and Programming (ICALP), Warsaw, Poland, July, 2017, pp. 120:1-120:14 (slides).


[C117] Viel A., Gallo P., Montanari A., Gubiani D., Dalla Torre A., Pittino F., and Marshall, C., "Dealing with network changes in cellular fingerprint positioning systems". Proceedings of the International Conference on Localization and GNSS 2017 (ICL-GNSS), Nottingham, UK, June, 2017.


[C116] Gigante N., Montanari A., Cialdea Mayer M., Orlandini A., "Complexity of Timeline-based Planning", Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS), Pittsburgh, USA, June, 2017.


[C115] Gigante N., Montanari A., Reynolds M., "A One-Pass Tree-Shaped Tableau for LTL+Past", Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), T. Eiter and D. Sands (eds.), EPiC Series in Computing, Volume 46, Maun Botswana, May, 2017, pp. 456-473.


[C114] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison". Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai Mathematical Institute, Chennai, India, December 2016, pp 26:1-14.


[C113] Della Monica D., Montanari A., Murano A., and Sala P., "Prompt Interval Temporal Logic", Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA), L. Michael (Ed.), LNCS 10021, Springer, Larnaca, Cyprus, Novembre 2016, pp. 207-222.


[C112] Montanari A., "Interval Temporal Logics Model Checking". Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME), Lyngby, Denmark, October, 2016, p. 2.


[C111] Gigante N., Montanari A., Cialdea Mayer M., Orlandini A., "Timelines are Expressive Enough to Capture Action-Based Temporal Planning". Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME), Lyngby, Denmark, October, 2016, pp. 100-109.


[C110] Bertello M., Gigante N., Montanari A., Reynolds M., "A New Tableau-based Satisfiability Checker for Linear Temporal Logic (Extended Abstract)". Proceedings of the 39th German Conference on Artificial Intelligence (KI), Klagenfurt, Austria, September, 2016, pp. 251-256.


[C109] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete". Proceedings of the 7th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 226, Catania, Italy, September 2016, pp. 76–90 (slides).


[C108] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling". Proceedings of the 17th Italian Conference on Theoretical Computer Science (ICTCS), CEUR Workshop Proceedings, Vol. 1720, Lecce, Italy, September 2016, pp. 49-61(slides).


[C107] Bertello M., Gigante N., Montanari A., Reynolds M., "Leviathan: a new LTL satisfiability checking tool based on a one-pass tree-shaped tableau". Proceedings of the International Joint Conference on Artificial Intelligence 2016 (IJCAI), New York, USA, July, 2016, pp. 950-956.


[C106] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments". Proceedings of the International Joint Conference on Automated Reasoning 2016 (IJCAR), Coimbra, Portugal, June, 2016, LNAI 9706, Springer, pp. 389-405.


[C105] Molinari A., Montanari A., Peron A., Sala P., "Model checking well-behaved fragments of HS: the (almost) final picture". Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), Cape Town, South Africa, April, 2016, pp. 473-483.


[C104] Molinari A., Montanari A., Peron A., "Constraining cycle alternations in model checking for interval temporal logic". Electronic Notes in Theoretical Computer Science, Volume 322 (Proceedings of the 16th Italian Conference on Theoretical Computer Science (ICTCS), Firenze, Italy, September 2015), 18 April 2016, pp. 211–226.


[C103] Molinari A., Montanari A., Peron A., "Complexity of ITL model checking: some well-behaved fragments of the interval logic HS". Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME), Kassel, Germany, September 2015, pp. 90-100.


[C102] Montanari A., Muñoz-Velasco E., Sciavicco G., "Undecidability of Chop". Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME), Kassel, Germany, September 2015, pp. 79-89.


[C101] Molinari A., Montanari A., Peron A., "A Model Checking Procedure for Interval Temporal Logics based on Track Representatives". Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL), Berlin, Germany, September 2015, pp. 193-210.


[C100] Bresolin D., Della Monica D., Montanari A., Sala P., and Sciavicco G., "On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures". Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA), A.-H. Dediu et al. (Eds.), LNCS 8977, Springer, Nice, France, March 2015, pp. 511-523 (slides).


[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.


[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.


[C86] Montanari A., Sala P., "An optimal tableau system for the logic of temporal neighborhood over the reals". Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society, Leichester, UK, September 2012, pp. 39-46 (slides).


[85] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture", Proceedings of the 3rd International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 96, Napoli, Italy, September 2012, pp. 155-168 (slides).


[C84] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "Interval Temporal Logics over Finite Linear Orders: the Complete Picture". Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), Montpellier, France, August 2012, 199-204.


[C83] Montanari A., Navarrete I., Sciavicco G., Tonon A., "A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints". Proceedings of the 4th International Conference on Agents and Artificial Intelligence (ICAART) - Volume 1, Vilamoura - Algarve, Portugal, February 2012, pp. 154-163.


[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.


[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.


[C69] Bresolin D., Goranko V., Montanari A., Sciavicco G., "Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths ", Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM), IEEE Comp. Society Press, Hanoi, Vietnam, November 2009, pp. 240-249.


[C68] Montanari A., G. Puppis, Sala P., "A Decidable Spatial Logic with Cone-shaped Cardinal Directions", Proceedings of the 18th EACSL Annual Conference on Computer Science Logic (CSL), LNCS 5771, Springer, Coimbra, Portugal, September 2009, pp. 394-408.


[C67] Gubiani D., Montanari A., "A relational encoding of a conceptual model with multiple temporal dimensions", Proceedings of the 20th International Conference on Database and Expert Systems Applications (DEXA), LNCS 5690, Springer, Linz, Austria, August 2009, pp. 792-806.


[C66] Franceschet M., Gubiani D., Montanari A., Piazza C., "From Entity-Relationship to XML Schema: a graph-theoretic approach", Proceedings of the 6th International XML Database Symposium (Xsym), LNCS 5679, Springer, Lyon, France, August 2009, pp. 145-159.


[C65] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Undecidability of Interval Temporal Logics with the Overlap Modality", Proceedings of the 16th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Bressanone (BZ), Italia, July 2009, pp. 88-95.


[C64] Bresolin D., Montanari A., Sala P., Sciavicco G., "Tableau-Based System for Spatial Reasoning about Directional Relations", Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNAI 5607, Springer, Oslo, Norway, July 2009, pp. 123-137.


[C63] Bresolin D., Goranko V., Montanari A., Sala P., "Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings", Electronic Notes in Theoretical Computer Science (Proceedings of the 5th Workshop on Methods for Modalities - M4M 5, 2007), Volume 231, 2009, pp. 131-151 (extended and revised version of [W29]).


[C62] De Maria E., Montanari A., Vitacolonna N., "Games on strings with a limited order relation". Proceedings of the 2009 Symposium on Logical Foundations of Computer Science (LFCS), LNCS 5407, Springer, Deerfield Beach, Florida, USA, January 2009, pp. 164-179.


[C61] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification", Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNCS 5330, Springer Doha, Qatar, November 2008, pp. 590-604.


[C60] Gubiani D., Montanari A., "A conceptual spatial model supporting topologically-consistent multiple representations", Proceedings of the 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS), ACM Press, Irvine, CA, USA, November 2008, pp. 57-66.


[C59] Bresolin D., Montanari A., Sala P., Sciavicco G., "Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders", Proceedings of JELIA 2008: 11th European Conference on Logics in Artificial Intelligence (JELIA), LNAI 5293, Springer, Dresden, Germany, September 2008, pp. 62-75.


[C58] Hodkinson I., Montanari A., Sciavicco G., "Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T", Proceedings of CSL 2008: 17th EACSL Annual Conference on Computer Science Logic (CSL), LNCS 5213, Springer, Bertinoro, Italy, September 2008, pp. 308-322.


[C57] Bresolin D., Montanari A., Sala P., "Optimal tableau for Right Propositional Neighborhood Logic over trees", Proceedings of TIME 2008: 15th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Montreal, Canada, June 2008, pp. 110-117.


[C56] Combi C., Montanari A., Pozzi G., "The T4SQL Temporal Query Language", Proceedings of the 16th ACM Conference on Information and Knowledge Management (CIKM), ACM Press, Lisboa, Portugal, November 2007, pp. 193-202.


[C55] Montanari A., Puppis G., "A Contraction Method to Decide MSO Theories of Deterministic Trees". Proceedings of the 22nd Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, Wroclaw, Poland, July 2007, pp. 141-150.


[C54] Bresolin D., Goranko V., Montanari A., Sala P., "Tableau Systems for Logics of Subinterval Structures over Dense Orderings". Proceedings of the International Conference TABLEAUX 2007, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 4548, Springer, Aix en Provence, France, July 2007, pp. 73-89.


[C53] Dal Lago U., Montanari A., Puppis G., "On the Equivalence of Automaton-based Representations of Time Granularities". Proceedings of TIME 2007: 14th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Alicante, Spain, June 2007, pp. 82-93.


[C52] Bresolin D., Goranko V., Montanari A., Sciavicco G., "On Decidability and Expressiveness of Propositional Interval Neighborhood Logics". Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS), LNCS 4514, Springer, New York, USA, June 2007, pp. 84-99.


[C51] Bresolin D., Montanari A., Sala P., "An optimal tableau-based decision algorithm for Propositional Neighborhood Logic". Proceedings of the 24th International Symposium on Theoretical Aspects of Computer Science (STACS), LNCS 4393, Springer, Aachen, Germany, February 2007, pp. 549-560.


[C50] D'Agostino G., Montanari A., Policriti A., "Extensions of S1S and the Composition Method". Proceedings of JM'06: 11th Mons Days of Theoretical Computer Science, Irisa - Rennes, France, August-September 2006, pp. 165-178.


[C49] De Maria E., Montanari A., Zantoni M., "An automaton-based approach to the verification of timed workfow schemas". Proceedings of TIME 2006: 13th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Budapest, Hungary, June 2006, pp. 87-94.


[C48] Montanari A., Policriti A., Vitacolonna N., "An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures". Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNAI 3835, Springer, Montego Bay, Jamaica, December 2005, pp.139-153.


[C47] De Maria E., Montanari A., Zantoni M., "Checking workflow schemas with time constraints using timed automata (extended abstract)". Proceedings of OTM Workshops 2005, LNCS 3762, Springer, Agia Napa, Cyprus, November 2005, pp. 1-2.


[C46] Bresolin D., Montanari A., "A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic". Proceedings of the International Conference TABLEAUX 2005, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 3702, Springer, Koblenz, Germany, September 2005, pp. 63-77.


[C45] Montanari A., "Propositional Interval Temporal Logics: Some Promising Paths". Proceedings of TIME 2005: 12th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Burlington, Vermont, USA, June 2005, pp. 201-203 (Presentation).


[C44] Combi C., Montanari A., Rossato R., "A Uniform Algebraic Characterization of Temporal Functional Dependencies". Proceedings of TIME 2005: 12th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Burlington, Vermont, USA, June 2005, pp. 91-99.


[C43] Montanari A., Puppis G., "Decidability of MSO Theories of Tree Structures". Proceedings of FSTTCS 2004: 24th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 3328, Springer, Chennai, India, December 2004, pp. 430-442.


[C42] Bresolin D., Montanari A., Puppis G., "Time Granularities and Ultimately Periodic Automata". Proceedings of JELIA 2004: 9th European Conference on Logics in Artificial Intelligence, LNAI 3229, Springer, Lisbon, Portugal, September 2004, pp. 513-525.


[C41] Montanari A., Puppis G., "Decidability of the Theory of the Totally Unbounded Omega-Layered Structure". Proceedings of TIME 2004: 11th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Tatihou, Basse Normandie, France, July 2004, pp. 156-160.


[C40] Dal Lago U., Montanari A., Puppis G., "Towards Compact and Tractable Automaton-based Representations of Time Granularity". Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS'03), LNCS 2841, Springer, Bertinoro, Italia, October 2003, pp. 72-85.


[C39] Goranko V., Montanari A., Sciavicco G., "A General Tableau Method for Propositional Interval Temporal Logics". Proceedings of the International Conference TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 2796, Springer, Roma, Italia, September 2003, pp. 102-116.


[C38] Franceschet M., Montanari A., Peron A., Sciavicco G., "Definability and Decidability of Binary Predicates for Time Granularity". Proceedings of TIME-ICTL 2003: 10th International Symposium on Temporal Representation and Reasoning (TIME) and 4th International Conference on Temporal Logic (ICTL), IEEE Computer Society Press, Cairns, Queensland, Australia, July 2003.


[C37] Marzano E., Montanari A., Policriti A., "Binary Extensions of S1S and the Composition Method". Proceedings of the International Symposium on Verification (Theory and Practice) Celebrating Zohar Manna's 64-th Birthday, LNCS 2772, Springer, Taormina, Sicilia, Italia, June-July 2003.


[C36] Montanari A., Sciavicco G., Vitacolonna N., "Decidability of Interval Temporal Logics over Split-Frames via Granularity". Proceedings of JELIA 2002: European Conference on Logic in Artificial Intelligence, LNAI 2424, Springer, Cosenza, Italia, September 2002, pp. 259-270.


[C35] Combi C., Montanari A., "Querying Data with Multiple Temporal Dimensions". Proceedings of CAISE 2002: 14th Conference on Advanced Information Systems Engineering, LNCS 2348, Springer, Toronto, Canada, May 2002, pp.711-714.


[C34] Dal Lago U., Montanari A., "Calendars, Time Granularities, and Automata". Proceedings of SSTD 2001: 7th International Symposium on Spatial and Temporal Databases, LNCS 2121, Los Angeles, CA, USA, July 2001, pp. 279-298.


[C33] Combi C., Montanari A., "Data Models with Multiple Temporal Dimensions: Completing the Picture". Proceedings of CAISE 2001: 13th Conference on Advanced Information Systems Engineering, LNCS 2068, Interlaken, Switzerland, June 2001, pp. 187-202.


[C32] Franceschet M., Montanari A., de Rijke M., "Model Checking for Combined Logics". Proceedings of the 3rd International Conference on Temporal Logic, Leipzig, Germany, October 2000, pp. 65-73.


[C31] Montanari A., Peron A., Policriti A.,"Extending Kamp Theorem with Binary Operators to Model Time Granularity". Proceedings of the 3rd International Conference on Temporal Logic, Leipzig, Germany, October 2000, pp. 135-144 (preliminary version of [J22]).


[C30] Montanari A., Policriti A., Slanina M., "Derivability in Locally Quantified Modal Logics via Translation in Set Theory". Proceedings of MFCS'2000: 25th International Symposium on Mathematical Foundations of Computer Science, M. Nielsen and B. Rovan (Eds.), Bratislava, Slovak Republic, LNCS 1893, Springer, August-September 2000, pp. 559-568.


[C29] Montanari A., Policriti A., Slanina M., "Supporting Automated Deduction in First-Order Modal Logics". Proceedings of KR'2000: 7th International Conference on Principles of Knowledge Representation and Reasoning, T. Cohn, F. Giunchiglia, and B. Selman (Eds.), Breckenridge, Colorado, USA, Morgan Kaufmann, April 2000, pp. 547-556.


[C28] Franceschet M., Montanari A., "Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events". LNAI 1792, E. Lamma e P. Mello (Eds.), Springer, Berlin Heidelberg, 2000, pp. 131-142 (extended and revised version of [C27]).


[C27] Franceschet M., Montanari A., "Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events". Proceedings of AI*IA'99: Sesto Congresso della Associazione Italiana per l'Intelligenza Artificiale, E. Lamma e P. Mello (Eds.), Pitagora Editrice Bologna, September 1999, pp.208-217.


[C26] Combi C., Foresti G., Franceschet M., Montanari A., "Indexing by Shape of Image Databases Based on Extended Grid Files". Proceedings of IEEE Multimedia Systems '99: 6th International Conference on Multimedia Computing and Systems (Volume 2), Firenze, Italia, IEEE Computer Society Press, June 1999, pp. 230-234


[C25] Cervesato I., Franceschet M., Montanari A., "The Complexity of Model Checking in Modal Event Calculi with Quantifiers". Proceedings of KR'98: 6th International Conference on Principles of Knowledge Representation and Reasoning, T. Cohn and L. Schubert (Eds.), Trento, Italia, Morgan Kaufmann, June 1998, pp. 368-379.


[C24] Montanari A., Policriti A., "A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics". Proceedings of IJCAI'97: 15th International Conference on Artificial Intelligence, M.E. Pollack (Ed.), Nagoya, Japan, Morgan Kaufmann, August 1997, pp. 196-201.


[C23] Cervesato I., Franceschet M., Montanari A. "A Hierarchy of Modal Event Calculi: Expressiveness and Complexity". Proceedings of ICTL'97: 2nd International Conference on Temporal Logic, In Advances in Temporal Logic, H. Barringer, M. Fisher, D. Gabbay, and G. Gough (Eds.), Kluwer Academic Publishers, Applied Logic Series, 2000, pp. 91-108.


[C22] Montanari A., Peron A., Policriti A., "Decidable Theories of Omega-Layered Metric Temporal Structures". Proceedings of ICTL'97: 2nd International Conference on Temporal Logic. In Advances in Temporal Logic, H. Barringer, M. Fisher, D. Gabbay, and G. Gough (Eds.), Kluwer Academic Publishers, Applied Logic Series, 2000, pp. 1-20.


[C21] Montanari A., Cervesato A., Chittaro L., "A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants". Proceedings of ECAI'96: 12th European Conference on Artificial Intelligence, A. Wahlster (Ed.), Budapest, Hungary, John Wiley & Sons Publishers, August 1996, pp. 33-37.


[C20] D'Agostino G., Montanari A., Policriti A., "Set-theoretic decidability results for modal theorem proving". Proceedings of ICTCS'95: 5th Italian Conference on Theoretical Computer Science, World Scientific Publishing Co., 1996, pp. 326-342 (abstract in Mathematical Reviews 98d:03020).


[C19] Chittaro L., Montanari A., Peressi E., "An Integrated Framework for Temporal Aggregation and Omission in the Event Calculus". In G.Rzevski, C. Tasso (Eds.), Applications of Artificial Intelligence in Engineering X, Computational Mechanics, Boston, USA, July 1995, pp. 47-54.


[C18] Montanari A., de Rijke M., "Completeness Results for Two-sorted Metric Temporal Logics". Proceedings of AMAST'95: 4th International Conference on Algebraic Methodology and Software Technology, Montreal, Canada, LNCS, Springer Verlag, July 1995, pp. 385-399.


[C17] Cervesato I., Chittaro L., Montanari A., "A Modal Calculus of Partially Ordered Events in a Logic Programming Framework". Proceedings of ICLP'95: 12th International Conference on Logic Programming, L. Sterling (Ed.), Kanegawa, Japan, MIT Press, June 1995, pp. 299-313 (abstract in Mathematical Reviews 96k:03040).


[C16] D'Agostino G., Montanari A., Policriti A., "A set-theoretic translation method for (poly)modal logics". Proceedings of STACS'95: 12th Symposium on Theoretical Aspects of Computer Science, München, Germany, LNCS 900, Springer Verlag, March 1995, pp. 217-228 (abstract in Mathematical Reviews 96j:03023).


[C15] Peressi E., Montanari A., Pernici B., "T-ORM: Evolving Objects and Roles". Proceedings of the 4th International Working Conference on Dynamic Modeling and Information Systems, A. Verbraeck, H.G. Sol, P.W.G. Bots (Eds.), Noordwijkerhout, the Netherlands, Tech. University of Delft, September 1994, pp. 101-119.


[C14] Cervesato I., Chittaro L., Montanari A., "What the Event Calculus does and how to do it efficiently". Proceedings of the GULP-PRODE Joint Conference on Declarative Programming, Peniscola, Spain, Servicio de Publicaciones Valencia, September 1994, pp. 336-350 (preliminary version of [W12]).


[C13] Chittaro L., Montanari A., Dojat M., Gasparini C., "The Event Calculus at work: a case study in the medical domain". Proceedings of the 2nd IEE International Conference on Intelligent Systems Engineering, Hamburg, Germany, IEE Press, September 1994, pp. 195-200.


[C12] Chittaro L., Montanari A., Provetti A., "Skeptical and credulous event calculi for supporting modal queries". Proceedings of ECAI '94: 11th European Conference on Artificial Intelligence, A. Cohn (Ed.), Amsterdam, the Netherlands, John Wiley & Sons Publishers, August 1994, pp. 361-365.


[C11] Montanari A., Pighin M., "Identification of experimental parameters for automatic software evaluation and testing". In M. Ross, C.A. Brebbia, G. Staples. J. Stapleton (Eds.), Software Quality Management II Vol. 2: Building Quality into Software, Computational Mechanics, Boston, USA, July 1994, pp. 335-348.


[C10] Edelweiss N., de Oliveira J.P.M., de Castilho J.M.V., Peressi E., Montanari A., Pernici B., "T-ORM: Temporal aspects in objects and roles". Proceedings of ORM-1 International Conference on Object-Role Modeling, Townsville, Australia, July 1994, pp. 18-27.


[C9] Chittaro L., Montanari A., "Experimenting a temporal logic in an engineering domain". In R.A. Adey, G.Rzevski, J.Pastor (Eds.), Applications of Artificial Intelligence in Engineering VIII, Computational Mechanics, Boston, USA, and Elsevier, London, UK, July 1993, pp. 185-202 (short version of [C8]).


[C8] Chittaro L., Montanari A., "Reasoning about discrete processes in a logic programming framework". Proceedings of GULP'93: Eight Conference on Logic Programming, Gizzeria Lido (CZ), Italia, Mediterranean Press, June 1993, pp. 407-421.


[C7] Montanari A., Ratto E., "Development and Validation Tools for Temporal Information Processing Systems". In E.N. Houstis and J.R. Rice (Eds.), Artificial Intelligence, Expert Systems, and Symbolic Computing (selected and revised papers from IMACS 13th World Congress, Dublin, Ireland, 1991), North-Holland, 1992, pp. 426-435.


[C6] Montanari A., Maim E., Ciapessoni E., Ratto E., "Dealing with Time Granularity in the Event Calculus". Proceedings of Fifth Generation Computer Systems '92, IOS Press, Tokyo, Japan, giugno 1992, pp. 702-712 (abstract in Mathematical Reviews 1 212 349)


[C5] Montanari A., Ratto E., "Development Interface Tools". Proceedings of the 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991, pp. 969-970.


[C4] Corsetti E., Montanari A., Ratto E., "Time Granularity in Logical Specifications". Proceedings of GULP'91: 6th Conference on Logic Programming, Pisa, Italia, June 1991, pp. 63-77.


[C3] Corsetti E., Montanari A., Ratto E., "A Methodology for Real-Time System Specifications based on Knowledge Representation". In Computational Intelligence III (Proceedings of the International Symposium, Milano, Italia, September 1990), N. Cercone, F. Gardin, G. Valle (Eds.), Elsevier Science Publishers,1991.


[C2] Fum D., Guida G., Montanari A., Tasso C., "Using Levels and Viewpoints in Text Representation". In Artificial Intelligence and Information-Control Systems of Robots - 89 (Proceedings of the 5th International Conference), I. Plander (Ed.), Strbske Pleso, Czechoslovakia, Elsevier Science Publishers, November 1989, pp.37-44.


[C1] Costantini C., Fum D., Guida G., Montanari A., Tasso C., "Text Understanding with Multiple Knowledge Sources: An Experiment in Distributed Parsing". Proceedings of the 3rd Conference of the European Chapter of the ACL, Copenhagen, Denmark, April 1987, pp.75-79.