EasyChair Smart Slide
Epistemic Logic Programs with World View Constraints
Epistemic Logic Programs with World View Constraints