Pietro Sala

发表

Metric Propositional Neighborhood Logic with an Equivalence Relation

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2014, TIME.

Interval vs. Point Temporal Logic Model Checking

Angelo Montanari, Pietro Sala, Adriano Peron, 2017, ACM Trans. Comput. Log..

Temporal Functional Dependencies Based on Interval Relations

Pietro Sala, Carlo Combi, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Counter-queue automata with an application to a meaningful extension of ω-regular languages

Dario Della Monica, Angelo Montanari, Pietro Sala, 2017 .

Interval Logics and ωB-Regular Languages

Angelo Montanari, Pietro Sala, 2013, LATA.

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, GandALF.

A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities

Angelo Montanari, Pietro Sala, Carlo Combi, 2011, SSTD.

A decidable weakening of Compass Logic based on cone-shaped cardinal directions

Gabriele Puppis, Angelo Montanari, Pietro Sala, 2015, Log. Methods Comput. Sci..

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2009, M4M.

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Pietro Sala, 2010, GANDALF.

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions

Gabriele Puppis, Angelo Montanari, Pietro Sala, 2009, CSL.

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals

Gabriele Puppis, Angelo Montanari, Pietro Sala, 2010, ICALP.

The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic

Dario Della Monica, Angelo Montanari, Pietro Sala, 2012, Logic Programs, Norms and Action.

Metric Right Propositional Neighborhood Logic with an Equivalence Relation

Pietro Sala, 2018, ICTCS.

Interval Temporal Logics over Finite Linear Orders: the Complete Picture

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2012, ECAI.

Interval-based temporal functional dependencies: specification and verification

Pietro Sala, Carlo Combi, 2013, Annals of Mathematics and Artificial Intelligence.

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic

Davide Bresolin, Angelo Montanari, Pietro Sala, 2007, STACS.

Metric propositional neighborhood logic with an equivalence relation

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.

Prompt Interval Temporal Logic

Dario Della Monica, Angelo Montanari, Pietro Sala, 2016, JELIA.

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness

Angelo Montanari, Pietro Sala, A. Montanari, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

An optimal tableau for Right Propositional Neighborhood Logic over Trees

Davide Bresolin, Angelo Montanari, Pietro Sala, 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

A Novel Automata-Theoretic Approach to Timeline-Based Planning

Dario Della Monica, Angelo Montanari, Pietro Sala, 2018, KR.

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages

Dario Della Monica, Angelo Montanari, Pietro Sala, 2017, ICTCS/CILC.

Keeping Interval-Based Functional Dependencies Up-to-Date

Pietro Sala, Carlo Combi, 2014, CILC.

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2012, GandALF.

Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

Gabriele Puppis, Angelo Montanari, Pietro Sala, 2014, MFCS.

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, FSTTCS.

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2015, LATA.

On Coarser Interval Temporal Logics and their Satisfiability Problem

Guido Sciavicco, Emilio Muñoz-Velasco, Pietro Sala, 2015, CAEPIA.

A Tableau-Based System for Spatial Reasoning about Directional Relations

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2009, TABLEAUX.

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2008, JELIA.

Which fragments of the interval temporal logic HS are tractable in model checking?

Angelo Montanari, Pietro Sala, Adriano Peron, 2019, Theor. Comput. Sci..

The Price of Evolution in Temporal Databases

Pietro Sala, Romeo Rizzi, Carlo Combi, 2015, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, 2020, Theor. Comput. Sci..

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2013, Theor. Comput. Sci..

On coarser interval temporal logics

Guido Sciavicco, Emilio Muñoz-Velasco, Pietro Sala, 2019, Artif. Intell..

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, TABLEAUX.

Interval-based Synthesis

Angelo Montanari, Pietro Sala, A. Montanari, 2014, GandALF.

On a Temporal Logic of Prefixes and Infixes

Angelo Montanari, Pietro Sala, Adriano Peron, 2020, MFCS.

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, IJCAR.

