An Algebraic Prolog for Reasoning about Possible Worlds.

Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

Browse the full AAAI paper archive.