Stable model reduct
= Stable model reduct
{title2=$\mathcal K^I$}
Ground the rules, delete every rule having a negative body atom true in the candidate $I$, and remove all remaining negative premises. The result is a positive program whose <least Herbrand model> is compared with $I$.