On Uniform Equivalence of Epistemic Logic Programs

Open in new window