Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.

Wolfgang Faber, Michael Morak

Browse the full LPNMR paper archive.