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

Devs

Solving Epistemic Logic Programs using Generate-and-Test with Propagation | Read Paper on Bytez