Stratified negation in limit datalog programs
There has recently been an increasing interest in declarative data analysis, where analytic tasks are specified using a logical language, and their implementation and optimisation are delegated to a general-purpose query engine. Existing declarative languages for data analysis can be formalised as v...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
IJCAI-ECAI 2018
2018
|