SALA, Pietro
SALA, Pietro
DIPARTIMENTO DI INFORMATICA
A decidable weakening of Compass Logic based on cone-shaped cardinal directions
2015-01-01 Angelo, Montanari; Gabriele, Puppis; Sala, Pietro
A general tableau method for propositional interval temporal logics: Theory and implementation
2006-01-01 Goranko, V.; Montanari, A.; Sala, Pietro; Sciavicco, G.
Adding one or more equivalence relations to the interval temporal logic ABB
2015-01-01 Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
An interval temporal logic characterization of extended w-regular languages
2023-01-01 Della Monica, D; Montanari, A; Sala, P
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts
2020-01-01 Barozzini, David; de Frutos-Escrig, David; Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Checking Sets of Pure Evolving Association Rules
2021-01-01 Combi, Carlo; Rizzi, Romeo; Sala, Pietro
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
2019-01-01 Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, Guido
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases
2020-01-01 Sala, Pietro; Combi, Carlo; Mantovani, Matteo; Rizzi, Romeo
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014-01-01 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval-based temporal functional dependencies: specification and verification
2014-01-01 Combi, Carlo; Sala, Pietro
Metric propositional neighborhood logic with an equivalence relation
2016-01-01 Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
Mining approximate interval-based temporal dependencies
2016-01-01 Combi, Carlo; Sala, Pietro
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases.
2015-01-01 Combi, Carlo; Mantovani, Matteo; Sabaini, Alberto; Sala, Pietro; Amaddeo, Francesco; Moretti, Ugo; Pozzi, G.
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On Begin, Meets and Before
2012-01-01 Bresolin, Davide; Sala, Pietro; G., Sciavicco
On coarser interval temporal logics
2019-01-01 Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
2013-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2023-01-01 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Reactive synthesis from interval temporal logic specifications
2022-01-01 Montanari, Angelo; Sala, Pietro