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
Predictive mining of multi-temporal relations
2024-01-01 Amico, Beatrice; Combi, Carlo; Rizzi, Romeo; Sala, Pietro
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2023-01-01 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A decidable weakening of Compass Logic based on cone-shaped cardinal directions | 1-gen-2015 | Angelo, Montanari; Gabriele, Puppis; Sala, Pietro | |
| A general tableau method for propositional interval temporal logics: Theory and implementation | 1-gen-2006 | Goranko, V.; Montanari, A.; Sala, Pietro; Sciavicco, G. | |
| Adding one or more equivalence relations to the interval temporal logic ABB | 1-gen-2015 | Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro | |
| An interval temporal logic characterization of extended w-regular languages | 1-gen-2023 | Della Monica, D; Montanari, A; Sala, P | |
| Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts | 1-gen-2020 | Barozzini, David; de Frutos-Escrig, David; Della Monica, Dario; Montanari, Angelo; Sala, Pietro | |
| Checking Sets of Pure Evolving Association Rules | 1-gen-2021 | Combi, Carlo; Rizzi, Romeo; Sala, Pietro | |
| Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals | 1-gen-2019 | Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, Guido | |
| Discovering Evolving Temporal Information: Theory and Application to Clinical Databases | 1-gen-2020 | Sala, Pietro; Combi, Carlo; Mantovani, Matteo; Rizzi, Romeo | |
| Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity | 1-gen-2014 | Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | |
| Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison | 1-gen-2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
| Interval-based temporal functional dependencies: specification and verification | 1-gen-2014 | Combi, Carlo; Sala, Pietro | |
| Metric propositional neighborhood logic with an equivalence relation | 1-gen-2016 | Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro | |
| Mining approximate interval-based temporal dependencies | 1-gen-2016 | Combi, Carlo; Sala, Pietro | |
| Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. | 1-gen-2015 | 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 | 1-gen-2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
| On Begin, Meets and Before | 1-gen-2012 | Bresolin, Davide; Sala, Pietro; G., Sciavicco | |
| On coarser interval temporal logics | 1-gen-2019 | 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 | 1-gen-2013 | Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco | |
| Predictive mining of multi-temporal relations | 1-gen-2024 | Amico, Beatrice; Combi, Carlo; Rizzi, Romeo; Sala, Pietro | |
| Pspace-completeness of the temporal logic of sub-intervals and suffixes | 1-gen-2023 | Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro |