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

[C135] Brunello A., Marzano E., Montanari A., and Sciavicco G., "A Novel Decision Tree Approach for the Handling of Time Series". Proceedings of the 6th International Conference on Mining Intelligence and Knowledge Exploration (MIKE), Springer, LNCS 11308, Springer, Clui Napoca, Romania, December 2018, pp. 351-368.

[C134] Bozzelli L., Molinari A., Montanari A., and Peron A., "Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains". Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona, USA, October-November 2018, pp. 627-628.

[C133] Della Monica D., Gigante N., Montanari A., and Sala P., "A novel automata-theoretic approach to timeline-based planning". Proceedings of the    16th International Conference on Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona, USA, October-November 2018, pp. 541-550.

[C132] Gigante N., Montanari A., Cialdea Mayer M., Orlandini A., and Reynolds M., "A game-theoretic approach to timeline-based planning with uncertainty". Proceedings of the 25th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Warsaw, Poland, October, 2018, pp. 13:1-13:17.

[C131] Brunello A., Marzano E., Montanari A., and Sciavicco G., "J48S: a Sequence Classification Approach to Text Analysis based on Decision Trees". Proceedings of the 24th International Conference on Information and Software Technologies (ICIST), Series in Communications in Computer and Information Science, volume 920, Springer, Vilnius, Lithuania, October 2018, pp. 240-256.

[C130] Geatti L., Gigante N., Montanari A., and Reynolds M., "A one-pass and tree-shaped tableau for TPTL and TPTLb+Past". Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Saarbruecken, Germany, September 2018, pp. 176-190 (slides).

[C129] Bozzelli L., Molinari A., Montanari A., and Peron A., "Complexity of timeline-based planning over dense temporal domains: exploring the middle ground". Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Saarbruecken, Germany, September 2018, pp. 191-205 (slides).

[C128] Bozzelli L., Molinari A., Montanari A., Peron A., and Woeginger G., "Timeline-based planning over dense temporal domains with trigger-less rules is NP- complete". Proceedings of the 19th Italian Conference on Theoretical Computer Science (ICTCS), Urbino, Italy, September 2018, pp. 116-127 (slides).

[C127] Viel A., Gubiani D., Gallo P., Montanari A., Dalla Torre A., Pittino F., and Marshall C., "Map matching with sparse cellular fingerprint observations", Proceedings of the 5th International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Services (UPINLBS), IEEE, Wuhan, China, March 2018, pp. 1-10.

[C126] Viel A., Brunello A., Montanari A., and Pittino F., "An original approach to positioning with cellular fingerprints based on decision tree ensembles", Proceedings of the 14th International Conference on Location Based Services (LBS), Lecture Notes in Cartography and Geoinformation, Springer, Zurich, Suisse, January 2018, pp. 49-70.

[J54] Bozzelli L., Molinari A., Montanari A., Peron A., and Sala P., "Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy",     Information and Computation, Special Issue: International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'16), Volume 262, October 2018, pp. 241-264 (doi: 10.1016/j.ic.2018.09.006).

[J53] Molinari A., Montanari A., and Peron A., "Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives",     Information and Computation, Special Issue: Temporal Representation and Reasoning (TIME'15), Volume 259, Part 3, April 2018, pp. 412-443.

[W31] Montanari A., "Model checking with Interval Temporal Logic: Results and Perspectives". Proceedings of the workshop on "Reasoning about Actions and Processes: Highlights of Recent Advances (ACTIONS@KR18)" at KR 2018, Tempe, Arizona, USA, October 2018.