Syntactic Conditions for Antichain Property in Consistency Restoring Prolog

Vu Phan

We study syntactic conditions which guarantee when a CR-Prolog (Consistency Restoring Prolog) program has antichain property: no answer set is a proper subset of another. A notable…