SCIAVICCO, Guido

SCIAVICCO, Guido  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 119 (tempo di esecuzione: 0.045 secondi).
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