Stable model semantics
= Stable model semantics
{wiki}
A semantics in which an interpretation must equal the <least Herbrand model> of its own <stable model reduct>. Some programs have no <stable model>, and others have several.
= Stable model semantics
{wiki}
A semantics in which an interpretation must equal the <least Herbrand model> of its own <stable model reduct>. Some programs have no <stable model>, and others have several.