Keyword:Epistemic Specifications

Publications
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint 231
A Survey of Advances in Epistemic Logic Program Solvers Anthony Leclerc and Patrick Kahl EasyChair Preprint 220