Author of the publication

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.

, , , and . AAAI, page 6566-6574. AAAI Press, (2023)

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

A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic., and . J. Multiple Valued Log. Soft Comput., 32 (3-4): 221-239 (2019)Reasoning over Streaming Data in Metric Temporal Datalog., , and . AAAI, page 3092-3099. AAAI Press, (2019)Computing All Facts Entailed By An LTL Specification., , and . KR, page 679-689. (2023)Finitely Materialisable Datalog Programs with Metric Temporal Operators., , and . KR, page 619-628. (2021)On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic.. LPAR (Workshop and Short Papers), volume 9 of Kalpa Publications in Computing, page 91-106. EasyChair, (2018)MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators., , , and . AAAI, page 5906-5913. AAAI Press, (2022)On Expressiveness of Halpern-Shoham Logic and its Horn Fragments.. TIME, volume 90 of LIPIcs, page 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Finite Materialisability of Datalog Programs with Metric Temporal Operators., , and . J. Artif. Intell. Res., (2023)DatalogMTL: Computational Complexity and Expressive Power., , , and . IJCAI, page 1886-1892. ijcai.org, (2019)Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course., , and . RW, volume 12258 of Lecture Notes in Computer Science, page 109-148. Springer, (2020)