Adding two equivalence relations to the interval temporal logic AB

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2014, ICTCS.

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Angelo Montanari, Pietro Sala, Adriano Peron, 2018, Inf. Comput..

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2019, Inf. Comput..

Customizing BPMN Diagrams Using Timelines

Pietro Sala, Carlo Combi, Barbara Oliboni, 2019, TIME.

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2017, IJCAI.

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2017, ICALP.

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape

Pietro Sala, P. Sala, 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, ICTCS.

Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases

Pietro Sala, Carlo Combi, Giuseppe Pozzi, 2015, Comput. Biol. Medicine.

Tableaux for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2010, J. Log. Comput..

Discovering Quantitative Temporal Functional Dependencies on Clinical Data

Pietro Sala, Carlo Combi, Matteo Mantovani, 2017, 2017 IEEE International Conference on Healthcare Informatics (ICHI).

A general tableau method for propositional interval temporal logics: Theory and implementation

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2006, J. Appl. Log..

On Begins, Meets and before

Davide Bresolin, Guido Sciavicco, Pietro Sala, 2012, Int. J. Found. Comput. Sci..

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, KR.

An Optimal Decision Procedure for MPNL over the Integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, GandALF.

Adding one or more equivalence relations to the interval temporal logic

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2016, Theor. Comput. Sci..

A Logical Formalization of Time-Critical Processes with Resources

Pietro Sala, Carlo Combi, Francesca Zerbato, 2018, BPM.

Driving time-dependent paths in clinical BPMN processes

Pietro Sala, Carlo Combi, Francesca Zerbato, 2017, SAC.

Mining approximate interval-based temporal dependencies

Pietro Sala, Carlo Combi, 2015, Acta Informatica.

An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies

Pietro Sala, 2018, CILC.

Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping

Pietro Sala, Carlo Combi, Giuseppe Pozzi, 2013, 2013 IEEE 13th International Conference on Data Mining Workshops.

An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals

Angelo Montanari, Pietro Sala, 2012, 2012 19th International Symposium on Temporal Representation and Reasoning.

A Framework for Mining Evolution Rules and Its Application to the Clinical Domain

Pietro Sala, Carlo Combi, Alberto Sabaini, 2015, 2015 International Conference on Healthcare Informatics.

Tableau Systems for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2007, TABLEAUX.

Discovering Evolving Temporal Information: Theory and Application to Clinical Databases

Pietro Sala, Carlo Combi, Romeo Rizzi, 2020, SN Comput. Sci..

Decidability of the Interval Temporal Logic ABB over the Natural Numbers pdf

Guido Sciavicco, Gabriele Puppis, Angelo Montanari, 2010, STACS.

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders

Angelo Montanari, Pietro Sala, Ian Pratt-Hartmann, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2014, Theor. Comput. Sci..

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata

Dario Della Monica, Angelo Montanari, Pietro Sala, 2017, GandALF.

On the early detection of Sepsis in MIMIC-III

Pietro Sala, Manuel Medina, 2021, 2021 IEEE 9th International Conference on Healthcare Informatics (ICHI).

Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2021, Electronic Proceedings in Theoretical Computer Science.

Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes

Angelo Montanari, Pietro Sala, Adriano Peron, 2021, TIME.

TEDAR: Temporal dynamic signal detection of adverse reactions

Pietro Sala, Rosalba Giugno, Vincenzo Bonnici, 2021, Artif. Intell. Medicine.

Reactive synthesis from interval temporal logic specifications

Angelo Montanari, Pietro Sala, A. Montanari, 2021, Theor. Comput. Sci..

Checking Sets of Pure Evolving Association Rules

Pietro Sala, Romeo Rizzi, Carlo Combi, 2021, Fundam. Informaticae.

Tableau-based decision procedures for the logics of subinterval structures over dense orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2008 .

Decidability of the interval temporal logic AA*BB* over the rationals

Gabriele Puppis, Angelo Montanari, Pietro Sala, 2014, MFCS 2014.