-
A survey of advances in epistemic logic program solvers
Abstract: 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. An epistemic logic program is a set of rules in this language. Infused… ▽ More
Submitted 19 September, 2018; originally announced September 2018.
Comments: Proceedings of the 11th Workshop on Answer Set Programming and Other Computing Paradigms 2018
-
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster
Abstract: 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. Epistemic Specifications, which adds modal operators K and M to the language of ASP, is one such extension. We call a program in this language an epistemic logic program (ELP). So… ▽ More
Submitted 13 October, 2016; v1 submitted 24 August, 2016; originally announced August 2016.
Comments: Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016