一致性恢复 Prolog 中反链性质的语法条件
计算机科学中的逻辑
2018-09-26 v1
摘要
我们研究保证 CR-Prolog（一致性恢复 Prolog）程序具有反链性质（即无答案集是另一答案集的真子集）的语法条件。一个显著的此类条件是：程序的依赖图无环，且不存在从一个 cr 规则头文字到另一个 cr 规则头文字的有向路径。
关键词
引用
@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}
}
备注
Proceedings of the 11th Workshop on Answer Set Programming and Other Computing Paradigms 2018