Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2201.04596
Cited By
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
12 January 2022
Dingmin Wang
Pan Hu
P. Walega
Bernardo Cuenca Grau
OffRL
AI4CE
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
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
1