TY - RPRT TI - Epistemic Logic Programs: Non-Ground and Counting Complexity AU - Thomas Eiter AU - Johannes K. Fichte AU - Markus Hecher AU - Stefan Woltran PY - 2025 UR - https://arxiv.org/abs/2503.04731 ID - 2503.04731 ER -