Dario Della Monica

71 papers A* 4A 4B 6C 8Journal 21Unranked 23
YearRankTypeTitle / Venue / Authors
2025 — conf
An Automaton-based Characterisation of First-Order Logic over Infinite Trees.
GandALF
Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis
2025 J jnl
Synthesis of timeline-based planning strategies avoiding determinization.
CoRR
Dario Della Monica, Angelo Montanari, Pietro Sala
2024 — conf
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization.
GandALF
Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala
2024 J jnl
When Are Prime Formulae Characteristic?
CoRR
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2023 J jnl
Alternating (In)Dependence-Friendly Logic.
Ann. Pure Appl. Log.
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2023 J jnl
Alternating (In)Dependence-Friendly Logic.
CoRR
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2023 J jnl
An interval temporal logic characterization of extended
Theor. Comput. Sci.
Dario Della Monica, Angelo Montanari, Pietro Sala
2023 J jnl
Fuzzy Halpern and Shoham's interval temporal logics.
Fuzzy Sets Syst.
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
2023 J jnl
Good-for-Game QPTL: An Alternating Hodges Semantics.
ACM Trans. Comput. Log.
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2023 J jnl
Monitors That Learn From Failures: Pairing STL and Genetic Programming.
IEEE Access
Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo
2023 — ed.
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023.
GandALF
Antonis Achilleos, Dario Della Monica
2023 A* conf
The Logic of Prefixes and Suffixes is Elementary under Homogeneity
LICS
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2023 J jnl
The Logic of Prefixes and Suffixes is Elementary under Homogeneity.
CoRR
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2022 — conf
Decision Trees with a Modal Flavor.
AI*IA
Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2022 — ed.
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022.
GandALF
Pierre Ganty, Dario Della Monica
2021 — conf
Extended ω-Regular Languages and Interval Temporal Logic.
ICTCS
Dario Della Monica, Angelo Montanari, Pietro Sala
2021 J jnl
Good-for-Game QPTL: An Alternating Hodges Semantics.
CoRR
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2021 — ed.
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021.
OVERLAY@GandALF
Dario Della Monica, Gian Luca Pozzato, Enrico Scala
2020 — conf
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking.
OVERLAY
Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan
2020 A conf
An Approach to Fuzzy Modal Logic of Time Intervals.
ECAI
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco
2020 J jnl
Beyond
Theor. Comput. Sci.
David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala
2020 C conf
Complexity of Qualitative Timeline-Based Planning.
TIME
Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari
2020 — conf
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification.
OVERLAY
Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo
2020 J jnl
Preface.
Fundam. Informaticae
Dario Della Monica, Aniello Murano, Luigi Sauro
2020 — conf
Time Series Checking with Fuzzy Interval Temporal Logics.
ICTCS
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
2019 J jnl
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput.
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2019 — conf
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance.
OVERLAY@AI*IA
Andrea Brunello, Dario Della Monica, Angelo Montanari
2019 — conf
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us.
OVERLAY@AI*IA
Dario Della Monica, Adrian Francalanza
2019 — conf
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation.
GCAI
Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
2019 J jnl
When are prime formulae characteristic?
Theor. Comput. Sci.
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2018 A* conf
A Novel Automata-Theoretic Approach to Timeline-Based Planning.
KR
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
2018 A conf
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS.
AAMAS
Dario Della Monica, Aniello Murano
2017 B conf
A Foundation for Runtime Monitoring.
RV
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
2017 — conf
A Model Checker for Interval Temporal Logic over Finite Structures.
ICTCS/CILC
Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2017 — conf
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata.
GandALF
Dario Della Monica, Angelo Montanari, Pietro Sala
2017 A* conf
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
IJCAI
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
2017 — conf
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages.
ICTCS/CILC
David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
2017 C conf
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.
TIME
Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco
2017 — ed.
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), Naples, Italy, September 26-28, 2017.
ICTCS/CILC
Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro
2016 J jnl
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Informatica
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2016 B conf
Prompt Interval Temporal Logic.
JELIA
Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
2015 C conf
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
LATA
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2015 — conf
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.
PROLE
David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica
2015 — conf
When Are Prime Formulae Characteristic?
MFCS (1)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2014 J jnl
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci.
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2014 B conf
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
JELIA
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2014 J jnl
The dark side of interval temporal logic: marking the undecidability border.
Ann. Math. Artif. Intell.
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2014 J jnl
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.
Ann. Math. Artif. Intell.
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2013 C conf
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
TIME
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013 B conf
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
TABLEAUX
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2013 B conf
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
LPAR
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013 J jnl
Metric propositional neighborhood logics on natural numbers.
Softw. Syst. Model.
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2013 — conf
Model checking coalitional games in shortage resource scenarios.
GandALF
Dario Della Monica, Margherita Napoli, Mimmo Parente
2012 J jnl
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. Univers. Comput. Sci.
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2012 A conf
Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
ECAI
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012 — conf
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
GandALF
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012 — conf
On a Priced Resource-bounded Alternating μ-Calculus.
ICAART (2)
Dario Della Monica, Giacomo Lenzi
2012 — conf
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.
Logic Programs, Norms and Action
Dario Della Monica, Angelo Montanari, Pietro Sala
2011 — conf
Coalitional Games with Priced-Resource Agents.
CILC
Dario Della Monica, Margherita Napoli, Mimmo Parente
2011 A* conf
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
IJCAI
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011 — —
Expressiveness, decidability, and undecidability of interval temporal logic.
Dario Della Monica
2011 J jnl
Interval Temporal Logics: a Journey.
Bull. EATCS
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011 — conf
On a Logic for Coalitional Games with Priced-Resource Agents.
M4M/LAMAS
Dario Della Monica, Margherita Napoli, Mimmo Parente
2011 C conf
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
TIME
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011 C conf
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
TIME
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2010 C conf
A Decidable Spatial Generalization of Metric Interval Temporal Logic.
TIME
Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2010 — conf
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.
HyLo@LICS
Dario Della Monica, Valentin Goranko, Guido Sciavicco
2010 A conf
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
ECAI
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009 C conf
Undecidability of Interval Temporal Logics with the Overlap Modality.
TIME
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009 — conf
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
M4M
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2008 B conf
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
LPAR
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco