Keyword:Answer Set Programming Extensions

Papers
A Survey of Advances in Epistemic Logic Program Solvers Anthony Leclerc and Patrick Kahl EasyChair Preprint no. 220