Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.

Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

Browse the full AAAI paper archive.