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