selp

selp - A Single-Shot Epistemic Logic Program Solver. selp (Single-shot Epistemic Logic Program solver) is a solver for Epistemic Logic Programs (ELPs), that is, programs that use an extended version of the language of Answer Set Programming (ASP) that, in particular, allows users to express epistemic negation. selp works by polynomially rewriting the input ELP into a non-ground disjunctive ASP program, making use of long rule bodies. This allows a subsequently called ASP solving system to solve this program, and therefore the original ELP in a single shot. In order to deal with large rules and not run into grounding problems, selp uses the lpopt tool in order to split up large rules into multiple smaller rules. selp is explicitly tailored to generate rules in such a way that lpopt can split them up as well as possible.