Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.

Wolfgang Faber, Michael Morak

Browse the full AAAI paper archive.