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

When are prime formulae characteristic?

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

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

[BibT_eX]

[DOI]

Inf. Comput., 2019

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Pushing Runtime Verification to the Limit: May Process Semantics Be With Us.

[BibT_eX]

[DOI]

Dario Della Monica

Adrian Francalanza

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance.

[BibT_eX]

[DOI]

Andrea Brunello

Dario Della Monica

Angelo Montanari

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

A Novel Automata-Theoretic Approach to Timeline-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS.

[BibT_eX]

[DOI]

Dario Della Monica

Aniello Murano

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

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

[BibT_eX]

[DOI]

Dario Della Monica

Angelo Montanari

Pietro Sala

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.

[BibT_eX]

[DOI]

Dario Della Monica

David de Frutos-Escrig

Angelo Montanari

Aniello Murano

Guido Sciavicco

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

A Foundation for Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Model Checker for Interval Temporal Logic over Finite Structures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

2016

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Prompt Interval Temporal Logic.

[BibT_eX]

[DOI]

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

2015

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.

[BibT_eX]

[DOI]

David Romero-Hernández

David de Frutos-Escrig

Dario Della Monica

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.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

2014

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

The dark side of interval temporal logic: marking the undecidability border.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Metric propositional neighborhood logics on natural numbers.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Model checking coalitional games in shortage resource scenarios.

[BibT_eX]

[DOI]

Dario Della Monica

Margherita Napoli

Mimmo Parente

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Univers. 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

On a Priced Resource-bounded Alternating μ-Calculus.

[BibT_eX]

Dario Della Monica

Giacomo Lenzi

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 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

Angelo Montanari

Pietro Sala

Proceedings of the Logic Programs, Norms and Action, 2012

2011

Expressiveness, decidability, and undecidability of interval temporal logic.

[BibT_eX]

[DOI]

Dario Della Monica

PhD thesis, 2011

On a Logic for Coalitional Games with Priced-Resource Agents.

[BibT_eX]

[DOI]

Dario Della Monica

Margherita Napoli

Mimmo Parente

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Interval Temporal Logics: a Journey.

[BibT_eX]

[DOI]

Bull. EATCS, 2011

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Coalitional Games with Priced-Resource Agents.

[BibT_eX]

[DOI]

Dario Della Monica

Margherita Napoli

Mimmo Parente

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.

[BibT_eX]

[DOI]

Dario Della Monica

Valentin Goranko

Guido Sciavicco

Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010

A Decidable Spatial Generalization of Metric Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the TIME 2010, 2010

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Undecidability of Interval Temporal Logics with the Overlap Modality.

[BibT_eX]

[DOI]

Proceedings of the TIME 2009, 2009

2008

Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

Dario Della Monica

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...