Epistemic Logic Programs: Non-Ground and Counting Complexity