no code implementations • 19 Sep 2018 • 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 ("may be true") to provide for more powerful introspective reasoning and enhanced capability, particularly when reasoning with incomplete information.
no code implementations • 24 Aug 2016 • 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 stabilize and solvers supporting them mature.