Epistemic Logic Programs: Non-Ground and Counting Complexity

Thomas Eiter, Johannes K. Fichte, Markus Hecher +1

Answer Set Programming (ASP) is a prominent problem-modeling and solving framework, whose solutions are called answer sets. Epistemic logic programs (ELP) extend ASP to reason abou…