DatalogMTL with Negation under Stable Models Semantics (2021)

First Author: Walega P.A.
Attributed to:  AnaLOG: Datalog Extensions for the Analysis of Static and Streaming Data (Ext.) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021