汤米·詹胡宁；埃米利亚·奥伊卡里宁 LPEQ和DLPEQ–逻辑程序自动等价测试的转换器。 （英语） Zbl 1122.68373号 Lifschitz，Vladimir（编辑）等人，《逻辑编程和非单调推理》。第七届国际会议，LPNMR 2004，美国佛罗里达州劳德代尔堡，2004年1月6日至8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20721-X/pbk）。计算机科学课堂讲稿2923。人工智能课堂讲稿，336-340（2004）。 总结：答案集编程（ASP）是一种逻辑编程范式，其中通过（i）编写一个逻辑程序，其答案集与问题的解决方案相对应；以及通过（ii）使用专用搜索引擎计算程序的答案集。尽管ASP具有声明性质，但逻辑程序的开发类似于传统编程语言。也就是说，程序员经常针对特定问题开发一系列改进的程序，例如，优化执行时间和空间时。因此，需要确保性能不同的后续程序产生相同的输出。在ASP中，这导致了检查给定的两个逻辑程序（P和Q）是否产生相同的答案集的问题。这个概念对应于程序（P）和（Q）的弱等价性，在续集中用（P等价Q）表示。关于整个系列，请参见[Zbl 1120.68006号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 软件：GNT公司；液化石油气当量；DLPEQ公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Janhunen}和\textit{E.Oikarinen}，莱克特。注释计算。科学。292336-340（2004年；Zbl 1122.68373） 全文： 内政部