Dario Della Monica
Orcid: 0000-0001-9743-665X
According to our database1,
Dario Della Monica
authored at least 60 papers
between 2008 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Theor. Comput. Sci., June, 2023
ACM Trans. Comput. Log., January, 2023
IEEE Access, 2023
LICS, 2023
2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
2020
Beyond <i>ω</i>-regular languages: <i>ωT</i>-regular expressions and their automata and logic counterparts.
Theor. Comput. Sci., 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput., 2019
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance.
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the Runtime Verification - 17th International Conference, 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
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
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
2016
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Informatica, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
2015
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.
Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 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
2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014
Ann. Math. Artif. Intell., 2014
Ann. Math. Artif. Intell., 2014
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Softw. Syst. Model., 2013
Proceedings of the Proceedings Fourth International Symposium on Games, 2013
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
2012
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. Univers. Comput. Sci., 2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
On a Priced Resource-bounded Alternating μ-Calculus.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012
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
PhD thesis, 2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
Proceedings of the IJCAI 2011, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
2010
Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010
Proceedings of the TIME 2010, 2010
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010
2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Proceedings of the TIME 2009, 2009
2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Proceedings of the Logic for Programming, 2008