Patrick Thor Kahl

  • Citations Per Year
Learn More
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(More)
This paper presents a novel algorithm for computing world views of different semantics of epistemic logic programs (ELP) and two of its realization, called EP-ASP (for an older semantics) and EPASP (for the newest semantics), whose implementation builds on the theoretical advancement in the study of ELPs and takes advantage of the multishot computation(More)
  • 1