| 2026 | IWINAC | Hybrid SAT-Based Decision Trees. | Marco Perrotta, Guido Sciavicco, Simona Tenasini |
| 2025 | TIME | Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic. | Pietro Bellodi, Pietro Casavecchia, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan |
| 2025 | TIME | Temporal Association Rules from Motifs (Short Paper). | Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
| 2024 | TIME | Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. | Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan |
| 2024 | TIME | A General Logical Approach to Learning from Time Series (Invited Talk). | Guido Sciavicco |
| 2023 | ECAI | Evolutionary Explainable Rule Extraction from (Modal) Random Forests. | Michele Ghiotti, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
| 2023 | TIME | A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. | Willem Conradie, Riccardo Monego, Emilio Muoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
| 2022 | IWINAC | Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals. | Maddalena Coccagna, Federico Manzella, Sante Mazzacane, Giovanni Pagliarini, Guido Sciavicco |
| 2022 | TIME | Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. | Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan |
| 2021 | TIME | Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. | Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
| 2020 | ECAI | An Approach to Fuzzy Modal Logic of Time Intervals. | Willem Conradie, Dario Della Monica, Emilio Muoz-Velasco, Guido Sciavicco |
| 2020 | TIME | The Horn Fragment of Branching Algebra. | Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani |
| 2020 | TIME | Knowledge Extraction with Interval Temporal Logic Decision Trees. | Guido Sciavicco, Ionel Eduard Stan |
| 2020 | TIME | Mining Significant Temporal Networks Is Polynomial. | Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
| 2019 | ADBIS | Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław. | Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek |
| 2019 | IWINAC | Towards a General Method for Logical Rule Extraction from Time Series. | Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari |
| 2019 | JELIA | Interval Temporal Logic Decision Tree Learning. | Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan |
| 2018 | TIME | Extracting Interval Temporal Logic Rules: A First Approach. | Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muoz-Velasco, Guido Sciavicco |
| 2018 | TIME | Deciding the Consistency of Branching Time Interval Networks. | Marco Gavanelli, Alessandro Passantino, Guido Sciavicco |
| 2017 | CSL | Fast(er) Reasoning in Interval Temporal Logic. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2017 | IJCAI | Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2017 | TIME | Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. | Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco |
| 2016 | TIME | On the Complexity of Fragments of Horn Modal Logics. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2015 | LATA | On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2015 | TIME | Generalizing Allen's Theory of Time to Tree-Like Structures. | Salih Durhan, Guido Sciavicco |
| 2015 | TIME | Undecidability of Chop. | Angelo Montanari, Emilio Muoz-Velasco, Guido Sciavicco |
| 2014 | ECAI | DL-Lite and Interval Temporal Logics: a Marriage Proposal. | Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov |
| 2014 | JELIA | On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2014 | JELIA | Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2013 | FOGA | Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. | Davide Bresolin, Fernando Jimnez, Gracia Snchez, Guido Sciavicco |
| 2013 | LPAR | An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | TABLEAUX | A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2013 | TIME | A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2012 | ECAI | Interval Temporal Logics over Finite Linear Orders: the Complete Picture. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2012 | ICAART | A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. | Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon |
| 2012 | ICAART | Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. | Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon |
| 2012 | TIME | An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. | Willem Conradie, Salih Durhan, Guido Sciavicco |
| 2011 | IJCAI | Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | LICS | What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TABLEAUX | Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TIME | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | TIME | The Light Side of Interval Temporal Logic: The Bernays-Schnfinkel's Fragment of CDT. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | ECAI | Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2010 | STACS | Decidability of the Interval Temporal Logic ABB over the Natural Numbers. | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
| 2010 | TIME | A Decidable Spatial Generalization of Metric Interval Temporal Logic. | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2009 | IWINAC | Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. | Guido Sciavicco, Jos M. Jurez, Manuel Campos |
| 2009 | SEFM | Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2009 | TABLEAUX | A Tableau-Based System for Spatial Reasoning about Directional Relations. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2009 | TIME | Undecidability of Interval Temporal Logics with the Overlap Modality. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | CSL | Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. | Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco |
| 2008 | JELIA | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2008 | LPAR | Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2007 | IJCAI | Consistency Checking of Basic Cardinal Constraints over Connected Regions. | Isabel Navarrete, Antonio Morales, Guido Sciavicco |
| 2007 | LFCS | On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2007 | TIME | Reasoning with 'And Then' and 'While'. | Suman Roy, Guido Sciavicco |
| 2006 | TIME | Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. | Antonio Morales, Guido Sciavicco |
| 2003 | TABLEAUX | A General Tableau Method for Propositional Interval Temporal Logics. | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2003 | TIME | Definability and decidability of binary predicates for time granularity. | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
| 2002 | JELIA | Decidability of Interval Temporal Logics over Split-Frames via Granularity. | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna |