Pietro Sala
Pietro Sala
Temporary Assistant Professor in Computer Science, University of Verona
Verified email at univr.it - Homepage
TitleCited byYear
Tableaux for logics of subinterval structures over dense orderings
D Bresolin, V Goranko, A Montanari, P Sala
Journal of Logic and Computation 20 (1), 133-166, 2008
682008
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals
A Montanari, G Puppis, P Sala
International Colloquium on Automata, Languages, and Programming, 345-356, 2010
672010
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
D Bresolin, A Montanari, P Sala
Annual Symposium on Theoretical Aspects of Computer Science, 549-560, 2007
432007
Decidability of the interval temporal logic ABBar over the natural numbers
A Montanari, G Puppis, P Sala, G Sciavicco
arXiv preprint arXiv:0912.3429, 2009
382009
What's decidable about Halpern and Shoham's interval logic? the maximal fragment ABBL
D Bresolin, A Montanari, P Sala, G Sciavicco
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 387-396, 2011
362011
A general tableau method for propositional interval temporal logics: Theory and implementation
V Goranko, A Montanari, P Sala, G Sciavicco
Journal of Applied Logic 4 (3), 305-330, 2006
332006
Decidability of the logics of the reflexive sub-interval and super-interval relations over finite linear orders
A Montanari, I Pratt-Hartmann, P Sala
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
292010
A decidable spatial logic with cone-shaped cardinal directions
A Montanari, G Puppis, P Sala
International Workshop on Computer Science Logic, 394-408, 2009
292009
Optimal tableaux for right propositional neighborhood logic over linear orders
D Bresolin, A Montanari, P Sala, G Sciavicco
European Workshop on Logics in Artificial Intelligence, 62-75, 2008
292008
Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
ECAI, 199-204, 2012
232012
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Theoretical Computer Science 560, 269-291, 2014
222014
Interval temporal logic model checking: The border between good and bad HS fragments
L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
International Joint Conference on Automated Reasoning, 389-405, 2016
172016
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
D Bresolin, A Montanari, P Sala, G Sciavicco
International Conference on Automated Reasoning with Analytic Tableaux and …, 2011
162011
Model checking well-behaved fragments of HS: the (almost) final picture
A Molinari, A Montanari, A Peron, P Sala
Fifteenth International Conference on the Principles of Knowledge …, 2016
152016
Tableau systems for logics of subinterval structures over dense orderings
D Bresolin, V Goranko, A Montanari, P Sala
International Conference on Automated Reasoning with Analytic Tableaux and …, 2007
152007
Interval vs. point temporal logic model checking: an expressiveness comparison
L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
ACM Transactions on Computational Logic (TOCL) 20 (1), 4, 2018
142018
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
GandALF 2012, 0
14*
On begins, meets and before
D Bresolin, P Sala, G Sciavicco
International Journal of Foundations of Computer Science 23 (03), 559-583, 2012
132012
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases
C Combi, M Mantovani, A Sabaini, P Sala, F Amaddeo, U Moretti, G Pozzi
Computers in biology and medicine 62, 306-324, 2015
122015
Interval logics and ωB-regular languages
A Montanari, P Sala
International Conference on Language and Automata Theory and Applications …, 2013
122013
The system can't perform the operation now. Try again later.
Articles 1–20