DatalogMTL

MaRDI QIDQ5973101swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S1570826823000057

Cited in

(10)

• The delay and window size problems in rule-based stream reasoning
• Finite Materialisability of Datalog Programs with Metric Temporal Operators
• C-SPARQL
• STeLP
• Ontop
• OptiqueVQS
• Graal
• Datalog LITE
• LARS
• A qualitative temporal extension of here-and-there logic

This page was built for software: DatalogMTL