Epistemic Logic Programs: Non-Ground and Counting Complexity.

Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran

Browse the full IJCAI paper archive.