conftrace_

limit datalog

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

declarative data analysis (1) stable model semantics (1) fact entailment (1) stable model (1) logic programming (1) data complexity (1) complexity analysis (1) computational complexity (1)

Papers

Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017