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 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 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
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
2013-01-01 Montanari, Angelo; 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 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
2007-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape
2014-01-01 Sala, Pietro
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
2010-01-01 Bresolin, Davide; Sala, Pietro; Sciavicco, G.
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata
2017-01-01 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints
2017-01-01 Della Monica, D.; Gigante, Nicola; Montanari, A.; Sala, P.; Sciavicco, G.
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
2009-01-01 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
Counter-queue automata with an application to a meaningful extension of ω-regular languages
2017-01-01 Barozzini, D.; Monica, D. D.; Montanari, A.; Sala, P.
Customizing BPMN Diagrams Using Timelines
2019-01-01 Combi, Carlo; Oliboni, Barbara; Sala, Pietro