SALA, Pietro

SALA, Pietro  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 78 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 1-gen-2013 Montanari, Angelo; Sala, Pietro
Adding one or more equivalence relations to the interval temporal logic ABB 1-gen-2015 Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 1-gen-2021 Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Adding two equivalence relations to the interval temporal logic AB 1-gen-2014 Montanari, A.; Pazzaglia, M.; Sala, P.
An Optimal Decision Procedure for MPNL over the Integers 1-gen-2011 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 1-gen-2006 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 1-gen-2014 Sala, Pietro
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 1-gen-2010 Bresolin, Davide; Sala, Pietro; Sciavicco, G.
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
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 1-gen-2017 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 1-gen-2017 Della Monica, D.; Gigante, Nicola; Montanari, A.; Sala, P.; Sciavicco, G.
Checking Sets of Pure Evolving Association Rules 1-gen-2021 Combi, Carlo; Rizzi, Romeo; Sala, Pietro
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 1-gen-2009 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
Counter-queue automata with an application to a meaningful extension of ω-regular languages 1-gen-2017 Barozzini, D.; Monica, D. D.; Montanari, A.; Sala, P.
Customizing BPMN Diagrams Using Timelines 1-gen-2019 Combi, Carlo; Oliboni, Barbara; 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
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 1-gen-2014 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 1-gen-2010 Montanari, Angelo; Puppis, Gabriele; Sciavicco, Guido; Sala, Pietro
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 1-gen-2010 Montanari, Angelo; Pratt Hartmann, Ian; Sala, Pietro
A Decidable Spatial Generalization of Metric Interval Temporal Logic 1-gen-2010 Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G.