Vol-3280⫷ Vol-3281 ⫸Vol-3282
urn:nbn:de:0074-3281-0


Vol-3281/paper6⫷Vol-3281/paper7
Wolfgang Faber 0001Michael Morak

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers