扎卡里·汉森;尤利亚·利勒 通过SM运算符的条件文字的语义。 （英语） Zbl 07671893号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 259-272 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hansen}和\textit{Y.Lierler}，Lect。注释计算。科学。13416，259--272（2022；Zbl 07671893） 全文： 内政部
豪尔赫·范丁诺;扎卡里·汉森;尤利亚·利勒 用聚合论证ASP程序的正确性。 （英语） Zbl 07671888号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 190-202 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Fandinno｝等人，Lect。注释计算。科学。13416、190--202（2022；Zbl 07671888） 全文： 内政部