English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

We study syntactic conditions which guarantee when a CR-Prolog (ConsistencyRestoring Prolog) program has antichain property: no answer set is a propersubset of another. A notable such condition is that the program's dependencygraph being acyclic and having no directed path from one cr-rule head literalto another.

Syntactic Conditions for Antichain Property in Consistency Restoring Prolog