搜索筛选:
搜索耗时0.0302秒,为你在为你在61,042,058篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：Yu-Ping Shen,Xi-Shun Zhao,
来源：计算机科学技术学报（英文版） 年份：2004
In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence in NP.It is show...
[期刊论文] 作者：Xi-Shun Zhao,Yu-Ping Shen,
来源：计算机科学技术学报（英文版） 年份：2004
In this paper, it is shown that stable model semantics, perfect model semantics, and partial stable model semantics of disjunctive logic programs have the same...
相关搜索：
