Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
Logic in Computer Science
2018-09-26 v1
Abstract
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 such condition is that the program's dependency graph being acyclic and having no directed path from one cr-rule head literal to another.
Cite
@article{arxiv.1809.09319,
title = {Syntactic Conditions for Antichain Property in Consistency Restoring Prolog},
author = {Vu Phan},
journal= {arXiv preprint arXiv:1809.09319},
year = {2018}
}
Comments
Proceedings of the 11th Workshop on Answer Set Programming and Other Computing Paradigms 2018