2024
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. Accepted for publication on Information and Computation. G. Pagliarini, S. Scaboro, G. Serra, G. Sciavicco, and I.E. Stan
Usefulness of DXA-based Bone Strain Index in Post-Menopausal Women with Type II Diabetes Mellitus. Archives of Osteoporosis 19, 1 - 8. G. Bonaccorsi, A. Brigato, G. Fiorella, C. Messina, L. Rinaudo, G. Sciavicco, and F. Ulivieri.
On Modal Logic Formulae Minimization. Accepted for publication on the Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024). G. Pagliarini, A. Paradiso, G. Sciavicco, and I.E. Stan.
2023
Towards an Objective Theory of Subjective Liking: a First Step in Understanding the Sense of Beauty. PLOS One 18(6), 1 - 20. S. Mazzacane, M. Coccagna, F. Manzella, G. Pagliarini, V.A. Sironi, A. Gatti, E. Caselli, G. Sciavicco.
The Voice of COVID-19: Breath and Cough Recording Classification with Temporal Decision Trees and Random Forests. Artificial Intelligence in Medicine 137, 1 - 14. F. Manzella, G. Pagliarini, G. Sciavicco, and I.E. Stan.
Fuzzy Halpern and Shoham's Interval Temporal Logics. Fuzzy Sets and Systems 456, 107 - 124. W. Conradie, D. Della Monica, E. Muñoz-Velasco, G. Sciavicco, and I.E. Stan.
Statistical Rule Extraction for Gas Turbine Trip Prediction. Journal of Engineering for Gas Turbines and Power 145, 1 - 10. G. Bechini, E. Losi, L. Manservigi, G. Pagliarini, G. Sciavicco, I.E. Stan, and M. Venturini.
Interpretable Land Cover Classification with Modal Decision Trees. European Journal of Remote Sensing 56(1), 1 - 25. G Pagliarini and G. Sciavicco
Fourier-based optimization for multivariate spatial-temporal regression in Chlorophyll-a Presence Prediction Around Galapagos Islands. Revista InGenio 6, 31 - 43. F. Chávez, S. Marchán, R. Ivaldi, and G. Sciavicco.
Evolutionary Explainable Rule Extraction from (Modal) Random Forests. Frontiers in Artificial Intelligence and Applications 372, 827 - 834. Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). M. Ghiotti, F. Manzella, G. Pagliarini, G. Sciavicco, and I.E. Stan
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic. Leibniz International Proceedings in Informatics 278, 9:1 - 9:14. Proceedings of the 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). W. Conradie, R. Monego, E. Muñoz-Velasco, G. Sciavicco and I.E. Stan.
A Post-Modern Approach to Symbolic Metaphor Identification. CEUR Workshop Proceedings 3596, 1 - 5. Proceedings of the 9th Italian Conference on Computational Linguistics (CLIC-IT 2023). F. Manzella, D. Del Fante, G. Sciavicco, and I.E. Stan.
Efficient Modal Decision Trees. Lecture Notes on Computer Science (subseries in Artificial Intelligence) 14318, 381 - 395. Proceedings of the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023). F. Manzella, G. Pagliarini, G. Sciavicco, and I.E. Stan.
(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data. CEUR Workshop Proceedings 3606, 1 - 12. Proceedings of the 2nd Italian Conference on Big Data and Data Science (ITADATA 2023). P. Cavina, F. Manzella, G. Pagliarini, G. Sciavicco, and I.E. Stan
Heurstic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. Accepted for publication on the proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2023). G. Pagliarini, A. Paradiso, S. Rubin, G. Sciavicco, and I.E. Stan.
A First-Order Interval Temporal Logic for Adjacient Variables Temporal Data. Accepted for publication on the proceedings of the 5nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2023). G. Sciavicco.
2022
Three-Objective Constrained Evolutionary Instance Selection for Classification: Wrapper and Filter Approaches. Engineering Applications of Artificial Intelligence 107, 1 - 33. F. Jimènez, G. Sánchez, J. Palma, and G. Sciavicco.
Decision Trees with a Modal Flavor. Lecture Notes on Computer Science (subseries in Artificial Intelligence) 13796, 47 - 56. Proceedings of the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022). D. Della Monica, G. Pagliarini, G. Sciavicco, and I.E. Stan.
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. Leibniz International Proceedings in Informatics 247, 13:1 - 13:15. Proceedings of the 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). G. Pagliarini, S. Scaboro, G. Serra, G. Sciavicco and I.E. Stan.
Statistical and Symbolic Rule Extraction from EEG Signals. Lecture Notes on Computer Science (subseries in Artificial Intelligence) 13258, 536 - 546. Proceedings of the 9th International Work-Conference on the Interplay Between Natural and Artificial Computation (IWINAC 2022). M. Coccagna, F. Manzella, S. Mazzacane, G. Pagliarini, and G. Sciavicco.
On Modal Logic Association Rule Mining. CEUR Workshop Proceedings 3284, 53 - 65. Proceedings of the 23th Italian Conference on Theoretical Computer Science (ICTCS 2022). M. Milella, E. Muñoz-Velasco, G. Pagliarini, A. Paradiso, G. Sciavicco, and I.E. Stan.
2021
Branching Interval Algebra: an Almost Complete Picture. Information&Computation 281, 1 - 17. A. Bertagnon, M. Gavanelli, A. Passantino, G. Sciavicco, and S. Trevisani.
Mining CSTNUDs Significant for a Set of Traces is Polynomial. Information&Computation, 281, 1 - 15. G. Sciavicco, T. Villa, and M. Zavatteri.
Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression. IEEE Access 9, 135675 - 135688. F. Jiménez, E. Lucena-Sánchez, G. Sánchez, and G. Sciavicco.
A Time Series Forecasting Based Multi-Criteria Methodology for Air Quality Prediction. Applied Soft Computing 113(A), 2:1 - 2:25. R. Espinosa, F. Jiménez, J. Kamínska, E. Lucena-Sánchez, J. Palma, and G. Sciavicco.
An Intelligent Clustering Method for Devising the Geochemical Fingerprint of Underground Aquifers. Heliyon 7(5), 81:1 - 81:14. A. Di Roma, E. Lucena-Sánchez, G. Sciavicco, and C. Vaccaro.
Predicting Treatment Recommendation in Postmeopausal Osteoporosis. Journal of Biomedical Informatics 118, 12:1 - 12:10. G. Bonaccorsi, M. Giganti, M. Nitsenko, G. Pagliarini, G. Piva, and G. Sciavicco.
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling. Algorithms 14(3), 76:1 - 76:17. E. Lucena-Sánchez, G. Sciavicco, and I.E. Stan.
Decision Tree Learning with Spatial Modal Logics. Electronic Proceedings of Theoretical Computer Science 346, 273 - 290. Proceedings of the 12th International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2021). G. Pagliarini and G. Sciavicco.
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. Leibniz International Proceedings in Informatics 206, 7:1 - 7:17. Proceedings of the 28th International Symposium on Temporal Representation and Reasoning (TIME 2021). F. Manzella, G. Pagliarini, G. Sciavicco and I.E. Stan.
On Intelligent Fingerprinting of Antique Buildings from Clay Composition. Communications in Computer and Information Sciences 1460, 33 - 47. Proceedings of the 7th International Conference on Technologies and Innovation (CITI 2021). E. Marrocchino, E. Lucena-Sánchez, G. Sciavicco, and C. Vaccaro.
Mining Temporal Networks: Results and Open Problems. CEUR Workshop Proceedings 2987, 31 - 36. Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2021). G. Sciavicco, T. Villa, and M. Zavatteri.
Multi-Frame Modal Symbolic Learning. CEUR Workshop Proceedings 2987, 37 - 41. Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2021). G. Pagliarini, G. Sciavicco, and I.E. Stan.
A Modal Approach to Spatial Symbolic Learning. Proceedings of the 47th International Conference on Current Trends in Theory and Practice of Computer Science (SRF 2021) - Student Research Forum. G. Pagliarini and G. Sciavicco.
2020
An Integrated First-Order Theory of Points and Intervals over Linear Orders (part II). Logical Methods in Computer Science 16(2), 1:1 - 1:33. W.Conradie, S. Durhan, and G. Sciavicco.
Temporal Aspects in Air Quality Modelling - A Case Study in Wroclaw. Air, Soil, and Water Research 13, 1:1 - 1:13. J. Kamínska, E. Lucena-Sánchez, G. Sciavicco.
Lag Variables in Nitrogen Oxide Concentration Modelling: A Case Study in Wrocław, Poland. Atmosphere 11(12), 90:1 - 90:15. J. Kamínska, F. Jiménez, E. Lucena-Sánchez, G. Sciavicco, T. Turek.
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling. IEEE Xplore Digital Library. Proceedings of the 13th IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS 2020), 1 - 8. F. Jiménez, J. Kamínska, E. Lucena-Sánchez, and G. Sciavicco.
Lag Variables in Air Pollution Modeling Based on Traffic Flow and Meteorological Factors. Proceedings 51(1), 1 - 4. Proceedings of the 9th International Scientific Conference on Innovation, Sustainability, Modernity and Openness (ISMO 2020). F. Jiménez, J. Kamínska, E. Lucena-Sánchez, G. Sciavicco.
An Approach to Fuzzy Modal Logic of Time Intervals. Frontiers in Artificial Intelligence and Applications, 325, 696 -703. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). D. Della Monica, W. Conradie, E. Muñoz-Velasco, and G. Sciavicco.
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling. CEUR Workshop Proceedings 2644, 42 - 57. Proceedings of the 14th International Rule Challenge (Rule ML + RR 2020). J. Kamínska, E. Lucena-Sánchez, I.E. Stan, and G. Sciavicco.
The Horn Fragment of Branching Algebra. Leibniz International Proceedings in Informatics 178, 5:1 - 5:16. Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). A. Bertagnon, M. Gavanelli, A. Passantino, G. Sciavicco, and S. Trevisani.
Knowledge Extraction with Interval Temporal Logic Decision Trees. Leibniz International Proceedings in Informatics 178, 9:1 - 9:16. Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). G. Sciavicco and I.E. Stan.
Mining Significant Temporal Networks is Polynomial. Leibniz International Proceedings in Informatics 178, 11:1 - 11:12. Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). G. Sciavicco, T. Villa, and M. Zavatteri.
On (Maximal, Tractable) Fragments of the Branching Algebra. CEUR Workshop Proceedings 2710, 113 - 126. Proceedings of the 35th Italian Conference on Computational Logic (CILC 2020). A. Bertagnon, M. Gavanelli, A. Passantino, G. Sciavicco, and S. Trevisani.
Towards Automatic Fingerprinting of Groundwater Aquifers. Communications in Computer and Information Science 1309, 73 - 84. Proceedings of the 6th International Conference on Technologies and Innovation (CITI 2020). A. Di Roma, E. Lucena-Sánchez, G. Sciavicco, and C. Vaccaro.
Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands. Communications in Computer and Information Science 1309, 98 - 110. Proceedings of the 6th International Conference on Technologies and Innovation (CITI 2020). F. Chàvez-Castrillon, M. Coltorti, R. Ivaldi, E. Lucena-Sánchez, and G. Sciavicco.
Symbolic Learning with Interval Temporal Logic: The Case of Regression. CEUR Workshop Proceedings 2785, 5 - 9. Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2020). E. Lucena-Sánchez, G. Sciavicco, and I.E. Stan.
A Note on Finite Ultimately-Periodic Interval Temporal Logic Model Checking. CEUR Workshop Proceedings 2785, 11 - 15. Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2020). D. Della Monica, A. Montanari, G. Sciavicco, and I.E. Stan.
Time Series Checking with Fuzzy Interval Temporal Logics. CEUR Workshop Proceedings 2756, 250 - 262. Proceedings of the 21th Italian Conference on Theoretical Computer Science (ICTCS 2020). D. Della Monica, W. Conradie, E. Muñoz-Velasco, G. Sciavicco, and I.E. Stan.
2019
Predicting the Risk of Academic Dropout with Temporal Multi-Objective Optimization. IEEE Transactions on Learning Technologies 12(2), 225- 236. F. Jiménez, A. Paoletti, G. Sánchez, and G. Sciavicco.
Multi-Objective Evolutionary Feature Selection and Fuzzy Classification of Contact Center Data. Expert Systems 36(3), 4:1 - 4:19. A. Brunello, F. Jiménez, E. Marzano, A. Montanari, G. Sánchez, and G. Sciavicco.
Multi-Objective Evolutionary Feature Selection for Fuzzy Classification. IEEE Transactions on Fuzzy Systems 27(5), 1085 - 1099. F. Jiménez, C. Martínez, E. Marzano, J. Palma, G. Sánchez, and G. Sciavicco.
Decidability and Complexity of the Fragments of the Modal Logic of Allen's Relations Over the Rationals. Information&Computation 266, 97 - 125. D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Computers 8(1), 21:1 - 21:28. A. Brunello, E. Marzano, A. Montanari, and G. Sciavicco.
On Coarser Interval Temporal Logics. Artificial Intelligence 266, 1 - 26. M. Pelegrín, E. Muñoz-Velasco, P. Sala, G. Sciavicco, and I.E. Stan
Towards Interval Temporal Logic Rule-Based Classification. CEUR Workshop Proceedings 2509, 65 - 70. Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2019). E. Lucena-Sánchez, E. Muñoz-Velasco, G. Sciavicco, I.E. Stan, and A. Vaccari.
Ultimately-Periodic Interval Model Checking for Temporal Dataset Evaluation. EPiC Series in Computing 65, 28 - 41. Proceedings of the 5th Global Conference on Artificial Intelligence (GCAI 2019). D. Dalla Monica, A. Montanari, A. Murano, and G. Sciavicco.
Multi-Objective Evolutionary Optimization for Time Series Lag Regression. Proceedings of the 6th International Conference on Time Series and Forecasting (ITISE 2019), 373 - 384. F. Jiménez, J. Kamínska, E. Lucena-Sánchez, J. Palma, and G. Sciavicco.
Interval Temporal Logic Decision Tree Learning. Lecture Notes on Computer Science (subseries in Artificial Intelligence) 11468, 778 - 793. Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). A. Brunello, G. Sciavicco, and I.E. Stan.
Towards a General Method for Logical Rule Extraction from Time Series. Lecture Notes on Computer Science 11487, 3 - 12. Proceedings of the 8th International Work-conference on the Interplay between Natural and Artificial Computation (IWINAC 2019). G. Sciavicco, I.E. Stan, A. Vaccari.
Assessing the Role of Temporal Information in Modelling Short-term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wroclaw. Communications in Computer and Informations Systems 1064, 463 - 474. Proceedings of the 21st European Conference on Advances in Databases and Information Systems (ADBIS 2019). A. Brunello, J. Kamińska ,E. Marzano, A. Montanari, G. Sciavicco, T. Turek.
2018
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data. Entropy 20(9), 684:1 - 684:33. F. Jiménez, C. Martínez, L. Miralles, G. Sánchez, and G. Sciavicco.
On Sub-Propositional Modal Logics. Logical Methods in Computer Science 14(2), 16:1 - 16:35. D. Bresolin, E. Muñoz-Velasco, and G. Sciavicco.
Towards Semi-Automatic Human Performance Evaluation: the Case Study of a Contact Center. Intelligent Data Analysis 22(6), 867 - 880. A. Brunello, F. Jiménez, E. Marzano, J. Palma, G. Sánchez, and G. Sciavicco.
An Integrated First-Order Theory of Points and Intervals over Linear Orders (part I). Logical Methods in Computer Science 14(2), 15:1 - 15:40. W.Conradie, S. Durhan, and G. Sciavicco.
Allen-Like Theory of Time for Tree-Like Structures. Information and Computation 259(3), 375 - 389. S. Durhan, and G. Sciavicco.
A Novel Decision Tree Approach for the Handling of Time Series. Lecture Notes on Computer Science (subseries in Artificial Intelligence) 11308, 351 - 368. Proceedings of the 6th International Conference on Mining Intelligence and Knowledge Exploration (MIKE 2018). A. Brunello, E. Marzano, A. Montanari, and G. Sciavicco.
Extracting Interval Temporal Logic Rules: A First Approach. Leibniz International Proceedings in Informatics 120, 7:1 - 7:15. Proceedings of the 25th International Symposium on Temporal Representation and Reasoning (TIME 2018). D. Bresolin, E. Cominato, S. Gnani, E. Muñoz-Velasco, and G. Sciavicco.
Deciding the Consistency of Branching Time Interval Network. Leibniz International Proceedings in Informatics 120, 12:1 - 12:15. Proceedings of the 25th International Symposium on Temporal Representation and Reasoning (TIME 2018). M. Gavanelli, A. Passantino, and G. Sciavicco.
J48S: a Sequence Classification Approach to Test Analysis based on Decision Trees. Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018), 240 - 256 (best paper award). A. Brunello, E. Marzano, A. Montanari, and G. Sciavicco.
2017
Decision Tree Pruning via Multi-Objective Evolutionary Computation. International Journal of Machine Learning and Computing 7(6), 167 - 175. A.Brunello, E. Marzano, A. Montanari, and G. Sciavicco.
Multi-Objective Evolutionary Feature Selection for Online Sales Forecasting. Neurocomputing 234, 75 - 92. F. Jiménez, G. Sánchez, J.M. García, G. Sciavicco, and L. Miralles.
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. Journal of Multiple-Valued Logic and Soft Computing 28(2-3), 217 - 249. D. Bresolin, F. Jiménez, G. Sánchez, and G. Sciavicco.
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Transactions of Computational Logic 18(3), 22:1 - 22:39. D. Bresolin, A. Kurucz, E. Muñoz-Velasco, V. Ryzhikov, G. Sciavicco, and M. Zakharyaschev.
Unsupervised Feature Selection for Interpretable Classification in the Behavioural Assessment of Children. Expert Systems 34(4), 2:1 - 2:15. F. Jiménez, R. Jodár, M. Martín, G. Sánchez, and G. Sciavicco.
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. Leibniz International Proceedings in Informatics 90, 11:1 - 11:18. Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). D. Della Monica, D. de Frutos-Escrig, A. Montanari, A. Murano, and G. Sciavicco.
A Model Checker for Interval Temporal Logics over Finite Structures. CEUR Workshop Proceedings 1949, 63 - 74. Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS 2017). D. Della Monica, E. Cominato, A. Montanari, and G. Sciavicco.
Implementation of a Tableau-Based Satisfiability Checker for HS3. CEUR Workshop Proceedings 1949, 326 - 340. Proceedings of the 32nd Italian Conference on Computational Logic (CILC 2017). E. Muñoz-Velasco, G. Sciavicco, and I.E. Stan.
Fast(er) Reasoning in Interval Temporal Logic. Leibniz International Proceedings in Informatics 82, 17:1 - 17:17. Proceedings of the 26th Conference on Computer Science Logic (CSL2017); D. Bresolin, E. Muñoz-Velasco, and G. Sciavicco.
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. Proceedings of the 26th International Joint Conference Artificial Intelligence (IJCAI 2017), 1008 - 1014. D. Della Monica, N. Gigante, A. Montanari, P. Sala, and G. Sciavicco.
2016
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: the General and the Dense Case. Acta Informatica 53(3), 207 - 246. L. Aceto, D. Della Monica, V. Goranko, A. Ingólfsdóttir, A. Montanari, and G. Sciavicco.
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. Electronic Proceedings of Theoretical Computer Science 226, 91 - 104. Proceedings of the 7th International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2016). D. Bresolin, E. Muñoz-Velasco, and G. Sciavicco.
On the Complexity of Fragments of Horn Modal Logics. Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), 186 - 195. D. Bresolin, E. Muñoz-Velasco, and G. Sciavicco.
2015
Attribute Selection via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification. Proceedings of the IEEE Symposium on Computational Intelligence in Big Data (IEEE CIBD 2015), 488 - 495. F. Jiménez, E. Marzano, G. Sánchez, G. Sciavicco, and N. Vitacolonna.
Generalizing Allen’s Theory of Time to Tree-Like Structures. Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), 69 - 78. S. Durhan and G. Sciavicco.
Undecidability of Chop. Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), 79 - 89. A. Montanari, E. Muñoz-Velasco, and G. Sciavicco.
On Coarser Interval Temporal Logics and their Satisfiability Problem. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 9422, 1 - 11. Proceedings of the 16th Conferencia Asociación Española para la Inteligencia Artificial (CAEPIA 2015). M. Pelegrín, E. Muñoz-Velasco, P. Sala, and G. Sciavicco.
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. Lecture Notes in Computer Science 8977, 511 - 523. Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). D. Della Monica, D. Bresolin, A. Montanari, P. Sala and G. Sciavicco.
2014
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity. Theoretical Computer Science 560, 269 - 291. D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
The Light Side of Interval Temporal Logic: the Bernays-Schonfinkel Fragment of CDT. Annals of Mathematics and Artificial Intelligence 71(1-3), 11 - 39. D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco.
The Dark Side of Interval Temporal Logic: Marking the Undecidability Border. Annals of Mathematics and Artificial Intelligence 71(1-3), 41 - 83. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 8761, 122 - 136. Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014). D. Bresolin, E. Muñoz-Velasco, and G. Sciavicco.
On the Expressiveness of the Interval Logic of Allen's Relations over Finite and Discrete Linear Orders. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 8761, 267 - 281. Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014). L. Aceto, D. Della Monica, A. Ingólfsdóttir, A. Montanari, and G. Sciavicco.
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. CEUR Workshop Proceedings 1195, 314 - 318. Proceedings of the 29th Italian Conference on Computational Logic (CILC 2014). D. Bresolin, E. Muñoz-Velasco, and G. Sciavicco.
2013
Optimal Decision Procedures for MPNL Over Finite Structures, the Natural Numbers, and the Integers. Theoretical Computer Science 493, 98 - 115. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco.
Metric Propositional Neighborhood Interval Logics on Natural Numbers. Journal of Software and System Modeling 12(2), 245 - 264, D. Bresolin, D. Dalla Monica, A. Montanari, V. Goranko, and G. Sciavicco.
Spatial Reasoning with Rectangular Cardinal Relations - The Convex Tractable Subalgebra. Annals of Mathematics and Artificial Intelligence 67(1), 31 - 70. I. Navarrete, A. Morales, G. Sciavicco, and M.A. Cárdenas-Viedma.
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 2013), 65 - 72. L. Aceto, D. Della Monica, A. Ingolfsdottir, A. Montanari, and G. Sciavicco.
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Lecture Notes in Computer Science, 8312, 1 - 17. Proceedings of the 19th International Conference on Logics for Programming, Artificial Intelligence and Reasoning (LPAR 2013). L. Aceto, D. Della Monica, A. Ingólfsdóttir, A. Montanari, and G. Sciavicco.
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 8123, 74 - 80. Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013). D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco.
Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints (extended version). Communications in Computer and Information Science 358, 234 - 249. Proceedings of the 4th International Conference on Agents and Artificial Intelligence (ICAART 2012). A. Montanari, I. Navarrete, G. Sciavicco, A. Tonon.
2012
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Journal of Universal Computer Science 18(20), 2798 - 2831. D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Reasoning with Time Intervals: A Logical and Computational Perspective. ISRN Artificial Intelligence (Id 616087), 2012. G. Sciavicco.
On Begins, Meets and Before. International Journal of Foundations of Computer Science 23(3), 559 - 583. D. Bresolin, P. Sala, and G. Sciavicco.
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. Electronic Proceedings of Theoretical Computer Science 96, 155 - 169. Proceedings of the 3rd International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2012). D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME 2012), 47 - 51. W. Conradie, S. Durhan, and G. Sciavicco.
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), 199 - 204. D. Bresolin, D. Della Monica, A. Montanari, P. Sala, G. Sciavicco.
2011
Interval Temporal Logics: a Journey. Bulletin of the European Association for Theoretical Computer Science 105, 73 - 99. D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
The Dark Side of Interval Temporal Logics: Sharpening the Undecidability Border. Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME 2011), 131 - 138. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
The Light Side of Interval Temporal Logics: the Bernays-Schoenfinkel's Fragment of CDT. Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME 2011), 123 - 130. D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco.
Two Sorted Point-Interval Temporal Logic. Eletronic Notes on Theoretical Computer Science 278, 31 - 45. Electronic Proceedings of Theoretical Computer Science 278, 31 - 45. Proceedings of the 7th Workshop on Methods for Modalities (M4M-7). P. Balbiani, V. Goranko and G. Sciavicco.
An Optimal Decision Procedure for MPNL over the Integers. Electronic Proceedings of Theoretical Computer Science 54, 192 - 206. Proceedings of the 2nd International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2011). D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco.
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Electronic Notes of Theoretical Computer Science 273, 3 - 19. Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010). D. Della Monica, V. Goranko, and G. Sciavicco.
On The Expressive Power of First Order Logic Extended with Allen’s Relations in the Strict Case. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 7023, 2011, 173 - 182. Proceedings of the 14th Conferencia Asociación Española para la Inteligencia Artificial (CAEPIA 2011). W. Conradie and G. Sciavicco.
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 6793, 73 - 87. Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2011). D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco.
Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification. Proceedings of the 22th International Joint Conference Artificial Intelligence (IJCAI 2011), 845 - 850. D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
2010
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. Electronic Proceedings of Theoretical Computer Science 25, 72 - 88. Proceedings of the 1st International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). D. Bresolin, P. Sala, and G. Sciavicco.
A Decidable Spatial Generalization of Metric Interval Temporal Logic. Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME 2010), 95 - 102. D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
Undecidability of the Logic of the Overlap Relation over Discrete Linear Orderings. Electronic Notes of Theoretical Computer Science 262, 65 - 81. Proceedings of the 6th Workshop on Method for Modalities (M4M 2010). D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Using Interval-Based Reasoning in Smart Homes. Proceedings of the 4th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2010), 307 - 314. G. Sciavicco.
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 695 - 700. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
On First-Order Propositional Neighborhood Logic: a First Attempt. Proceedings of the Workshop on Spatio-Temporal Dynamics of the19th European Conference on Artificial Intelligence (ECAI 2010), 43 - 48. D. Della Monica and G. Sciavicco.
2009
Propositional Interval Neighborhood Logic: Decidability, Expressiveness, and Undecidable Extensions. Annals of Pure and Applied Logics 161, 289-304. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco.
Quality Checking of Medical Guidelines using Interval Temporal Logics: A Case Study. Lecture Notes in Computer Science 5602, 158 - 167. Proceedings of the 3rd International Work-conference on the Interplay between Natural and Artificial Computation (IWINAC 2009). G. Sciavicco, J.M. Juarez, M. Campos.
A Tableau-Based System for Spatial Reasoning about Directional Relations. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 5607, 123 - 137. Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009). D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco.
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. Proceedings of the 7th IEEE Conference on Software Engeneering and Formal Methods (SEFM 2009), 240 - 249. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco.
On the Undecidability of Interval Temporal Logics with the Overlap Modality. Proceedings of the 16th International Symposium on Temporal Representation and Reasoning (TIME 2009), 88 - 95. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. Lecture Notes in Computer Science 5330, 590 - 604. Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008). D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Lecture Notes in Computer Science (subseries in Artificial Intelligence), 5293, 62 - 75. Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008). D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco.
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T. Lecture Notes in Computer Science, 5213, 307 - 321. Proceedings of the 17th Conference on Computer Science Logic (CSL 2008). I. Hodkinson, A. Montanari, and G. Sciavicco.
2007
A New Modal Logic for Spatial Reasoning about Space: Spatial Propositional Neighborhood Logics. Annals of Mathematics and Artificial Intelligence 51(1), 1 - 25. A. Morales, I. Navarrete, and G. Sciavicco.
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning 38(1-3), 173 - 199, 2007. D. Bresolin, A. Montanari, and G. Sciavicco.
Using Time for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. Lecture Notes in Computer Science 4739, 313 - 320. Proceedings of the 11th Computer Aided Sytem Theory Conference (EUROCAST 2007). A. Morales, I. Navarrete, and G. Sciavicco.
Consistency Checking of Basic Cardinal Constraint over Connected Regions. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 495 - 500. I. Navarrete, A. Morales, and G. Sciavicco.
Quality Checking of Medical Guidelines using Interval Temporal Logics (Preliminary Report). Proceedings of the 12th Conferencia Asociación Española para la Inteligencia Artificial (CAEPIA 2007), 249 - 258. G. Sciavicco.
Reasoning with 'And Then' and 'While' (Extended Abstract). Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 181 - 185. S. Roy, and G. Sciavicco.
On Decidability and Expressiveness of Propositional Neighborhood Logics. Lecture Notes in Computer Science, 4514, 84 - 99. Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2007). D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco.
2006
A General Tableaux Method for Propositional Interval Temporal Logics: Theory and Implementation. Journal of Applied Logics 4(3), 305 - 330. V. Goranko, A. Montanari, P. Sala, and G. Sciavicco.
Decidability and Definability of Binary Predicates for Time Granularity. Journal of Applied Logics 4(2), 168 - 191, 2006. A. Montanari, M. Franceschet, A. Peron, G. Sciavicco.
Using Time for Spatial Reasoning: Spatial Propositional Neighborhood Logic. Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 50 - 57. A. Morales, and G. Sciavicco.
2004
A Road Map on Interval Logics and Duration Calculi. Journal of Applied Non-Classical Logics 14(1-2), 11 - 56. V. Goranko, A. Montanari, and G. Sciavicco.
2003
Propositional Neighborhood Logics. Journal of Universal Computer Science 9(9), 1137 - 1167. V. Goranko, A. Montanari, and G. Sciavicco
A General Tableau Method for Propositional Interval Temporal Logics. Lecture Notes in Computer Science (subseries in Artificial Intelligence) 2796, 102 - 116. Proceedings of the 11th International Conference on Automated Reasoning with Analytical Tableaux and Related Method (TABLEAUX 2003) . V. Goranko, A. Montanari, and G. Sciavicco.
Definability and decidability of binary predicates for time granularity. Proceedings of the 10th International Symposium on Temporal Representation and Reasoning (TIME 2003), 192 - 202. M. Franceschet, A. Montanari, A. Peron, G. Sciavicco.
2002
Decidability of Interval Temporal Logics over Split Frames via Granularity. Lecture Notes in Computer Science (subseries in Artificial Intelligence), 2424, 259 - 270. Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA 2002). A. Montanari, and G. Sciavicco, N. Vitacolonna.