conftrace_

fact entailment

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

data complexity (2) computational complexity (2) stratified negation (1) metric temporal logic (1) stable model semantics (1) declarative data analysis (1) limit datalog (1) stable model (1) logic programming (1) complexity analysis (1)

Papers

Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021 Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017