SALA, Pietro

SALA, Pietro  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 83 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A Decidable Spatial Generalization of Metric Interval Temporal Logic 1-gen-2010 Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G.
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions 1-gen-2009 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
A decidable weakening of Compass Logic based on cone-shaped cardinal directions 1-gen-2015 Angelo, Montanari; Gabriele, Puppis; Sala, Pietro
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain 1-gen-2015 Sala, Pietro; Combi, Carlo; Cuccato, Matteo; Galvani, Andrea; Sabaini, Alberto
A general tableau method for propositional interval temporal logics: Theory and implementation 1-gen-2006 Goranko, V.; Montanari, A.; Sala, Pietro; Sciavicco, G.
A Logical Formalization of Time-Critical Processes with Resources 1-gen-2018 Combi, Carlo; Sala, Pietro; Zerbato, Francesca
A Novel Automata-Theoretic Approach to Timeline-Based Planning 1-gen-2018 Della Monica, Dario; Gigante, Nicola; Montanari, Angelo; Sala, Pietro
A tableau-based system for spatial reasoning about directional relations 1-gen-2009 Bresolin, Davide; Montanari, A.; Sala, Pietro; Sciavicco, G.
A uniform framework for temporal functional dependencies with multiple granularities 1-gen-2011 Combi, Carlo; Montanari, Angelo; Sala, Pietro
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 1-gen-2011 Combi, Carlo; Montanari, Angelo; Sala, Pietro
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 1-gen-2013 Montanari, Angelo; Sala, Pietro
Adding one or more equivalence relations to the interval temporal logic ABB 1-gen-2015 Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 1-gen-2021 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Adding two equivalence relations to the interval temporal logic AB 1-gen-2014 Montanari, A.; Pazzaglia, M.; Sala, P.
An interval temporal logic characterization of extended w-regular languages 1-gen-2023 Della Monica, D; Montanari, A; Sala, P
An Optimal Decision Procedure for MPNL over the Integers 1-gen-2011 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 1-gen-2012 Montanari, Angelo; Sala, Pietro
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 1-gen-2006 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 1-gen-2007 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 1-gen-2014 Sala, Pietro