DatalogMTL

swMATH44820MaRDI QIDQ5973101FDOQ5973101

Author name not available (Why is that?)

Cited In (3)

• The delay and window size problems in rule-based stream reasoning
• Finite Materialisability of Datalog Programs with Metric Temporal Operators
• A qualitative temporal extension of here-and-there logic

This page was built for software: DatalogMTL