Author of the publication

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.

, , , , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 511-523. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Good-for-Game QPTL: An Alternating Hodges Semantics., , , and . CoRR, (2021)Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts., , , , and . Theor. Comput. Sci., (2020)An Approach to Fuzzy Modal Logic of Time Intervals., , , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 696-703. IOS Press, (2020)Complexity of Qualitative Timeline-Based Planning., , , and . TIME, volume 178 of LIPIcs, page 16:1-16:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Undecidability of Interval Temporal Logics with the Overlap Modality., , , , and . TIME, page 88-95. IEEE Computer Society, (2009)The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border., , , , and . TIME, page 131-138. IEEE, (2011)A Decidable Spatial Generalization of Metric Interval Temporal Logic., , , , and . TIME, page 95-102. IEEE Computer Society, (2010)Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story., , and . PROLE, volume 200 of EPTCS, page 48-63. (2015)Interval Temporal Logics: a Journey., , , and . Bull. EATCS, (2011)Fuzzy Halpern and Shoham's interval temporal logics., , , , and . Fuzzy Sets Syst., (March 2023)