林方珍;陈,尹 发现强等价逻辑程序的类。 (英语) Zbl 1182.68042号 J.阿蒂夫。智力。研究(JAIR) 28, 431-451 (2007). 摘要:本文应用计算机辅助定理发现技术来发现答案集语义下强等价逻辑程序的定理。我们发现的定理捕获了新的强等价逻辑程序类,这些程序类可以导致新的程序简化规则,从而保持强等价。具体地说,在计算机的帮助下,我们发现了捕捉规则与空集、两个规则、两条规则与两条规则中的一条、两条与另一条规则、三条规则与三条规则中两条之间强等价性的精确条件。 引用于12文件 MSC公司: 68N17号 逻辑编程 关键词:计算机辅助定理发现技术 软件:C模型;亚萨特;斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和textit{Y.Chen},J.Artif。智力。研究(JAIR)28,431--451(2007;Zbl 1182.68042) 全文: arXiv公司