SALA, Pietro
SALA, Pietro
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A Decidable Spatial Logic with Cone-shaped Cardinal Directions
2009-01-01 Montanari, Angelo; Puppis, G.; Sala, Pietro
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation
2006-01-01 Goranko, Valentin; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
An optimal tableau for Right Propositional Neighborhood Logic over trees
2008-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata
2017-01-01 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts
2020-01-01 Barozzini, D.; de Frutos-Escrig, D.; Della Monica, D.; Montanari, A.; Sala, P.
Decidability of the interval temporal logic ABB* over the natural numbers
2010-01-01 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, G.
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders
2008-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
2007-01-01 Bresolin, D; Goranko, V; Montanari, Angelo; Sala, Pietro
Tableau-Based System for Spatial Reasoning about Directional Relations
2009-01-01 Bresolin, D; Montanari, Angelo; Sala, Pietro; Sciavicco, G.
Tableaux for logics of subinterval structures over dense orderings
2010-01-01 Bresolin, D; Goranko, V; Montanari, Angelo; Sala, Pietro