SCIAVICCO, Guido

SCIAVICCO, Guido  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 107 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
Allen-Like Theory of Time for Tree-Like Structures 2018 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 optimal decision procedure for MPNL over the integers 2011 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido file con accesso da definire
Attribute Selection via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification 2015 Jiménez, Fernando; Marzano, Enrico; Sánchez, Gracia; Sciavicco, Guido; Vitacolonna, Nicola file con accesso da definire
Begin, after, and later: A maximal decidable interval temporal logic 2010 Bresolin, Davide; Sala, Pietro; Sciavicco, Guido
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 2017 Della Monica, Dario; Gigante, Nicola; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido file con accesso da definire
Branching interval algebra: An almost complete picture 2021 Bertagnon, A.; Gavanelli, M.; Passantino, A.; Sciavicco, G.; Trevisani, S. file con accesso da definire
Complete Classification of the Expressiveness of Fragments of Halpern-Shoham Logic over Dense Linear Orders 2013 Aceto, Luca; Della Monica, Dario; Ingolfsdottir, Anna; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
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
Consistency Checking of Basic Cardinal Constraint over Connected Regions 2007 Navarrete, Isabel; Morales, Antonio; Sciavicco, Guido file con accesso da definire
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers 2012 Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
The Dark Side of Interval Temporal Logic: Marking the Undecidability Border 2014 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
The Dark Side of Interval Temporal Logics: Sharpening the Undecidability Border 2011 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 2019 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Decidability and Definability of Binary Predicates for Time Granularity 2006 Montanari, Angelo; Franceschet, Massimo; Peron, Adriano; Sciavicco, Guido file con accesso da definire
Decidability of Interval Temporal Logics over Split-Frames via Granularity 2002 Montanari, Angelo; Sciavicco, Guido; Vitacolonna, Nicola file con accesso da definire
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido file con accesso da definire
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 2008 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido