Solving Epistemic Logic Programs using Generate-and-Test with Propagation

Jorge Fandinno, Lute Lillo

This paper introduces a general framework for generate-and-test-based solvers for epistemic logic programs that can be instantiated with different generator and tester programs, an…