Pearce's Characterisation in an Epistemic Domain

Ezgi Iraz Su

Answer-set programming (ASP) is a successful problem-solving approach in logic-based AI. In ASP, problems are represented as declarative logic programs, and solutions are identifie…