弗拉基米尔·利夫希茨；大卫·皮尔斯；阿古斯汀·瓦尔弗德 具有变量的逻辑程序的强等价性的一个特征。 （英语） Zbl 1149.68335号 Baral，Chitta（编辑）等人，《逻辑编程和非单调推理》。第九届国际会议，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72199-4/pbk）。计算机科学课堂讲稿4483。人工智能课堂讲稿，188-200（2007）。 摘要：如果在任何逻辑程序中用一个替换另一个，则两组规则都可以保持程序的稳定模型，那么这两组规则就可以说是非常等价的。本文将基于here-and there命题逻辑的扎根程序强等价性的常见特征推广到一大类带变量的逻辑程序。此类尤其包括具有条件文本和基数约束的程序。为此目的所需的here-and-here逻辑的一阶版本涉及两个额外的非教条主义公理模式。有关整个系列，请参见[Zbl 1119.68003号]. 引用于1审查引用于19文件 MSC公司： 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}等人，Lect。票据计算。科学。4483188-200（2007年；Zbl 1149.68335） 全文： 内政部