Dario Della Monica

Available identifiers

zbMath Open della-monica.darioWikidataQ112305237 ScholiaQ112305237MaRDI QIDQ266856

List of research outcomes

Publication	Date of Publication	Type
Complexity of qualitative timeline-based planning	2023-11-02	Paper
Fuzzy Halpern and Shoham's interval temporal logics	2023-10-31	Paper
Alternating (in)dependence-friendly logic	2023-09-21	Paper
An interval temporal logic characterization of extended \(\omega\)-regular languages	2023-06-01	Paper
Good-for-Game QPTL: An Alternating Hodges Semantics	2023-02-07	Paper
Evaluation of temporal datasets via interval temporal logic model checking	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q3384174	2021-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4999269	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4992519	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4986512	2021-04-27	Paper
Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts	2020-04-21	Paper
When are prime formulae characteristic?	2019-06-18	Paper
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals	2019-05-02	Paper
Prompt Interval Temporal Logic	2016-11-30	Paper
On a logic for coalitional games with priced-resource agents	2016-10-07	Paper
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings	2016-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q3177929	2016-07-08	Paper
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures	2016-04-08	Paper
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases	2016-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q3457215	2015-12-11	Paper
When Are Prime Formulae Characteristic?	2015-09-16	Paper
On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders	2015-01-14	Paper
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity	2014-12-02	Paper
The dark side of interval temporal logic: marking the undecidability border	2014-07-11	Paper
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT	2014-07-11	Paper
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics	2014-01-17	Paper
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation	2013-10-04	Paper
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders	2013-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4904145	2013-01-28	Paper
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic	2012-07-23	Paper
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability	2011-05-11	Paper
Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification	2009-01-27	Paper

Research outcomes over time

This page was built for person: Dario Della Monica