conftrace_

rule subsumption

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic logic program (1) strong equivalence (1) tautological rule (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