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 light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT	2014-07-11	Paper
The dark side of interval temporal logic: marking the undecidability border	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dario Della Monica