Keyword:World View Rules

Papers
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint no. 231