MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

12 January 2022

Papers citing "MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators"

4 / 4 papers shown

Title
Compiling Metric Temporal Answer Set Programming Arvid Becker Pedro Cabalar Martín Diéguez J. Romero Susana Hahn Torsten Schaub 17 0 0 09 Jun 2025
Inconsistency Handling in DatalogMTL Meghyn Bienvenu Camille Bourgaux Atefe Khodadaditaghanaki 60 0 0 15 May 2025
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version) A. Artale Anton Gnatenko Vladislav Ryzhikov Michael Zakharyaschev 64 1 0 23 Jan 2025
Seminaive Materialisation in DatalogMTL Dingmin Wang P. Walega Bernardo Cuenca Grau 23 1 0 15 Aug 2022