ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2201.04596
  4. Cited By
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

12 January 2022
Dingmin Wang
Pan Hu
P. Walega
Bernardo Cuenca Grau
    OffRLAI4CELRM
ArXiv (abs)PDFHTML

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
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)
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
Seminaive Materialisation in DatalogMTL
Dingmin Wang
P. Walega
Bernardo Cuenca Grau
23
1
0
15 Aug 2022
1