Stratified Negation in Limit Datalog Programs

IJCAI, 2018.

Cited by: 1|Bibtex|Views70
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|arxiv.org

Abstract:

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 variants of logic programming equipped wi...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments