conftrace_

declarative data analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

limit datalog (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