Skip to main content

Seminaive Materialisation in DatalogMTL

Dingmin Wang‚ Przemyslaw Walega and Bernardo Cuenca Grau

Book Title
Proceedings of Declarative−AI (RR + RuleML)
Year
2022