文，廉;王克文;沈义东;林方珍 随机应答程序的相变模型。 （英语） Zbl 1367.68043号 ACM事务处理。计算。日志。 17，第3号，第22条，第34页（2016年）. 引用于1文件 MSC公司： 第68页第17页 逻辑编程 关键词：答案集;随机逻辑程序;相变 软件：扣环 PDF格式BibTeX公司 XML格式引用 \textit{L.Wen}等人，ACM翻译。计算。日志。17，第3号，第22条，第34页（2016；Zbl 1367.68043） 全文： DOI程序 参考文献： [1] D.阿奇利奥普塔斯。2008.随机可满足性。在《可满足性手册》中。A.Biere，M.Heule，H.Van Maaren，T.Walsh（编辑）。IOS出版社，荷兰阿姆斯特丹，234–268·Zbl 1189.82043号 [2] D.Achlioptas、L.Kirousis、E.Kranakis、D.Krizanc、M.Molloy和Y.Stamatiou。1997.随机约束满足：更准确的图片。第三届约束编程原理与实践国际会议论文集（CP’；97）。107–120. ·Zbl 0984.68085号 ·doi:10.1007/BFb0017433 [3] D.Achlioptas、A.Naor和Y.Peres。2005.硬优化问题中相变的严格位置。《自然》435、7043、759–764·doi:10.1038/nature03602 [4] H.布莱尔、F.杜申、D.贾克尔、D.里维拉和M.塞兹金。1999.逻辑程序的连续计算模型：将连续数学引入逻辑编程’；的算法基础。在逻辑编程范式中。231–255. ·Zbl 0979.68519号 [5] P.Cheeseman、B.Kanefsky和W.M.Taylor。1991年真正的难题在哪里。第十二届国际人工智能联合会议记录（IJCAI’；91）。331–340. ·Zbl 0747.68064号 [6] F.de la织女星。随机图中的核。离散数学82，2，213–217·Zbl 0725.05072号 ·doi:10.1016/0012-365X（90）90327-E [7] J.佛朗哥。2001.关于可满足性阈值现象研究的结果：下限。理论计算机科学265、147–157·Zbl 0983.68081号 ·doi:10.1016/S0304-3975（01）00158-X [8] M.Gebser、B.Kaufmann和T.Schaub。2009.冲突驱动的答案集求解器扣：进度报告。第十届逻辑程序设计和非单调推理国际会议论文集（LPNMR’；09）。509–514. ·doi:10.1007/978-3-642-04238-6_50 [9] Martin Gebser、Benjamin Kaufmann和Torsten Schaub。2012年。冲突驱动的答案集解决：从理论到实践。人工智能187，52-89·Zbl 1251.68060号 ·doi:10.1016/j.artint.2012.04.001 [10] M.Gelfond和V.Lifschitz。1988.逻辑编程的稳定模型语义。在第五届逻辑编程国际会议和研讨会（ICLP’；88）的会议记录中。1070–1080. [11] I.Gent和T.Walsh。1994年，SAT相变。《第十一届欧洲人工智能会议论文集》（ECAI 94）。105–109之间。 [12] R.Graham、D.Knuth和O.Patashnik。1994.混凝土数学，计算机科学基础（第二版）。Addison-Wesley出版公司，纽约州纽约市·Zbl 0836.00001号 [13] G.Huang、X.Jia、C.Liau和J.You。2002.两字面逻辑程序和稳定模型的可满足性表示：比较。第15届加拿大人工智能会议记录。119–131. ·Zbl 1048.68599号 ·doi:10.1007/3-540-47922-8_11 [14] B.Huberman和T.Hogg。1987.人工智能系统中的相变。人工智能33，2，155–171·doi:10.1016/0004-3702（87）90033-6 [15] T.Janhunen。正常逻辑程序和命题理论的一些可译性结果。应用非经典逻辑期刊1-2，35-86·兹比尔1184.68160 [16] M.Karonski和T.Luczak。1996.随机超图。在组合数学中，Paul Erdos是第二卷第八十页。283–293. [17] S.Kirkpatrick和B.Selman。2005.随机布尔表达式可满足性的关键行为。《科学》264759–764。 [18] N.Leone、G.Pfeifer、W.Faber、T.Eiter、G.Gottlob、S.Perri和F.Scarcello。2006.用于知识表示和推理的DLV系统。ACM计算逻辑事务7、3、499–562·Zbl 1367.68308号 ·doi:10.145/1149114.1149117 [19] Z.Lonc和M.Truszczynski。2005.计算稳定模型：最坏情况下的性能估计。逻辑程序设计理论与实践4，1–2，193–231。 [20] V.Marek和M.Truszczynski。1991.自认知逻辑。计算机协会杂志38，3，588–619·Zbl 0799.68176号 ·数字对象标识代码：10.1145/116825.116836 [21] V.Marek和M.Truszczynski。1993。非单调逻辑：上下文相关推理。纽约州纽约州施普林格。 ·doi:10.1007/978-3-662-02906-0 [22] D.Mitchell、B.Selman和H.Levesque。1992.SAT问题的难易分配。第十届全国人工智能会议论文集（AAAI’；92）。459–465. [23] R.Monasson、R.Zecchina、S.Kirkpatrick、B.Selman和L.Troyansky。1999.2+p-SAT：典型case复杂性与相变性质的关系。随机结构和算法15，3–4，414–435·Zbl 0931.68056号 ·doi:10.1002/（SICI）1098-2418（199910/12）15:3/4<414:：AID-RSA10>3.0.CO；2-G型 [24] G.Namasivayam和M.Truszczynski。2009年。简单随机逻辑程序。第十届逻辑程序设计和非单调推理国际会议论文集（LPNMR’；09）。223–235. ·Zbl 1258.68036号 ·数字对象标识代码：10.1007/978-3-642-04238-6_20 [25] J.Schlipf、M.Truszczynski和D.Wong。2005年，关于采用稳定模型的项目分布。在05171文摘集-非单调推理，答案集编程和约束。 [26] 帕特里克·西蒙斯，伊尔卡·尼梅尔；，和蒂莫·索尼宁。2002.扩展和实现稳定模型语义。人工智能138，1–2，181–234·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X [27] T.Syrjä；nen和I.Niemelä；。2001年，斯莫德尔斯体系。第六届逻辑编程和非单调推理国际会议论文集（LPNMR’；01）。434–438页·Zbl 1010.68797号 ·doi:10.1007/3-540-45402-0-38 [28] K.Wang、L.Wen和K.Mu.2015。随机逻辑程序：线性模型。逻辑程序设计理论与实践15·Zbl 1379.68085号 ·doi:10.1017/S1471068414000611 [29] Y.Zhao和F.Lin.2003。答案集编程阶段转换：对随机生成程序的研究。《第19届逻辑编程国际会议论文集》（ICLP’；03）。239–253之间·Zbl 1204.68066号 ·doi:10.1007/978-3-540-24599-5_17 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。