conftrace_

stratified negation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

computational complexity (2) metric temporal logic (1) fact entailment (1) query engine (1) logic programming (1) data complexity (1) automated reasoning (1) temporal reasoning (1)

Papers

Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021 Stratified Negation in Limit Datalog Programs IJCAI 2018