# Pietro Sala

According to our database1, Pietro Sala authored at least 64 papers between 2006 and 2019.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2019
Which fragments of the interval temporal logic HS are tractable in model checking?
Theor. Comput. Sci., 2019

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput., 2019

On coarser interval temporal logics.
Artif. Intell., 2019

2018
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy.
Inf. Comput., 2018

A Novel Automata-Theoretic Approach to Timeline-Based Planning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Metric Right Propositional Neighborhood Logic with an Equivalence Relation.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018

A Logical Formalization of Time-Critical Processes with Resources.
Proceedings of the Business Process Management Forum, 2018

2017
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Driving time-dependent paths in clinical BPMN processes.
Proceedings of the Symposium on Applied Computing, 2017

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

Discovering Quantitative Temporal Functional Dependencies on Clinical Data.
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016
Adding one or more equivalence relations to the interval temporal logic.
Theor. Comput. Sci., 2016

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete.
Proceedings of the Seventh International Symposium on Games, 2016

Mining approximate interval-based temporal dependencies.
Acta Inf., 2016

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Prompt Interval Temporal Logic.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
A decidable weakening of Compass Logic based on cone-shaped cardinal directions.
Logical Methods in Computer Science, 2015

Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases.
Comp. in Bio. and Med., 2015

The Price of Evolution in Temporal Databases.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Proceedings of the Language and Automata Theory and Applications, 2015

A Framework for Mining Evolution Rules and Its Application to the Clinical Domain.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

On Coarser Interval Temporal Logics and their Satisfiability Problem.
Proceedings of the Advances in Artificial Intelligence, 2015

2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014

Interval-based Synthesis.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Interval-based temporal functional dependencies: specification and verification.
Ann. Math. Artif. Intell., 2014

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Metric Propositional Neighborhood Logic with an Equivalence Relation.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Adding two equivalence relations to the interval temporal logic AB.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Keeping Interval-Based Functional Dependencies Up-to-Date.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Theor. Comput. Sci., 2013

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Interval Logics and ωB-Regular Languages.
Proceedings of the Language and Automata Theory and Applications, 2013

Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping.
Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013

2012
On Begins, Meets and before.
Int. J. Found. Comput. Sci., 2012

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Proceedings of the Proceedings Third International Symposium on Games, 2012

An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
Proceedings of the ECAI 2012, 2012

The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.
Proceedings of the Logic Programs, Norms and Action, 2012

2011
An Optimal Decision Procedure for MPNL over the Integers
Proceedings of Second International Symposium on Games, 2011

Temporal Functional Dependencies Based on Interval Relations.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities.
Proceedings of the Advances in Spatial and Temporal Databases, 2011

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010
Tableaux for Logics of Subinterval Structures over Dense Orderings.
J. Log. Comput., 2010

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Proceedings of the Proceedings First Symposium on Games, 2010

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.
Proceedings of the TIME 2010, 2010

A Decidable Spatial Generalization of Metric Interval Temporal Logic.
Proceedings of the TIME 2010, 2010

Decidability of the Interval Temporal Logic ABB over the Natural Numbers.
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Electr. Notes Theor. Comput. Sci., 2009

A Tableau-Based System for Spatial Reasoning about Directional Relations.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008
An optimal tableau for Right Propositional Neighborhood Logic over Trees.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007
Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
Proceedings of the STACS 2007, 2007

2006
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Applied Logic, 2006