| Publication | Date of Publication | Type |
|---|
| Complexity of qualitative timeline-based planning | 2023-11-02 | Paper |
Fuzzy Halpern and Shoham's interval temporal logics
Fuzzy Sets and Systems | 2023-10-31 | Paper |
Alternating (in)dependence-friendly logic
Annals of Pure and Applied Logic | 2023-09-21 | Paper |
An interval temporal logic characterization of extended \(\omega\)-regular languages
Theoretical Computer Science | 2023-06-01 | Paper |
Good-for-Game QPTL: An Alternating Hodges Semantics
ACM Transactions on Computational Logic | 2023-02-07 | Paper |
Evaluation of temporal datasets via interval temporal logic model checking
1515.68109 | 2023-02-03 | Paper |
| Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata | 2021-12-14 | Paper |
Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata
(available as arXiv preprint) | 2021-12-14 | Paper |
| An approach to fuzzy modal logic of time intervals | 2021-07-06 | Paper |
| Model checking coalitional games in shortage resource scenarios | 2021-06-09 | Paper |
Model checking coalitional games in shortage resource scenarios
(available as arXiv preprint) | 2021-06-09 | Paper |
| Interval temporal logics over strongly discrete linear orders: the complete picture | 2021-04-27 | Paper |
Interval temporal logics over strongly discrete linear orders: the complete picture
(available as arXiv preprint) | 2021-04-27 | Paper |
Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
Theoretical Computer Science | 2020-04-21 | Paper |
When are prime formulae characteristic?
Theoretical Computer Science | 2019-06-18 | Paper |
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
Information and Computation | 2019-05-02 | Paper |
Prompt interval temporal logic
Logics in Artificial Intelligence | 2016-11-30 | Paper |
On a logic for coalitional games with priced-resource agents
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Undecidability of the logic of overlap relation over discrete linear orderings
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
| scientific article; zbMATH DE number 6602207 (Why is no real title available?) | 2016-07-08 | Paper |
On the complexity of fragments of the modal logic of Allen's relations over dense structures
Language and Automata Theory and Applications | 2016-04-08 | Paper |
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
Acta Informatica | 2016-04-07 | Paper |
| Interval temporal logics over finite linear orders: the complete picture | 2015-12-11 | Paper |
When are prime formulae characteristic?
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
Theoretical Computer Science | 2014-12-02 | Paper |
The dark side of interval temporal logic: marking the undecidability border
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
An algorithm for enumerating maximal models of Horn theories with an application to modal logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Hybrid metric propositional neighborhood logics with interval length binders
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| scientific article; zbMATH DE number 6131597 (Why is no real title available?) | 2013-01-28 | Paper |
The importance of the past in interval temporal logics: the case of propositional neighborhood logic
Logic Programs, Norms and Action | 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
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
