Follow
Pietro Sala
Pietro Sala
Associate Professor in Computer Science, University of Verona
Verified email at univr.it - Homepage
Title
Cited by
Cited by
Year
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, 2010
782010
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
762010
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
D Bresolin, A Montanari, P Sala
STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science …, 2007
512007
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
472009
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
462014
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
412006
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
402011
A decidable spatial logic with cone-shaped cardinal directions
A Montanari, G Puppis, P Sala
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009
392009
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
322010
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
292015
Optimal tableaux for right propositional neighborhood logic over linear orders
D Bresolin, A Montanari, P Sala, G Sciavicco
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008
282008
INAPPROPRIATE EMERGENCY TEST ORDERING IN A GENERAL HOSPITAL PRELIMINARY REPORTS
F Perraro, P Rossi, C Liva, A Bulfoni, G Ganzini, A Giustinelli, E Tonutti, ...
International Journal for Quality in Health Care 4 (1), 77-81, 1992
281992
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
272012
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), 1-31, 2018
262018
CD4 cytopenia and occasional expansion of CD4+ CD8+ lymphocytes in Sjögren's syndrome.
GF Ferraccioli, E Tonutti, L Casatta, I Pegoraro, S De Vita, P Sala, ...
Clinical and experimental rheumatology 14 (2), 125-130, 1996
251996
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
242016
Anion gap in multiple myeloma
G Paladini, PG Sala
Acta Haematologica 62 (3), 148-152, 1979
241979
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
D Bresolin, A Montanari, P Sala, G Sciavicco
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
222011
Interval Logics and ωB-Regular Languages
A Montanari, P Sala
International Conference on Language and Automata Theory and Applications …, 2013
212013
A uniform framework for temporal functional dependencies with multiple granularities
C Combi, A Montanari, P Sala
Advances in Spatial and Temporal Databases: 12th International Symposium …, 2011
212011
The system can't perform the operation now. Try again later.
Articles 1–20