2 papers
cs.AI2018
A survey of advances in epistemic logic program solvers
Anthony P. Leclerc, Patrick Thor Kahl
Recent research in extensions of Answer Set Programming has included a renewed interest in the language of Epistemic Specifications, which adds modal operators K ("known") and M ("…
cs.AI2016
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster
Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son
As the practical use of answer set programming (ASP) has grown with the development of efficient solvers, we expect a growing interest in extensions of ASP as their semantics stabi…