知识表示和推理（Knowledge Representation and Reasoning,KRR）是人工智能核心研究内容之一,旨在为实现基于知识的智能系统提供知识......

基于回答集(或稳定模型)语义的逻辑程序(Answer Set Program,简称ASP),是一种描述性问题求解的范例。由于其非单调的本质特征和各......

判断逻辑程序的回答集是否存在是回答集程序设计的一个重要问题，也是NP完全问题。当前利用否定圈边数的奇偶性来判断回答集存在性的......