Keyword:Epistemic Specifications

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