Guido Sciavicco

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 87

Top Venues

Publications

Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco, Ionel Eduard Stan
On Modal Logic Formulae Minimization. CILC (2024)
Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan
Neural-symbolic temporal decision trees for multivariate time series classification. Inf. Comput. 301 (2024)
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests. Artif. Intell. Medicine 137 (2023)
Guido Sciavicco
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data. OVERLAY@AI*IA (2023)
Michele Ghiotti, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
Evolutionary Explainable Rule Extraction from (Modal) Random Forests. ECAI (2023)
Patrik Cavina, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data. itaDATA (2023)
Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. OVERLAY@AI*IA (2023)
Guido Sciavicco, Ionel Eduard Stan
Knowledge Extraction with Interval Temporal Logic Decision Trees. CoRR (2023)
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
Efficient Modal Decision Trees. AI*IA (2023)
Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. TIME (2023)
Dario Del Fante, Federico Manzella, Guido Sciavicco, Ionel Eduard Stan
A Post-Modern Approach to Automatic Metaphor Identification. CLiC-it (2023)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets Syst. 456 (2023)
Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
Decision Trees with a Modal Flavor. AI*IA (2022)
Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. TIME (2022)
Fernando Jiménez, Gracia Sánchez, José Palma, Guido Sciavicco
Three-objective constrained evolutionary instance selection for classification: Wrapper and filter approaches. Eng. Appl. Artif. Intell. 107 (2022)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
A combined approach to the analysis of speech conversations in a contact center domain. CoRR (2022)
Maddalena Coccagna, Federico Manzella, S. Mazzacane, Giovanni Pagliarini, Guido Sciavicco
Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals. IWINAC (1) (2022)
Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso
On Modal Logic Association Rule Mining. ICTCS (2022)
Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF (2021)
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
Mining CSTNUDs significant for a set of traces is polynomial. Inf. Comput. 281 (2021)
Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
Multi-Frame Modal Symbolic Learning. OVERLAY@GandALF (2021)
Gloria Bonaccorsi, Melchiore Giganti, Maxim Nitsenko, Giovanni Pagliarini, Giacomo Piva, Guido Sciavicco
Predicting treatment recommendations in postmenopausal osteoporosis. J. Biomed. Informatics 118 (2021)
Johann Gamper, Sophie Pinchinat, Guido Sciavicco
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning. Inf. Comput. 280 (2021)
Raquel Espinosa, José Palma, Fernando Jiménez, Joanna Kaminska, Guido Sciavicco, Estrella Lucena-Sánchez
A time series forecasting based multi-criteria methodology for air quality prediction. Appl. Soft Comput. 113 (Part) (2021)
Giovanni Pagliarini, Guido Sciavicco
Decision Tree Learning with Spatial Modal Logics. GandALF (2021)
Elena Marrocchino, Guido Sciavicco, Estrella Lucena-Sánchez, Carmela Vaccaro
On Intelligent Fingerprinting of Antique Buildings from Clay Composition. CITI (2021)
Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling. Algorithms 14 (3) (2021)
Fernando Jiménez, Estrella Lucena-Sánchez, Gracia Sánchez, Guido Sciavicco
Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression. IEEE Access 9 (2021)
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
Branching interval algebra: An almost complete picture. Inf. Comput. 281 (2021)
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. TIME (2021)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS (2020)
Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY (2020)
Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan
Symbolic Learning with Interval Temporal Logic: the Case of Regression. OVERLAY (2020)
Joanna Kaminska, Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling. RuleML+RR (Supplement) (2020)
Estrella Lucena-Sánchez, Fernando Jiménez, Guido Sciavicco, Joanna Kaminska
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling. EAIS (2020)
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
The Horn Fragment of Branching Algebra. TIME (2020)
Antonella Di Roma, Estrella Lucena-Sánchez, Guido Sciavicco, Carmela Vaccaro
Towards Automatic Fingerprinting of Groundwater Aquifers. CITI (2020)
Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan
Interval Temporal Logic Decision Tree Learning. CoRR (2020)
Fernando Chávez-Castrillón, Massimo Coltorti, Roberta Ivaldi, Estrella Lucena-Sánchez, Guido Sciavicco
Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands. CITI (2020)
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
Mining Significant Temporal Networks Is Polynomial. TIME (2020)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI (2020)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). Log. Methods Comput. Sci. 16 (2) (2020)
Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani
On (Maximal, Tractable) Fragments of the Branching Algebra. CILC (2020)
Guido Sciavicco, Ionel Eduard Stan
Knowledge Extraction with Interval Temporal Logic Decision Trees. TIME (2020)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. 8 (1) (2019)
Fernando Jiménez, Carlos Martínez, Enrico Marzano, José T. Palma, Gracia Sánchez, Guido Sciavicco
Multiobjective Evolutionary Feature Selection for Fuzzy Classification. IEEE Trans. Fuzzy Syst. 27 (5) (2019)
Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Expert Syst. J. Knowl. Eng. 36 (3) (2019)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266 (2019)
Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan
Interval Temporal Logic Decision Tree Learning. JELIA (2019)
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan
On coarser interval temporal logics. Artif. Intell. 266 (2019)
Fernando Jiménez, Alessia Paoletti, Gracia Sánchez, Guido Sciavicco
Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization. IEEE Trans. Learn. Technol. 12 (2) (2019)
Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI (2019)
Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari
Towards a General Method for Logical Rule Extraction from Time Series. IWINAC (2) (2019)
Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek
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. ADBIS (Short Papers and Workshops) (2019)
Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari
Towards Interval Temporal Logic Rule-Based Classification. OVERLAY@AI*IA (2019)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
A Novel Decision Tree Approach for the Handling of Time Series. MIKE (2018)
Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco
Extracting Interval Temporal Logic Rules: A First Approach. TIME (2018)
Marco Gavanelli, Alessandro Passantino, Guido Sciavicco
Deciding the Consistency of Branching Time Interval Networks. TIME (2018)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). CoRR (2018)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST (2018)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14 (2) (2018)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). Log. Methods Comput. Sci. 14 (2) (2018)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). CoRR (2018)
Fernando Jiménez, Carlos Martínez, Luis Miralles Pechuán, Gracia Sánchez, Guido Sciavicco
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data. Entropy 20 (9) (2018)
Andrea Brunello, Fernando Jiménez, Enrico Marzano, José Palma, Gracia Sánchez, Guido Sciavicco
Towards semi-automatic human performance evaluation: The case study of a contact center. Intell. Data Anal. 22 (4) (2018)
Salih Durhan, Guido Sciavicco
Allen-like theory of time for tree-like structures. Inf. Comput. 259 (3) (2018)
Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. J. Multiple Valued Log. Soft Comput. 28 (2-3) (2017)
Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Implementation of a Tableau-based Satisfiability Checker for HS3. ICTCS/CILC (2017)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18 (3) (2017)
Fernando Jiménez, Gracia Sánchez, José M. García, Guido Sciavicco, Luis Miralles Pechuán
Multi-objective evolutionary feature selection for online sales forecasting. Neurocomputing 234 (2017)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Fast(er) Reasoning in Interval Temporal Logic. CSL (2017)
Fernando Jiménez, Rosalia Jódar, Maria del Pilar Martín, Gracia Sánchez, Guido Sciavicco
Unsupervised feature selection for interpretable classification in behavioral assessment of children. Expert Syst. J. Knowl. Eng. 34 (4) (2017)
Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME (2017)
Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC (2017)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI (2017)
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53 (3) (2016)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. GandALF (2016)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic. CoRR (2016)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On the Complexity of Fragments of Horn Modal Logics. TIME (2016)
Davide Bresolin, Guido Sciavicco
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014). Acta Informatica 53 (6-8) (2016)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR (2016)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA (2015)
Guido Sciavicco, Alfredo Burrieza
Selected Papers from the 1st Workshop "Logic, Language, and Information". Bull. EATCS 116 (2015)
Salih Durhan, Guido Sciavicco
Generalizing Allen's Theory of Time to Tree-Like Structures. TIME (2015)
Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco
Undecidability of Chop. TIME (2015)
Fernando Jiménez, Enrico Marzano, Gracia Sánchez, Guido Sciavicco, Nicola Vitacolonna
Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification. SSCI (2015)
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco
On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA (2015)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA (2014)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. CILC (2014)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560 (2014)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA (2014)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI (2014)
Guido Sciavicco
Report on LPAR 2013. Bull. EATCS 112 (2014)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR (2013)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. 493 (2013)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12 (2) (2013)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX (2013)
Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. FOGA (2013)

Guido Sciavicco.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guido Sciavicco