Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, and
Andrea Urgolo.
Monitors that Learn from Failures: Pairing STL and Genetic Programming.IEEE Access, 2023 (DOI:
10.1109/ACCESS.2023.3277620,
online since May 2023).
[ISI: ---, Scopus: ---]
@article{ieeeAccess23,
author = {Andrea Brunello and
Della Monica, Dario and
Angelo Montanari and
Nicola Saccomanno and
Andrea Urgolo},
journal={IEEE Access},
title = {Monitors that Learn from Failures:
Pairing {STL} and Genetic Programming},
year = {2023},
volume={},
number={},
pages={1-1},
doi={10.1109/ACCESS.2023.3277620},
note = {Online since May 2023}
}
D. Della Monica, A. Montanari, and P. Sala.
An interval temporal logic
characterization of extended
omega-regular languages.Theoretical Computer Science (TCS), 2023 (DOI:
10.1016/j.tcs.2023.113929,
online since 10 May 2023).
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco,
and Ionel Eduard Stan.
Fuzzy Halpern and Shoham's Interval Temporal Logics.Fuzzy
Sets and Systems (FSS), 2023
(DOI: 10.1016/j.fss.2022.05.014,
online since 24 May 2022).
[ISI: ---, Scopus: ---]
*** Journal version of ECAI
2020 and ICTCS 2020.
@article{fss23,
title = {Fuzzy {H}alpern and {S}hoham's Interval
Temporal Logics},
journal = {Fuzzy Sets and Systems},
year = {2023},
volume = {456},
pages = {107-124},
issn = {0165-0114},
doi = {10.1016/j.fss.2022.05.014},
author = {Willem Conradie and
Della Monica, Dario and
Emilio Mu{\~n}oz-Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
keywords = {Fuzzy interval temporal logic,
Satisfiability,
Expressive power,
Finite model checking},
note = {Available online since 24 May 2022}
}
D. Barozzini, D. de Frutos-Escrig, D. Della Monica, A. Montanari, and P. Sala.
Beyond omega-regular languages:
omegaT-regular expressions and
their automata and logic counterparts.Theoretical Computer Science (TCS), 2020 (DOI: 10.1016/j.tcs.2019.12.029, online since 3 January 2020).
*** Journal version of ICTCS 2017 and GandALF 2017.
@article{tcs20,
title = "Beyond {$\omega$}-regular languages:
{$\omega T$}-regular expressions and
their automata and logic counterparts",
journal = "Theoretical Computer Science",
volume = "813",
pages = "270--304",
year = "2020",
issn = "0304-3975",
doi = "10.1016/j.tcs.2019.12.029",
author = "David Barozzini and de Frutos-Escrig,
David and Della Monica, Dario and
Angelo Montanari and Pietro Sala"
}
D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.Information and Computation (IC), 2019 (DOI: 10.1016/j.ic.2019.02.002, online since 4 March 2019).
@article{ic19,
title = "Decidability and complexity of the fragments
of the modal logic of {A}llen's relations
over the rationals",
journal = "Information and Computation",
year = "2019",
issn = "0890-5401",
doi = "10.1016/j.ic.2019.02.002",
author = "D. Bresolin and D. Della Monica and
A. Montanari and P. Sala and G. Sciavicco",
note = "Available online since 4 March 2019"
}
@article{tcs19,
title = "When are prime formulae characteristic?",
journal = "Theoretical Computer Science",
year = "2019",
volume = "777",
pages = {3--31},
issn = "0304-3975",
doi = {10.1016/j.tcs.2018.12.004},
author = "Luca Aceto and Della Monica, Dario and
Ignacio F\'abregas and Anna Ing\'olfsd\'ottir",
note = "Available online since 6 December 2018"
}
L. Aceto, D. Della Monica, V. Goranko, A. Ingólfsdóttir, A. Montanari, and G. Sciavicco.
A complete classification of the expressiveness of interval logics of Allen's relations: The general and the dense cases.Acta Informatica, 53(3):207-246, 2016 (DOI: 10.1007/s00236-015-0231-4, online since May 2015).
@article{acta16,
title = "A complete classification of the expressiveness
of interval logics of {A}llen's relations:
The general and the dense cases",
author = "Luca Aceto and
Della Monica, Dario and
Valentin Goranko and
Anna Ing\'olfsd\'ottir and
Angelo Montanari and
Guido Sciavicco",
journal = "Acta Informatica",
year = "2016",
volume = "53",
number = "3",
pages = "207--246",
issn = "1432-0525",
doi = "10.1007/s00236-015-0231-4"
}
D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.Theoretical Computer Science (TCS), 560(Part 3):269-291, 2014 (DOI: 10.1016/j.tcs.2014.03.033, online since April 2014).
@article{amai14dark,
title={The dark side of {I}nterval {T}emporal {L}ogic:
marking the undecidability border},
author={Bresolin, Davide and Della Monica, Dario and
Goranko, Valentin and Montanari, Angelo and
Sciavicco, Guido},
year={2014},
issn={1012-2443},
journal={Annals of Mathematics and Artificial
Intelligence (AMAI)},
volume={71},
number={1-3},
doi={10.1007/s10472-013-9376-4},
url={http://dx.doi.org/10.1007/s10472-013-9376-4},
publisher={Springer International Publishing},
keywords={Interval temporal logic; Undecidability;
Tiling problems; 03B44; 03D35; 68T27; 05B45},
pages={41-83},
language={English},
note = "Online since September 2013"
}
*** Journal version of TIME 2011 - The Light Side.
@article{amai14light,
title={The light side of interval temporal logic:
the {B}ernays-{S}ch{\"o}nfinkel fragment of {CDT}},
author={Bresolin, Davide and Della Monica, Dario and
Montanari, Angelo and Sciavicco, Guido},
year={2014},
issn={1012-2443},
journal={Annals of Mathematics and Artificial
Intelligence (AMAI)},
volume={71},
number={1-3},
doi={10.1007/s10472-013-9337-y},
url={http://dx.doi.org/10.1007/s10472-013-9337-y},
publisher={Springer International Publishing},
keywords={Interval temporal logic; Tableau methods;
Decidability; Complexity;
03B44; 03B25; 68T15; 68T27},
pages={11-39},
language={English},
note = "Online since March 2013"
}
D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Metric Propositional Neighborhood Logics on Natural Numbers.Software and Systems Modeling (SoSyM), 12(2):245-264, 2013.
@article{sosym13,
title = {Metric Propositional Neighborhood Interval Logics
on Natural Numbers},
author = {D. Bresolin and Della Monica, D. and V. Goranko and
A. Montanari and G. Sciavicco},
journal = {Software and Systems Modeling (SoSyM)},
year = {2013},
volume={12},
number={2},
doi={10.1007/s10270-011-0195-y},
publisher={Springer-Verlag},
pages={245-264}
}
D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.Journal of Universal Computer Science (JUCS), 18(20):2798-2831, 2012.
@article{jucs12,
author = {Della Monica, Dario and Valentin Goranko
and Angelo Montanari and Guido Sciavicco},
title = {Crossing the Undecidability Border with
Extensions of Propositional Neighborhood
Logic over Natural Numbers},
journal = {Jounal of Universal Computer Science (JUCS)},
year = {2012},
volume = {18},
number = {20},
pages = {2798--2831}
}
D. Della Monica, A. Montanari, and P. Sala.
The importance of the past in interval temporal logics: the case of Propositional Neighborhood Logic.
In Alexander Artikis, Robert Craven, Nihan Kesim Cicekli,
Babak Sadighi, and Kostas Stathis, editors,
Logic Programs, Norms and
Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th
Birthday,
volume 7360 of Lecture Notes in Computer Science, pages 79-102.
Springer Berlin / Heidelberg, 2012.
[ISI: ---, Scopus: 2-s2.0-84861052046]
@incollection {sergot12,
author = {Della Monica, Dario and Montanari, Angelo and Sala, Pietro},
title = {The importance of the past in interval temporal logics:
the case of {Propositional Neighborhood Logic}},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek
J. Sergot on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
editor = {Artikis, Alexander and Craven, Robert and Kesim Cicekli, Nihan
and Sadighi, Babak and Stathis, Kostas},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-29413-6},
pages = {79--102},
volume = {7360},
note = {\url{http://dx.doi.org/10.1007/978-3-642-29414-3_6}},
year = {2012}
}
D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Interval Temporal Logics: a Journey.Bulletin of the EATCS (BEATCS), Volume 105, October 2011.
[ISI: ---, Scopus: ---]
@article{beatcs11,
author = {Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
title = {{Interval Temporal Logics: a Journey}},
journal = {Bulletin of the EATCS},
volume = {105},
year = {2011},
month = {October}
}
@article{lamas11,
Title = {{On a Logic for Coalitional Games with Priced-Resource Agents}},
Author = {Della Monica, D. and Napoli, M. and Parente, M.},
journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
volume = "278",
pages = "215-228",
year = "2011",
note = "Proc. of the 7th Workshop on Methods for Modalities (M4M 2011)
and the 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2011)",
issn = "1571-0661"
}
D. Della Monica, V. Goranko, and G. Sciavicco.
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.Electronic Notes in Theoretical Computer Science (ENTCS), 273:3-19, 2011.
@article{hylo10,
Title = {{Hybrid Metric Propositional Neighborhood Logics with Interval
Length Binders}},
Author = {Della Monica, D. and V. Goranko and G. Sciavicco},
journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
volume = "273",
pages = "3-19",
year = "2011",
note = "Proc. of the International Workshop on Hybrid Logic and Applications
(HyLo 2010)"
}
D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.Electronic Notes in Theoretical Computer Science (ENTCS), 262:65-81, 2010.
@article{m4m09,
title = "Undecidability of the Logic of \emph{Overlap} Relation over
Discrete Linear Orderings",
journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
volume = "262",
pages = "65 - 81",
year = "2010",
note = "Proc. of the 6th Workshop on Methods for Modalities (M4M-6 2009)",
doi = "DOI: 10.1016/j.entcs.2010.04.006",
author = "D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari
and G. Sciavicco",
keywords = "interval temporal logics",
keywords = "overlap relation",
keywords = "undecidability",
keywords = "octant tiling problem"
}
@inproceedings{gandalf24,
author = {Renato Acampora and Della Monica, Dario
and Luca Geatti and Nicola Gigante
and Angelo Montanari},
title = {Synthesis of Timeline-Based Planning Strategies
Avoiding Determinization},
booktitle = {Proc. of the 15th International Symposium on Games,
Automata, Logics and Formal Verification (GandALF)},
year = {2024}
}
@inproceedings{lics23,
title = "The Logic of Prefixes and Suffixes
is Elementary under Homogeneity",
year = "2023",
author = "Della Monica, Dario and
Angelo Montanari and Gabriele Puppis
and Pietro Sala",
booktitle = {Proceedings of the 38th Annual
ACM/IEEE Symposium on Logic in
Computer Science (LICS)},
pages = {1--12},
doi = {10.1109/LICS56636.2023.10175824}
}
@inproceedings{time20,
author = {Della Monica, Dario and
Nicola Gigante and
La Torre, Salvatore and
Angelo Montanari},
title = {Complexity of qualitative
timeline-based planning},
booktitle = {Proc. of the 27th International
Symposium on Temporal Representation
and Reasoning (TIME)},
pages = {16:1--16:13},
series = {Leibniz International Proceedings in
Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
volume = {178},
editor = {Emilio Mu{\~n}oz-Velasco and Ana Ozaki
and Martin Theobald},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
doi = {10.4230/LIPIcs.TIME.2020.16},
year = {2020}
}
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, and Guido Sciavicco.
An Approach to Fuzzy Modal Logic of Time Intervals.
In Proc. of the
24th European Conference on Artificial Intelligence
(ECAI), 2020.
[ISI: ---, Scopus: 2-s2.0-85091753710]
@inproceedings{ecai20,
author = {Willem Conradie and
Della Monica, Dario and
Emilio Mu{\~n}oz-Velasco and
Guido Sciavicco},
title = {An Approach to Fuzzy Modal Logic
of Time Intervals},
booktitle = {Proc. of the 24th European Conference
on Artificial Intelligence (ECAI)},
pages = {696--703},
series = {Frontiers in Artificial Intelligence
and Applications},
ISBN = {978-1-64368-100-9 (print), 978-1-64368-101-6 (online)},
ISSN = {0922-6389 (print), 1879-8314 (online)},
volume = {325},
doi = {10.3233/FAIA200156},
year = {2020}
}
D. Della Monica, A. Montanari, A. Murano, and G. Sciavicco.
Ultimately-periodic interval model checking for temporal dataset evaluation.
In Proc. of the
5th Global Conference on Artificial Intelligence
(GCAI), 2019.
[ISI: ---, Scopus: ---]
@inproceedings{gcai19,
author = {Della Monica, D. and
A. Montanari and
A. Murano and
G. Sciavicco},
title = {Ultimately-periodic interval model
checking for temporal dataset
evaluation},
booktitle = {Proc. of the 5th Global Conference
on Artificial Intelligence (GCAI)},
editor = {Diego Calvanese and Luca Iocchi},
series = {EPiC Series in Computing},
volume = {65},
pages = {28--41},
year = {2019},
publisher = {EasyChair},
issn = {2398-7340},
doi = {10.29007/r3pf}
}
@inproceedings{kr18,
author = {Della Monica, D. and
N. Gigante and
A. Montanari and
P. Sala},
title = {A novel automata-theoretic approach to
timeline-based planning},
booktitle = {Proc. of the 16th International
Conference on Principles of Knowledge
Representation and Reasoning (KR)},
pages = {541--550},
year = {2018},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
publisher = {{AAAI} Press},
url =
{https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024},
isbn = {978-1-57735-803-9}
}
*** The published version of this paper (in the Proceedings of the 17th AAMAS,
pages 1441--1449, 2018) contains an error in the statement of Theorem 5.1: in
the officially published version, the complexity of the problem for mixed
instances is mistakenly claimed to be in NPTIME; however, we are only able to
show a higher upper bound, namely PNP.
We thank Stéphane Demri and Francesco Belardinelli for spotting the
mistake and kindly drawing our attention to it.
@inproceedings{aamas18,
author = {Della Monica, D. and
A. Murano},
title = {Parity-energy {ATL} for {Q}ualitative and
{Q}uantitative {R}easoning in {MAS}},
booktitle = {Proc. of the 17th International Conference
on Autonomous Agents and
MultiAgent Systems (AAMAS)},
pages = {1441--1449},
year = {2018},
address = {Stockholm, Sweden}
}
D. Della Monica, N. Gigante, A. Montanari, P. Sala, and G. Sciavicco.
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based
Planning with Bounded Constraints.
In Proc. of the
26th International Joint Conference on Artificial Intelligence
(IJCAI), 2017.
[ISI: ---, Scopus: 2-s2.0-85031941362]
@inproceedings{ijcai17,
author = {Della Monica, D. and
N. Gigante and
A. Montanari and
P. Sala
and G. Sciavicco},
title = {Bounded Timed Propositional Temporal
Logic with Past Captures Timeline-based
Planning with Bounded Constraints},
booktitle = {Proc. of the 26th International Joint
Conference on Artificial Intelligence
(IJCAI)},
pages = {1008--1014},
year = {2017},
editor = {Carles Sierra},
publisher = {ijcai.org},
doi = {10.24963/ijcai.2017/140},
isbn = {978-0-9992411-0-3},
address = {Melbourne, Australia},
month = {August}
}
A. Francalanza, L. Aceto, A. Achilleos, D.P. Attard, I. Cassar, D. Della Monica, and A. Ingólfsdóttir.
A Foundation for Runtime Monitoring.
In Proc. of the
17th International Conference on Runtime Verification
(RV), 2017.
@inproceedings{rv17,
author = {Adrian Francalanza and
Luca Aceto and
Antonis Achilleos and
Attard, Duncan Paul and
Ian Cassar and
Della Monica, Dario and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Foundation for Runtime Monitoring},
booktitle = {Proc. of the 17th International Conference on Runtime
Verification (RV)},
pages = {8--29},
year = {2017},
editor = {Shuvendu K. Lahiri and
Giles Reger},
series = {Lecture Notes in Computer Science},
volume = {10548},
publisher = {Springer},
doi = {10.1007/978-3-319-67531-2_2},
isbn = {978-3-319-67530-5},
address = {Seattle, WA, USA},
month = {September}
}
@inproceedings{time17,
author = {Della Monica, Dario and
de Frutos{-}Escrig, David and
Angelo Montanari and
Aniello Murano and
Guido Sciavicco},
title = {Evaluation of Temporal Datasets via Interval
Temporal Logic Model Checking},
booktitle = {Proc. of the 24th International Symposium on
Temporal Representation and Reasoning (TIME)},
pages = {11:1--11:18},
year = {2017},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
series = {LIPIcs},
volume = {90},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
doi = {10.4230/LIPIcs.TIME.2017.11},
address = {Mons, Belgium},
month = {October}
}
@inproceedings{gandalf17,
author = {Della Monica, Dario and
Angelo Montanari and
Pietro Sala},
title = {Beyond {\textdollar}{\(\omega\)}{\textdollar}BS-regular
Languages: {\textdollar}{\(\omega\)}{\textdollar}T-regular
Expressions and Counter-Check Automata},
booktitle = {Proc. of the 8th International Symposium on Games,
Automata, Logics and Formal Verification (GandALF)},
pages = {223--237},
year = {2017},
editor = {Patricia Bouyer and
Andrea Orlandini and
San Pietro, Pierluigi},
series = {{EPTCS}},
volume = {256},
doi = {10.4204/EPTCS.256.16},
address = {Roma, Italy},
month = {September}
}
@inproceedings{jelia16,
author = {Dario Della Monica and
Angelo Montanari and
Aniello Murano and
Pietro Sala},
title = {Prompt Interval Temporal Logic},
booktitle = {Proc. of the 15th European Conference On
Logics In Artificial Intelligence (JELIA)},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {207--222},
year = {2016},
isbn = {978-3-319-48757-1},
doi = {10.1007/978-3-319-48758-8_14}
}
D. Romero-Hérnandez, D. de Frutos-Escrig, and D. Della Monica.
Proving Continuity of Coinductive Global
Bisimulation Distances: A Never Ending Story.
In Proc. of the
15th Jornadas sobre PROgramación y LEnguajes
(PROLE), EPTCS, 2015.
@inproceedings{prole15,
title = "Proving Continuity of Coinductive Global
Bisimulation Distances: A Never Ending Story",
author = "Romero-H\'ernandez, D. and
de Frutos-Escrig, D. and
Della Monica, D.",
booktitle = "Proc. of the 15th Jornadas sobre
PROgramaci{\'{o}}n y LEnguajes (PROLE)",
series = "EPTCS",
year = "2015"
}
@inproceedings{mfcs15,
author = {L. Aceto and
Della Monica, D. and
I. F\'abregas and
A. Ing\'olfsd\'ottir},
title = {When are prime formulae characteristic?},
booktitle = {Proc. of the 40th International Symposium
on Mathematical Foundations of Computer
Science (MFCS)---Part I},
series = {LNCS},
volume = {9234},
pages = {76--88},
doi = {10.1007/978-3-662-48057-1_6},
publisher = {Springer-Verlag Berlin Heidelberg},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
year = {2015}
}
@inproceedings{lata15,
author = {D. Bresolin and
Della Monica, D. and
A. Montanari and
P. Sala and
G. Sciavicco},
title = {On the Complexity of Fragments of the
Modal Logic of {A}llen's Relations over
Dense Structures},
booktitle = {Proc. of the 9th International
Conference on Language and Automata
Theory and Applications (LATA)},
pages = {511--523},
series = {Lecture Notes in Computer Science},
volume = {8977},
publisher = {Springer},
doi = {10.1007/978-3-319-15579-1_40},
isbn = {978-3-319-15578-4},
year = {2015}
}
L. Aceto, D. Della Monica, A. Ingólfsdóttir, A. Montanari, and G. Sciavicco.
On the expressiveness of the interval logic of Allen's relations over finite and discrete
linear orders.
In Proc. of the
14th European Conference on Logics in Artificial Intelligence (JELIA), LNAI 8761, pages 267-281, 2014.
@inproceedings{jelia14,
title = "On the expressiveness of the interval logic
of {A}llen's relations over finite and discrete
linear orders",
author = "Luca Aceto and
Della Monica, Dario and
Anna Ing\'olfsd\'ottir and
Angelo Montanari and
Guido Sciavicco",
booktitle = "Proc. of the 14th European Conference on Logics
in Artificial Intelligence (JELIA)",
year = "2014",
editor = "E. Ferm\'e and J. Leite",
pages = "267--281",
series = "LNAI",
volume = "8761"
}
@inproceedings{comptools14,
title = "First steps towards automated synthesis of
tableau systems for interval temporal logics",
author = "Della Monica, Dario and
Angelo Montanari and
Guido Sciavicco and
Dmitri Tishkovsky",
booktitle = "Proc. of the 5th International Conference on
Computational Logics, Algebras, Programming,
Tools, and Benchmarking (COMPUTATION TOOLS)",
year = "2014",
note = "Winner of the best paper award",
pages = "32--37"
}
L. Aceto, D. Della Monica, A. Ingólfsdóttir, A. Montanari, and G. Sciavicco.
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal
Logics.
In Proc. of the 19th International Conference on
Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR), LNCS 8312, pages 1-17,
Stellenbosch, South Africa, December 15th-19th, Springer, 2013.
[ISI: ---, Scopus: 2-s2.0-84893960300]
@inproceedings{lpar13,
author = {Luca Aceto and
Della Monica, Dario and
Anna Ing{\'o}lfsd{\'o}ttir and
Angelo Montanari and
Guido Sciavicco},
title = {An Algorithm for Enumerating Maximal Models
of {H}orn Theories with an Application to
Modal Logics},
booktitle = {Proc. of the 19th International Conference
on Logic for Programming, Artificial
Intelligence, and Reasoning (LPAR)},
year = {2013},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {1-17}
}
@inproceedings{gandalf13,
title = "Model checking coalitional games in
shortage resource scenarios",
author = "Della Monica, D. and M. Napoli and M. Parente",
booktitle = "Proc. of the 4th International Symposium on Games,
Automata, Logics and Formal Verification (GandALF)",
year = "2013"
}
L. Aceto, D. Della Monica, A. Ingólfsdóttir, A. Montanari, and G. Sciavicco.
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders.
In Proc. of the 20th International Symposium on Temporal Representation and Reasoning (TIME),
Pensacola, FL (USA), September 26th-28th, pages 65-72, 2013.
@inproceedings{time13,
title = "A complete classification of the expressiveness
of interval logics of {A}llen's relations over
dense linear orders",
author = "L. Aceto and Della Monica, D. and
A. Ing\'olfsd\'ottir and A. Montanari and
G. Sciavicco",
booktitle = "Proc. of the 20th International Symposium on
Temporal Representation and Reasoning (TIME)",
year = "2013",
pages = "65--72"
}
@inproceedings{tableaux13,
title = "A Tableau System for Right Propositional
Neighborhood Logic over Finite Linear
Orders: an Implementation",
author = "D. Bresolin and Della Monica, D. and
A. Montanari and G. Sciavicco",
booktitle = "Proc. of the 22nd International Conference on
Automated Reasoning with Analytic Tableaux and
Related Methods (TABLEAUX)",
year = "2013",
editor = "D. Galmiche and D. Larchey-Wendling",
pages = "74--80",
publisher = "Springer-Verlag Berlin Heidelberg",
series = "LNCS",
volume = "8123"
}
@inproceedings{gandalf12,
Author = {D. Bresolin and Della Monica, D. and A. Montanari
and P. Sala and G. Sciavicco},
Title = {{I}nterval {T}emporal {L}ogics over Strongly Discrete
Linear Orders: the Complete Picture},
Booktitle = {Proc. of the 3rd International Symposium on Games,
Automata, Logics and Formal Verification (GandALF)},
Year = {2012},
Month = {September},
Address = {Naples, Italy}
}
D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
In Proc. of the 20th European Conference on
Artificial Intelligence (ECAI),
Montpellier, France, August, 2012.
@inproceedings{ecai12,
Author = {D. Bresolin and Della Monica, D. and A. Montanari
and P. Sala and G. Sciavicco},
Title = {{I}nterval {T}emporal {L}ogics over Finite
Linear Orders: the Complete Picture},
Booktitle = {Proc. of the 20th European Conference on
Artificial Intelligence (ECAI)},
Year = {2012},
pages = {199--204},
doi = {doi: 10.3233/978-1-61499-098-7-199},
Month = {August},
Address = {Montpellier, France}
}
@inproceedings{icaart12,
Author = {Della Monica, D. and Lenzi, G.},
Title = {On a Priced Resource-Bounded Alternating $\mu$-calculus},
Booktitle = {Proc. of the 4th International Conference on Agents
and Artificial Intelligence (ICAART)},
Year = {2012},
Month = {February},
Pages = {222--227},
Address = {Vilamoura, Algarve, Portugal}
}
D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco.
The light side of Interval Temporal Logic: the Bernays-Schonfinkel's fragment of CDT.
In Proc. of the 18th International Symposium on Temporal Representation and Reasoning (TIME),
pages 123-130, Lübeck, Germany, September 2011.
[ISI: ---, Scopus: 2-s2.0-81455143880]
@inproceedings{time11_light,
Author = {Bresolin, D. and Della Monica, D. and A. Montanari
and G. Sciavicco},
Booktitle = {Proc. of the 18th International Symposium on
Temporal Representation and Reasoning (TIME)},
Title = {{The light side of Interval Temporal Logic:
the Bernays-Sch{\"o}nfinkel's fragment of CDT}},
Month = {September},
doi = {10.1109/TIME.2011.20},
isbn = {978-1-4577-1242-5},
Year = {2011}
}
D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
The dark side of Interval Temporal Logic: sharpening the undecidability border.
In Proc. of the 18th International Symposium on Temporal Representation and Reasoning (TIME),
pages 131-138, Lübeck, Germany, September 2011.
[ISI: ---, Scopus: 2-s2.0-81455139881]
@inproceedings{time11_dark,
Author = {Bresolin, D. and Della Monica, D. and V. Goranko and A. Montanari
and G. Sciavicco},
Booktitle = {Proc. of the 18th International Symposium on Temporal Representation
and Reasoning (TIME)},
Title = {{The dark side of Interval Temporal Logic: sharpening the undecidability
border}},
Month = {September},
Year = {2011}
}
D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Expressiveness of the Interval Logics of Allen's Relations on the Class
of all Linear Orders: Complete Classification.
In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI),
pages 845-850, Barcelona, Spain, July 2011.
[ISI: ---, Scopus: 2-s2.0-84878772593]
@inproceedings{ijcai11,
Author = {Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
Booktitle = {Proc. of the 22nd International Joint Conference on Artificial
Intelligence (IJCAI)},
Title = {{Expressiveness of the Interval Logics of Allen's Relations on the
Class of all Linear Orders: Complete Classification}},
Pages = {845--850},
Month = {July},
Year = {2011}
}
D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco.
A decidable spatial generalization of Metric Interval Temporal Logic.
In N. Markey and J. Wijsen, editors,
Proc. of the 17th International Symposium on Temporal Representation and Reasoning (TIME),
pages 95-102, Paris, France. IEEE Computer Society Press, September 2010.
[ISI: ---, Scopus: 2-s2.0-84911422236]
@inproceedings{time10,
Author = {D. Bresolin and Della Monica, D. and A. Montanari and P. Sala
and G. Sciavicco},
Booktitle = {Proc. of the 17th International Symposium on Temporal Representation
and Reasoning (TIME)},
Address = {Paris, France},
Month = {September},
Year = {2010},
Editor = {N. Markey and J. Wijsen},
Publisher = {IEEE Computer Society Press},
Pages = {95-102},
Title = {{A decidable spatial generalization of Metric Interval Temporal Logic}}}
D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
In
Proc. of the 19th European Conference on Artificial Intelligence (ECAI), pages 695-700, Lisbon, Portugal,
August 2010.
@inproceedings{ecai10,
Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari
and G. Sciavicco},
Booktitle = {Proc. of the 19th European Conference on Artificial
Intelligence (ECAI)},
Address = {Lisbon, Portugal},
Month = {August},
Year = {2010},
Pages = {695-700},
Title = {{Metric Propositional Neighborhood Logics: Expressiveness, Decidability,
and Undecidability}}}
D. Della Monica and G. Sciavicco.
On First-Order Propositional Neighborhood Logics: a First Attempt.
In Proc. of the ECAI 2010 Workshop on Spatio-Temporal Dynamics (STeDY), pages 43-48, Lisbon, Portugal,
August 2010.
[ISI: ---, Scopus: ---]
@inproceedings{stedy10,
Author = {Della Monica, D. and G. Sciavicco},
Booktitle = {Proc. of the ECAI 2010 Workshop on Spatio-Temporal Dynamics (STeDY)},
Address = {Lisbon, Portugal},
Month = {August},
Year = {2010},
Pages = {43-48},
Title = {{On First-Order Propositional Neighborhood Logics: a First Attempt}}}
D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Undecidability of Interval Temporal Logics with the Overlap Modality.
In C. Lutz and J.F. Raskin, editors,
Proc. of the 16th International Symposium on Temporal Representation and Reasoning (TIME),
pages 88-95. IEEE Computer Society Press, 2009.
@inproceedings{time09,
Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari
and G. Sciavicco},
Booktitle = {Proc. of the 16th International Symposium on Temporal Representation
and Reasoning (TIME)},
Editor = {C. Lutz and J.F. Raskin},
Pages = {88-95},
Publisher = {IEEE Computer Society Press},
Title = {Undecidability of {I}nterval {T}emporal {L}ogics with the
\emph{{O}verlap} {M}odality},
Month = {July},
Year = {2009}}
D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco.
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic:
Towards a Complete Classification.
In I. Cervesato, H. Veith, and A. Voronkov, editors,
Proc. of the 15th International Conference on Logic for Programming, Artificial
Intelligence, and Reasoning (LPAR),
LNCS 5330,
pages 590-604. Springer, 2008.
@inproceedings{lpar08,
Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari
and G. Sciavicco},
Booktitle = {Proc. of the 15th International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning (LPAR)},
Editor = {I. Cervesato and H. Veith and A. Voronkov},
Pages = {590-604},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Decidable and {U}ndecidable {F}ragments of {H}alpern and {S}hoham’s
{I}nterval {T}emporal {L}ogic: {T}owards a {C}omplete {C}lassification},
Volume = {5330},
Month = {November},
Year = {2008}}
@proceedings{gandalf23,
editor = {Antonis Achilleos and Dario Della Monica},
title = {Proceedings of the 14th International
Symposium on Games, Automata, Logics
and Formal Verification (GandALF)},
series = {EPTCS},
volume = {390},
year = 2023,
doi = {10.4204/eptcs.390},
url = {https://arxiv.org/abs/2309.17318},
publisher = {Open Publishing Association}
}
@proceedings{gandalf22,
editor = {Pierre Ganty and Dario Della Monica},
title = {Proceedings of the 13th International
Symposium on Games, Automata, Logics
and Formal Verification (GandALF)},
series = {EPTCS},
volume = {370},
year = 2022,
doi = {10.4204/eptcs.370},
url = {https://doi.org/10.4204/eptcs.370},
publisher = {Open Publishing Association}
}
@proceedings{overlay21,
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Proceedings of the 3rd Workshop on
Artificial Intelligence and Formal
Verification, Logic, Automata, and
Synthesis (OVERLAY)},
series = {CEUR Workshop Proceedings},
volume = {2987},
publisher = {CEUR-WS.org},
year = {2021}
}
@proceedings{fi20,
editor = {Dario Della Monica and
Aniello Murano and
Luigi Sauro},
title = {Preface},
series = {Fundam. Informaticae},
volume = {176},
year = {2020},
doi = {10.3233/FI-2020-1971}
}
@proceedings{ictcs_cilc17,
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Joint Proceedings of the 18th Italian
Conference on Theoretical Computer
Science (ICTCS) and the 32nd Italian
Conference on Computational Logic (CILC)},
series = {CEUR Workshop Proceedings},
volume = {1949},
publisher = {CEUR-WS.org},
year = {2017}
}
@unpublished{aixia22,
title = "Decision Trees with a Modal Flavor",
author = "Dario Della Monica and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan",
note = "21st International Conference of the
Italian Association for Artificial
Intelligence (AIxIA)",
year = "2022"
}
@unpublished{ictcs21,
title = "Extended omega-Regular Languages
and Interval Temporal Logic",
author = "Della Monica, Dario and
Angelo Montanari and
Pietro Sala",
note = "22nd Italian Conference on Theoretical
Computer Science (ICTCS)",
year = "2021"
}
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, and Fabio Mogavero.
Good-for-Game QPTL: An Alternating Hodges Semantics.arXiv, eprint:
2104.06085, primaryClass: cs.LO, 2021.
[ISI: ---, Scopus: ---]
@misc{arXiv21,
title={Good-for-Game QPTL:
An Alternating Hodges Semantics},
author={Dylan Bellier and Massimo Benerecetti
and Dario Della Monica and Fabio Mogavero},
year={2021},
eprint={2104.06085},
archivePrefix={arXiv},
primaryClass={cs.LO}
}
@unpublished{overlay20_up_model_checking,
title = "A Note on Ultimately-Periodic Finite
Interval Temporal Logic Model Checking",
author = "Della Monica, D. and A. Montanari and
G. Sciavicco and Stan, I. E.",
note = "2nd Workshop on Artificial Intelligence and
fOrmal VERification, Logic, Automata, and
sYnthesis (OVERLAY)",
year = "2020"
}
@unpublished{overlay20_learning_to_monitor,
title = "Learning How to Monitor: Pairing Monitoring
and Learning for Online System Verification",
author = "A. Brunello and Della Monica, D. and
A. Montanari and A. Urgolo",
note = "2nd Workshop on Artificial Intelligence and
fOrmal VERification, Logic, Automata, and
sYnthesis (OVERLAY)",
year = "2020"
}
Andrea Brunello, Dario Della Monica, Angelo Montanari, and Andrea Urgolo.
Learning to Monitor: a Novel Framework for Online System Verification.
Reasoning about ACtions and Events over Streams
(RACES) within KR, 2020.
[ISI: ---, Scopus: ---]
@unpublished{races20,
title = "Learning to Monitor: a Novel Framework
for Online System Verification",
author = "A. Brunello and Della Monica, D. and
A. Montanari and A. Urgolo",
note = "Reasoning about ACtions and Events over
Streams (RACES) within KR 2020",
year = "2020"
}
@unpublished{ictcs20,
title = "Time Series Checking with Fuzzy Interval Temporal Logics",
author = "Willem Conradie and
Della Monica, Dario and
Emilio Mu{\~n}oz-Velasco and
Guido Sciavicco and
Ionel Eduard Stan",
note = "21st Italian Conference on Theoretical
Computer Science (ICTCS)",
year = "2020"
}
@unpublished{overlay19_combined_verification,
author = {Della Monica, D. and
A. Francalanza},
title = {Pushing runtime verification to the limit:
May process semantics be with us},
year = {2019},
note = {1st Workshop on Artificial Intelligence and
fOrmal VERification, Logic, Automata, and
sYnthesis (OVERLAY)}
}
@unpublished{overlay19_machine_learning_for_monitoring,
author = {A. Brunello and
Della Monica, D. and
A. Montanari},
title = {Pairing monitoring with machine learning
for smart system verification and
predictive maintenance},
year = {2019},
note = {1st Workshop on Artificial Intelligence and
fOrmal VERification, Logic, Automata, and
sYnthesis (OVERLAY)}
}
@unpublished{fmlamas18,
author = {Della Monica, D. and
A. Murano},
title = {Parity-energy {ATL} for qualitative and
quantitative reasoning in {MAS}},
year = {2018},
note = {Workshop on Formal Methods & Logical
Aspects of Multi-Agent Systems (FMLAMAS)}
}
D. Barozzini, D. Della Monica, A. Montanari, and P. Sala.
Counter-queue automata with an application to a meaningful
extension of omega-regular languages.
18th Italian Conference on Theoretical
Computer Science
(ICTCS), 2017.
[ISI: ---, Scopus: 2-s2.0-85031925065]
@unpublished{ictcs17_omega_languages,
title = "Counter-queue automata with an application to a meaningful
extension of omega-regular languages",
author = "Barozzini, D. and Della Monica, D. and A. Montanari and
P. Sala",
note = "18th Italian Conference on Theoretical
Computer Science (ICTCS)",
year = "2017"
}
@unpublished{ictcs17_model_checking,
title = "A model checker for interval temporal logic over
finite structures",
author = "E. Cominato and Della Monica, D. and A. Montanari and
G. Sciavicco",
note = "18th Italian Conference on Theoretical
Computer Science (ICTCS)",
year = "2017"
}
D. Della Monica and A. Francalanza.
Towards A Hybrid Approach to Software Verification.
27th Nordic Workshop on Programming Theory
(NWPT),
October, 21st - 23rd 2015. (Extended Abstract)
@unpublished{nwpt15,
title = "Towards A Hybrid Approach to Software Verification",
author = "Della Monica, D. and A. Francalanza",
note = "27th Nordic Workshop on Programming Theory (NWPT)",
year = "2015"
}
D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco.
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation.28th Italian Conference on Computational Logic (CILC),
September, 25th - 27th 2013.
@unpublished{cilc13,
title = "A Tableau System for Right Propositional
Neighborhood Logic over Finite Linear
Orders: an Implementation",
author = "D. Bresolin and Della Monica, D. and
A. Montanari and G. Sciavicco",
note = "28th Italian Conference on Computational Logic (CILC)",
year = "2013"
}
L. Aceto, D. Della Monica, A. Ingólfsdóttir, A. Montanari, and Guido Sciavicco.
A complete classification of the expressiveness of interval
logics of Allen's relations over dense linear order.14th Italian Conference on Theoretical Computer Science (ICTCS), Palermo, Italy, September 9th - 11th, 2013.
(extended abstract)
@unpublished{ictcs13,
Author = {L. Aceto and Della Monica, D. and
A. Ing\'olfsd\'ottir and A. Montanari and
G. Sciavicco},
Title = {A complete classification of the expressiveness
of interval logics of Allen's relations over dense
linear orders},
Note = {14th Italian Conference on Theoretical
Computer Science (ICTCS)},
Year = {2013}}
@unpublished{games12,
Author = {Della Monica, D. and M. Napoli and M. Parente},
Title = {{Model Checking Coalitional Games with Priced-Resource Agents}},
Note = {Annual Workshop of the ESF Networking Programme on Games for Design and
Verification (GAMES)},
Year = {2012}}
@unpublished{games11_agents,
Author = {Della Monica, D. and M. Napoli and M. Parente},
Title = {{On a Logic for Coalitional Games with Priced-Resource Agents}},
Note = {Annual Workshop of the ESF Networking Programme on Games for Design and
Verification (GAMES)},
Year = {2011}}
@unpublished{games11_expressiveness,
Author = {Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
Title = {{Expressiveness of the Interval Logics of Allen's Relations on the
Class of all Linear Orders: Complete Classification}},
Note = {Annual Workshop of the ESF Networking Programme on Games for Design and
Verification (GAMES)},
Year = {2011}}
D. Della Monica, M. Napoli, and M. Parente.
Coalitional Games with Priced-Resource Agents.26th Italian Conference on Computational Logic (CILC),
August, 31st - September, 2nd 2011. (short paper)
@unpublished{cilc11,
Author = {Della Monica, D. and M. Napoli and M. Parente},
Title = {{Coalitional Games with Priced-Resource Agents}},
Note = {26-esimo Convegno Italiano di Logica Computazionale (CILC).
Published online on CEUR-WS.org (ISSN 1613-0073,
URN: nbn:de:0074-810-0), 810:341-347},
Year = {2011}}
@unpublished{games10,
Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari
and G. Sciavicco},
Title = {{Metric Propositional Neighborhood Logics: Expressiveness, Decidability,
and Undecidability}},
Note = {Annual Workshop of the ESF Networking Programme on Games for Design and
Verification (GAMES)},
Month = {September},
Year = {2010}}
@unpublished{games09,
Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari
and G. Sciavicco},
Title = {Undecidability of the {L}ogic of the \emph{{O}verlap} {R}elation
over {D}iscrete {L}inear {O}rderings},
Note = {Annual Workshop of the ESF Networking Programme on Games for Design and
Verification (GAMES)},
Month = {September},
Year = {2009}}
D. Della Monica. Expressiveness, decidability, and undecidability of Interval Temporal Logic.University of Udine, 2011.
*** Winner of the GULP prize for the best PhD dissertation
in the area of Computational Logic for the years 2010-2011.
@PHDTHESIS{phd_thesis,
author = {Della Monica, Dario},
title = {Expressiveness, decidability, and undecidability of Interval Temporal Logic},
school = {University of Udine},
year = {2011}
}
D. Della Monica. Una procedura di model checking in un dominio lineare astratto per la verifica di programmi C con array
(A model checking procedure in abstract linear domain for the verification of C program with array).Universita' degli Studi di Napoli "Federico II", October 2007.
@MASTERSTHESIS{master_thesis,
author = {Della Monica, Dario},
title = {Una procedura di Model Checking in un dominio lineare astratto per la
verifica di programmi C con array},
school = {University of Napoli "Federico II"},
year = {2007},
month = {October}
}
: download the full text in pdf
: download the slides in pdf