张恒；张燕 一般稳定模型语义下逻辑程序的表达性。 （英语） Zbl 1367.68044号 ACM事务处理。计算。日志。 18，第2号，第9条，第28页（2017年）. MSC公司： 68N17号 逻辑编程 68T27型 人工智能中的逻辑 关键词：答案集编程；复杂性；表现力；非单调推理；二阶逻辑 软件：亚萨特；C模型；数据日志 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{Y.Zhang，ACM翻译。计算。日志。18，第2号，第9条，第28页（2017年；Zbl 1367.68044） 全文： 内政部 arXiv公司 参考文献： [1] M.Ajtai先生。1983. Σ关于有限结构的11个公式。Ann.纯粹应用。逻辑24（1983），1–48·Zbl 0519.03021号 ·doi:10.1016/0168-0072（83）90038-6 [2] M.Ajtai和Y.Gurevich。1994.数据日志与一阶逻辑。J.计算。系统。科学。49 (1994), 562–588. ·Zbl 0824.68034号 ·doi:10.1016/S0022-0000（05）80071-6 [3] V.亚松森、F.Lin、Y.Zhang和Y.Zhou。2012.有限结构一阶逻辑程序的有序完成。Artif公司。智力。177–179 (2012), 1–24. ·Zbl 1244.68072号 [4] R.Ben-Eliyahu和R.Dechter。析取逻辑程序的命题语义。安。数学。Artif公司。智力。12, 1–2 (1994), 53–87. ·Zbl 0858.68012号 [5] Y.Chen、F.Lin、Y.Wang和M.Zhang。2006.正常逻辑程序的一阶循环公式。第十届知识表示与推理原则国际会议论文集。298–307. [6] Y.Chen、F.Lin、Y.Zhang和Y.Zhou。2011.循环可分离程序及其一阶可定义性。Artif公司。智力。175 (2011), 890–913. ·Zbl 1223.68027号 ·doi:10.1016/j.artint.2010.12.001 [7] E.Dantsin、T.Eiter、G.Gottlob和A.Voronkov。2001.逻辑编程的复杂性和表达能力。计算。Surv公司。33, 3 (2001), 374–425. ·doi:10.1145/502807.502810 [8] A.Durand、E.Grandjean和F.Olive。2004年，关于arity与变量数量的新结果。《研究报告20–2004》，法国马赛LIF（2004）。 [9] A.Durand、C.Lautemann和T.Schwentick。1998年，二进制NP.J.逻辑计算的子类。8, 2 (1998), 189–207. ·Zbl 0901.68076号 ·doi:10.1093/log.com/8.2.189 [10] H.-D.Ebbinghaus和J.Flum。1999.有限模型理论（第二版）。纽约施普林格-弗拉格·Zbl 0932.03032号 [11] 托马斯·艾特，迈克尔·芬克，Jö；第252页；校长、汉斯·托姆皮茨和斯特凡·沃尔特兰。2013年，基于模型的重铸在答案编程中。J.应用。非类别。《逻辑学》23，1-2（2013），75–104。 [12] 托马斯·艾特（Thomas Eiter）、迈克尔·芬克（Michael Fink）、汉斯·托姆皮茨（Hans Tompits）和斯特凡·沃尔特兰（Stefan Woltran）。2004.关于消除稳定逻辑编程中的析取。第九届知识表示与推理原则国际会议论文集。447–458. ·兹比尔1122.68369 [13] T.Eiter和G.Gottlob。1997.带函数的析取逻辑程序的稳定模型语义的表达。J.逻辑程序。33 (1997), 167–178. ·Zbl 0890.68030号 ·doi:10.1016/S0743-1066（97）00027-7 [14] T.Eiter、G.Gottlob和Y.Gurevich。有限结构上二阶逻辑的正规形式，以及NP优化问题的分类。Ann.纯粹应用。逻辑78（1996），111–125·Zbl 0883.03015号 ·doi:10.1016/0168-0072（95）00033-X [15] T.Eiter、G.Gottlob和H.Mannila。1997.分离数据日志。ACM事务处理。数据库系统。22 (1997), 364–418. 第3版。 [16] R.费金。1974.广义一阶谱和多项式时间可识别集。《计算复杂性》（SIAM-AMS论文集），第7卷。43–73. ·Zbl 0303.68035号 [17] P.Ferraris、J.Lee和V.Lifschitz。2011年，稳定模型和范围。Artif公司。智力。175（2011），236–263·Zbl 1227.68103号 ·doi:10.1016/j.artint.2010.04.011 [18] P.Ferraris、J.Lee、V.Lifschitz和R.Palla。2009.稳定模型一般理论中的对称分裂。第21届国际人工智能联合会议论文集。797–803. [19] M.Gelfond和V.Lifschitz。1988.逻辑编程的稳定模型语义。在第五届逻辑编程国际会议和研讨会论文集。1070–1080. [20] 艾蒂安·格兰德让。1985.随机存取机器的通用量词和时间复杂性。数学。系统。理论18，2（1985），171-187·Zbl 0578.03022号 ·doi:10.1007/BF01699468 [21] 尼尔·伊梅尔曼。1999.描述性复杂性。斯普林格·Zbl 0918.68031号 ·doi:10.1007/978-1-4612-0539-5 [22] 托米·詹胡宁（Tomi Janhunen）。正常逻辑程序和命题理论的一些可译性结果。J.应用。非经典。《逻辑学》16，1–2（2006），35–86·Zbl 1184.68160号 [23] J.Lee和Y.Meng。2011.一阶稳定模型语义和一阶循环公式。J.人工制品。智力。第42号决议（2011年），125–180·兹比尔12346.8247 [24] D.Leivant。1989.计算复杂性的描述性特征。J.计算。系统。科学。39 (1989), 51–83. ·兹比尔0677.68045 ·doi:10.1016/0022-0000（89）90019-6 [25] 尤利亚·利勒（Yuliya Lierler）和马可·马拉特（Marco Maratea）。2004.Cmodels-2：基于SAT的答案集求解器增强为非轻型程序。第七届逻辑程序设计和非单调推理国际会议论文集。346–350. ·Zbl 1122.68377号 [26] F.Lin和Y.Zhao。2004.ASSAT：SAT解算器计算逻辑程序的答案集。Artif公司。智力。157, 1–2 (2004), 115–137. ·Zbl 1085.68544号 [27] F.Lin和Y.Zhou。2011年。从答案集逻辑编程到通过GK逻辑的限定。Artif公司。智力。175, 1 (2011), 264–277. ·Zbl 1216.68270号 ·doi:10.1016/j.artint.2010.04.001 [28] J.Lobo、J.Minker和A.Rajasekar。1992年，选言逻辑程序设计基础。麻省理工学院出版社，剑桥·Zbl 0755.68033号 [29] 大卫·皮尔斯和阿古斯特í；n瓦尔弗德。构造逻辑的一阶非单调扩展。逻辑研究。80, 2/3 (2005), 321–346. ·Zbl 1097.03020号 ·doi:10.1007/s11225-005-8473-8 [30] J.S.Schlipf。1995.逻辑编程语义的表达能力。J.计算。系统。科学。51, 1 (1995), 64–86. ·Zbl 0831.68012号 ·doi:10.1006/jcss.1995.1053 [31] L.J.斯托克梅耶。1977年多项式时间层次。理论。计算。科学。3 (1977), 1–22. ·Zbl 0353.02024号 ·doi:10.1016/0304-3975（76）90061-X [32] 张恒和张燕。2013年a。虚拟逻辑程序与普通逻辑程序。CoRR abs/1304.0620，http://arxiv.org/abs/1304.0620。 ·Zbl 1314.68100号 [33] 张恒和张燕。2013年b。析取逻辑程序的一阶表示性和有界性。第23届国际人工智能联合会议记录。1198–1204. [34] 张恒、张燕、应明生和周毅。2011年，将一阶理论转化为逻辑程序。第22届国际人工智能联合会议记录。1126–1131. [35] 一周。2015.一阶析取逻辑编程与普通逻辑编程。第24届国际人工智能联合会议记录。3292–3298. 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。