A survey of advances in epistemic logic program solvers

Anthony P. Leclerc, Patrick Thor Kahl

Recent research in extensions of Answer Set Programming has included a renewed interest in the language of Epistemic Specifications, which adds modal operators K ("known") and M ("…