Tractable fragments of datalog with metric temporal operators (2020)

First Author: Walega P.A.
Attributed to:  OASIS: Ontology Reasoning over Frequently-changing and Streaming Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 2021-January

Parent Publication: IJCAI International Joint Conference on Artificial Intelligence

ISSN: 10450823