Solving Epistemic Logic Programs Using Generate-and-Test with Propagation.

Jorge Fandinno, Lute Lillo

Browse the full AAAI paper archive.