A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster

Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son

As the practical use of answer set programming (ASP) has grown with the development of efficient solvers, we expect a growing interest in extensions of ASP as their semantics stabi…