Expressing p-stable semantics based on stable semantics
Mauricio Osorio, Jose Luis Carballido, Claudia Zepeda · 2010
We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable semantics. We give a condition under which the two semantics agree in the case of normal programs.