Pietro Sala

Matteo Mantovani

Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

2016

Adding one or more equivalence relations to the interval temporal logic.

[BibT_eX]

[DOI]

Marco Pazzaglia

Theor. Comput. Sci., 2016

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

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Metric propositional neighborhood logic with an equivalence relation.

[BibT_eX]

[DOI]

Marco Pazzaglia

Acta Informatica, 2016

Mining approximate interval-based temporal dependencies.

[BibT_eX]

[DOI]

Acta Informatica, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Prompt Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

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

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

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

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2015

The Price of Evolution in Temporal Databases.

[BibT_eX]

[DOI]

Romeo Rizzi

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.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

On Coarser Interval Temporal Logics and their Satisfiability Problem.

[BibT_eX]

[DOI]

Emilio Muñoz-Velasco

Mercedes Pelegrín-García

Guido Sciavicco

Proceedings of the Advances in Artificial Intelligence, 2015

2014

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Interval-based Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Interval-based temporal functional dependencies: specification and verification.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Adding two equivalence relations to the interval temporal logic AB.

[BibT_eX]

[DOI]

Marco Pazzaglia

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Keeping Interval-Based Functional Dependencies Up-to-Date.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

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

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Interval Logics and ωB-Regular Languages.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2013

Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013

2012

On Begins, Meets and before.

[BibT_eX]

[DOI]

Guido Sciavicco

Int. J. Found. Comput. Sci., 2012

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Symposium on Games, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Interval Temporal Logics over Finite Linear Orders: the Complete Picture.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

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

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the Logic Programs, Norms and Action, 2012

2011

An Optimal Decision Procedure for MPNL over the Integers

[BibT_eX]

[DOI]

Proceedings of Second International Symposium on Games, 2011

Temporal Functional Dependencies Based on Interval Relations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Spatial and Temporal Databases, 2011

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

[BibT_eX]

[DOI]

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

Decidability of interval temporal logics.

[BibT_eX]

[DOI]

PhD thesis, 2010

Tableaux for Logics of Subinterval Structures over Dense Orderings.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

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

[BibT_eX]

[DOI]

Guido Sciavicco

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.

[BibT_eX]

[DOI]

Ian Pratt-Hartmann

Proceedings of the TIME 2010, 2010

A Decidable Spatial Generalization of Metric Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the TIME 2010, 2010

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Decidability of the interval temporal logic ABBar over the natural numbers

[BibT_eX]

[DOI]

CoRR, 2009

A Tableau-Based System for Spatial Reasoning about Directional Relations.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

An optimal tableau for Right Propositional Neighborhood Logic over Trees.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

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

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Tableau Systems for Logics of Subinterval Structures over Dense Orderings.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.

[BibT_eX]

[DOI]