conftrace_

tautological rule

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic logic program (1) strong equivalence (1) rule subsumption (1) logical characterization (1) epistemic logic (1) logic programming (1) answer set programming (1) complexity analysis (1)

Papers

Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019