EasyChair Smart Slide
selp: A Single-Shot Epistemic Logic Program Solver
selp: A Single-Shot Epistemic Logic Program Solver