SCIAVICCO, Guido
SCIAVICCO, Guido
Dipartimento di Matematica e Informatica
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: the Dense and the General Case
file con accesso da definire2016 Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
A Decidable Spatial Generalization of Metric Interval Temporal Logic
file con accesso da definire2010 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A first study of the horn fragment of the modal logic of time intervals?
file con accesso da definire2014 Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido
A General Tableau Method for Propositional Interval Temporal Logics
file con accesso da definire2003 Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation
file con accesso da definire2006 Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido; Sala, Pietro
A Model Checker for Interval Temporal Logics over Finite Structures
file con accesso da definire2017 Della Monica, Dario; Cominato, Enrico; Montanari, Angelo; Sciavicco, Guido
A New Modal Logic for Spatial Reasoning about Space: Spatial Propositional Neighborhood Logics
file con accesso da definire2007 Morales, Antonio; Navarrete, Isabel; Sciavicco, Guido
A novel decision tree approach for the handling of time series
2018 Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido
A Post-Modern Approach to Automatic Metaphor Identification
file con accesso da definire2023 Del Fante, Dario; Manzella, Federico; Sciavicco, Guido; Stan, Eduard
A Road Map of Interval Temporal Logics and Duration Calculi
file con accesso da definire2004 Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation
2013 Bresolin, D.; Della Monica, D.; Montanari, A.; Sciavicco, G.
A Tableau-Based System for Spatial Reasoning about Directional Relations
2009 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A time series forecasting based multi-criteria methodology for air quality prediction
2021 Espinosa, R.; Palma, J.; Jimenez, F.; Kaminska, J.; Sciavicco, G.; Lucena-Sanchez, E.
Allen-Like Theory of Time for Tree-Like Structures
2018 Durhan, Salih; Sciavicco, Guido
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
2013 Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
An Integrated First-Order Theory of Points and Intervals over Linear Orders (part I)
2018 Conradie, Willem; Durhan, Salih; Sciavicco, Guido
An integrated first-order theory of points and intervals over linear orders (Part II)
2020 Conradie, Willem; Durhan, Salih; Sciavicco, Guido
An Integrated first-order theory of points and intervals: Expressive power in the class of all linear orders
file con accesso da definire2012 Conradie, Willem; Durhan, Salih; Sciavicco, Guido
An intelligent clustering method for devising the geochemical fingerprint of underground aquifers
2021 DI ROMA, Antonella; LUCENA SANCHEZ, Estrella; Sciavicco, Guido; Vaccaro, Carmela
An optimal decision procedure for MPNL over the integers
file con accesso da definire2011 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: the Dense and the General Case | 2016 | Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Scia...vicco, Guido | file con accesso da definire |
A Decidable Spatial Generalization of Metric Interval Temporal Logic | 2010 | Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | file con accesso da definire |
A first study of the horn fragment of the modal logic of time intervals? | 2014 | Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido | file con accesso da definire |
A General Tableau Method for Propositional Interval Temporal Logics | 2003 | Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido | file con accesso da definire |
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation | 2006 | Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido; Sala, Pietro | file con accesso da definire |
A Model Checker for Interval Temporal Logics over Finite Structures | 2017 | Della Monica, Dario; Cominato, Enrico; Montanari, Angelo; Sciavicco, Guido | file con accesso da definire |
A New Modal Logic for Spatial Reasoning about Space: Spatial Propositional Neighborhood Logics | 2007 | Morales, Antonio; Navarrete, Isabel; Sciavicco, Guido | file con accesso da definire |
A novel decision tree approach for the handling of time series | 2018 | Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido | |
A Post-Modern Approach to Automatic Metaphor Identification | 2023 | Del Fante, Dario; Manzella, Federico; Sciavicco, Guido; Stan, Eduard | file con accesso da definire |
A Road Map of Interval Temporal Logics and Duration Calculi | 2004 | Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido | file con accesso da definire |
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation | 2013 | Bresolin, D.; Della Monica, D.; Montanari, A.; Sciavicco, G. | |
A Tableau-Based System for Spatial Reasoning about Directional Relations | 2009 | Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | |
A time series forecasting based multi-criteria methodology for air quality prediction | 2021 | Espinosa, R.; Palma, J.; Jimenez, F.; Kaminska, J.; Sciavicco, G.; Lucena-Sanchez, E. | |
Allen-Like Theory of Time for Tree-Like Structures | 2018 | Durhan, Salih; Sciavicco, Guido | |
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics | 2013 | Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido | |
An Integrated First-Order Theory of Points and Intervals over Linear Orders (part I) | 2018 | Conradie, Willem; Durhan, Salih; Sciavicco, Guido | |
An integrated first-order theory of points and intervals over linear orders (Part II) | 2020 | Conradie, Willem; Durhan, Salih; Sciavicco, Guido | |
An Integrated first-order theory of points and intervals: Expressive power in the class of all linear orders | 2012 | Conradie, Willem; Durhan, Salih; Sciavicco, Guido | file con accesso da definire |
An intelligent clustering method for devising the geochemical fingerprint of underground aquifers | 2021 | DI ROMA, Antonella; LUCENA SANCHEZ, Estrella; Sciavicco, Guido; Vaccaro, Carmela | |
An optimal decision procedure for MPNL over the integers | 2011 | Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | file con accesso da definire |