Author:Patrick Kahl

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

Keyphrases

Answer Set Programming, Answer Set Programming Extensions, constraints, Epistemic Logic Program Solvers, Epistemic Logic Programs², Epistemic Negations, Epistemic Specifications², logic programming², solvers, World View Constraints, World View Rules, world views, WV Facts.