Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds.

Mario Alviano, Sotiris Batsakis, George Baryannis

Browse the full LPNMR paper archive.