DatalogMTL
From MaRDI portal
Software:5973101
No author found.
Related Items (3)
Finite Materialisability of Datalog Programs with Metric Temporal Operators ⋮ The delay and window size problems in rule-based stream reasoning ⋮ A qualitative temporal extension of here-and-there logic
This page was built for software: DatalogMTL
