×

概率(逻辑)编程概念。 (英语) Zbl 1346.68050

摘要:今天存在着许多不同的概率编程语言,它们都扩展了一种传统的带有原语的编程语言,以支持复杂、结构化概率分布的建模。每一种语言都使用自己的概率原语,并带有特定的语法、语义和推理过程。这使得理解底层编程概念和理解不同语言之间的差异变得很困难。为了更好地理解概率编程,我们确定了许多核心编程概念,这些概念是各种概率语言所使用的原语的基础,讨论了它们需要的执行机制,并使用这些机制来定位和调查最先进的概率语言及其实现。在这样做的同时,我们关注逻辑编程语言的概率扩展,比如Prolog,这已经被考虑了20多年。

理学硕士:

68N17 逻辑程序设计
68N15 程序设计语言理论
PDF格式 BibTeX公司 XML 引用

参考文献:

[1] Angelopoulos,N.和Cussens,J.(2004年)。随机逻辑程序上MCMC方案的实现。在M.Carro和J.F.Morales(编辑)中,约束和逻辑程序设计系统实现学术讨论会论文集(CICLOPS-04). ·Zbl 1179.68025
[2] Arora,N.S.,de Salvo Braz,R.,Sudderth,E.B.和Russell,S.J.(2010年)。开放宇宙随机语言中的吉布斯抽样。在P.Grünwald和P.Spirtes(编辑)中,第26届人工智能不确定性会议论文集(UAI-10)(第30-39页)。奥艾出版社。
[3] Bancilon,F.,Maier,D.,Sagiv,Y.和Ullman,J.D.(1986年)。魔术集和其他奇怪的方法来实现逻辑程序(扩展抽象)。在A.Silberschatz(编辑)中,第五届ACM SIGACT-SIGMOD数据库系统原理研讨会论文集(PODS-86)(第1-15页)。ACM公司。
[4] Baral,C.,Gelfond,M.和Rushton,J.N.(2004年)。答案集的概率推理。在V.Lifschitz和I.Niemelä(编辑)中,第七届逻辑程序设计与非单调推理国际会议论文集,计算机科学讲义,(第2923卷,第21-33页)。斯普林格·Zbl 1122.68361
[5] 巴拉尔,C;盖尔方德,M;罗士顿,N,带答案的概率推理,逻辑程序设计理论与实践,第9期,第57-144页,(2009)·Zbl 1170.68003
[6] 贝洛迪,E;南丫岛东部;里古兹,F;桑托斯科斯塔,V;Zese,R,概率逻辑程序设计的提升变量消除,逻辑程序设计理论与实践(TPLP),14681-695,(2014)·Zbl 1309.68027
[7] Bragaglia,S.和Riguzzi,F.(2010年)。带注释析取逻辑程序的近似推理。在P.Frasconi和F.A.Lisi(编辑)中,第20届归纳逻辑程序设计国际会议(ILP-10)修订论文,计算机科学课堂讲稿(第6489卷,第30-37页)。斯普林格·兹布1329.68208
[8] Bröcheler,M.,Mihalkova,L.和Getoor,L.(2010年)。概率相似逻辑。在P.Grünwald和P.Spirtes(编辑)中,第26届人工智能不确定性会议论文集(UAI-10)(第73-82页)。奥艾出版社·兹布1379.68305
[9] Carlson,A.,Betterige,J.,Kisiel,B.,Settles,B.,Hruschka,Jr.,E.R.和Mitchell,T.M.(2010年)。建立一个永无止境的语言学习体系。在M.Fox和D.Poole(编辑)中,第24届AAAI人工智能会议论文集(AAAI-10)(第1306-1313页)。AAI出版社。
[10] Cohen,S.B.,Simmons,R.J.和Smith,N.A.(2008年)。动态规划算法作为加权逻辑程序的产物。M.Garcia de la Banda和E.Pontelli(编辑),第24届逻辑程序设计国际会议论文集(ICLP-08),计算机科学课堂讲稿(第5366卷,第114-129页)。斯普林格·Zbl 1185.68153
[11] 《基于词的信息表示语言》,人工智能,118163-196,(2000)·Zbl 0938.68841
[12] 库森,J.(2005年)。分离积分:概率与逻辑与ICL、PRISM、SLPs相结合4月2日项目报告·Zbl 0994.68025
[13] Dalvi,N.N.和Suciu,D.(2004年)。概率数据库的高效查询评价。M.A.Nascimento、M.T.Özsu、D.Kossmann、R.J.Miller、J.A.Blakeley和K.B.Schiefer(编辑),第30届超大数据库国际会议论文集(VLDB-04),(第864-875页)。摩根考夫曼出版社·Zbl 0419.68082
[14] Dantsin,E.(1991年)。概率逻辑程序及其语义。在A.Voronkov(编辑)中,俄罗斯第一届逻辑程序设计会议录,计算机科学课堂讲稿(第592卷,第152-164页)。斯普林格。
[15] 迈耶,D;伦肯,J;克洛特,L;De,Raedt L;Marchal,K,Phenetic:基于网络的非结构化基因列表解释E、 大肠杆菌《分子生物系统》,91594-1603,(2013年)
[16] 雷德,L;Kersting,K.概率逻辑学习,SIGKDD探索,5,31-48,(2003)
[17] De Raedt,L.,Kimmig,A.和Toivonen,H.(2007年)。ProbLog:概率Prolog及其在链路发现中的应用。在M.M.Veloso(编辑)中,第20届人工智能国际联席会议论文集(IJCAI-07),(第2462-2467页)。摩根考夫曼出版社·Zbl 1209.68100
[18] Eisner,J.和Filardo,N.W.(2011年)。Dyna:为现代人工智能扩展数据日志。在O.de Moor,G.Gottlob,T.Furche&A.Sellers(编辑),重新加载数据日志,计算机科学课堂讲稿(第6702卷,第181-220页)。斯普林格。
[19] Eisner,J.,Goldlust,E.和Smith,N.(2005年)。编译编译:加权动态规划与Dyna语言。在C.Brew中,L.F.Chien和K.Kirchhoff(编辑),人类语言技术会议和自然语言处理经验方法会议论文集(HLT/EMNLP-05),(第281-290页)。计算语言学协会。
[20] Fierens,D.,Blockeel,H.,Bruynooghe,M.和Ramon,J.(2005年)。逻辑贝叶斯网络及其与其他概率逻辑模型的关系。在S.Kramer和B.Pfahringer(编辑)中,第15届归纳逻辑程序设计国际会议论文集(ILP-05),计算机科学课堂讲稿(第3625卷,第121-135页)。斯普林格·Zbl 1134.68507
[21] Fierens,D.,Van den Broeck,G.,Thon,I.,Gutmann,B.和De Raedt,L.(2011年)。概率逻辑程序中使用加权cnf的推理。在F.G.Cozman和A.Pfeffer(编辑)中,第27届人工智能不确定性会议论文集(UAI-11),(第211-220页)。奥艾出版社·Zbl 0957.68013
[22] Fierens,D.,Van den Broeck,G.,Bruynooghe,M.和De Raedt,L.(2012年)。概率逻辑规划的约束条件。在V.Mansingka,D.Roy和N.Goodman(编辑)中,NIPS概率规划研讨会论文集. ·Zbl 1218.68169
[23] 菲伦斯,D;布罗克,G;伦肯,J;施特里奥诺夫,D;古特曼,B;桑,我;等等。,使用加权布尔公式在概率逻辑程序中的推理和学习,逻辑程序设计理论与实践,15358-401,(2013)·Zbl 1379.68062
[24] 弗莱奇,P.A.(1994年)。简单逻辑:通过实例进行智能推理纽约:约翰·威利·邮政编码:0817.68049
[25] 富尔,N.(1995年)。概率数据日志-一种强大的检索方法的逻辑。E.A.Fox,P.Ingwersen&R.Fidel(编辑),第18届国际ACM-SIGIR信息检索研究与发展年会论文集(SIGIR-95),(第282-290页)。ACM出版社。
[26] Fuhr,N,概率数据日志:为高级应用实现逻辑信息检索,美国信息科学学会期刊(JASIS),51,95-110,(2000)
[27] Gerstenberg,T.和Goodman,N.D.(2012年)。教会乒乓球:概念在人类概率推理中的有效运用。在N.Miyake,D.Peebles和R.P.Cooper(编辑),认知科学学会第34届年会论文集(第1590-1595页)。认知科学学会。
[28] Getoor,L.,Friedman,N.,Koller,D.,Pfeffer,A.和Taskar,B.(2007年)。概率关系模型。在L.Getoor和B.Taskar(编辑)中,统计关系学习导论(第129-174页)。马萨诸塞州剑桥:麻省理工学院出版社。
[29] 古德曼,N.D.,Mansingha,V.K.,Roy,D.M.,Bonawitz,K.和Tenenbaum,J.B.(2008年)。教会:生成模式的语言。在D.A.McAllester和P.Myllymäki(编辑)中,第24届人工智能不确定性会议论文集(UAI-08),(第220-229页)。奥艾出版社。
[30] Gutmann,B.,Jaeger,M.和De Raedt,L.(2010年)。用连续分布扩展ProbLog。在P.Frasconi和F.A.Lisi(编辑)中,第20届归纳逻辑程序设计国际会议(ILP-10)进展,计算机科学课堂讲稿(第6489卷,第76-91页)。斯普林格·Zbl 1329.68057
[31] 古特曼,B;桑,我;金米格,A;布鲁努赫,M;《概率规划中逻辑推理的魔力》,逻辑程序设计理论与实践,11663-680,(2011)·Zbl 1222.68060
[32] 哈德维,P.(1994年)。从概率逻辑知识库生成贝叶斯网络。R.L.de Mántaras和D.Poole(编辑),第十届人工智能不确定性年会论文集(UAI-94)(第262-269页)。摩根考夫曼出版社·Zbl 1189.03039
[33] 海伊登,M;Lucas,PJF,使用定性时间的概率逻辑描述疾病过程,医学中的人工智能,59143-155,(2013)
[34] Hommersom,A.和Lucas,P.J.F.(2011年)。概化概率逻辑中的交互规则。在T.沃尔什(编辑)中,第22届国际人工智能联席会议记录(IJCAI-11),(第912-917页)。AAI出版社·Zbl 1222.68060
[35] Hommersom,A.,de Carvalho Ferreira,N.和Lucas,P.J.F.(2009年)。集成逻辑推理和概率链图。W.L.Buntine、M.Grobelnik、D.Mladenic和J.Shawe Taylor(编辑),欧洲机器学习与数据库知识发现原理与实践会议论文集(ECML/PKDD-09),计算机科学课堂讲稿(第5781卷,第548-563页)。斯普林格。
[36] Huth,M.和Ryan,M.(2004年)。计算机科学中的逻辑:关于系统的建模和推理剑桥:剑桥大学出版社·Zbl 1073.68001号
[37] Jaeger,M.(1997年)。关系贝叶斯网络。D.Geiger和P.P.Shenoy(编辑),第十三届人工智能不确定性会议论文集(UAI-97)(第266-273页)。摩根考夫曼出版社。
[38] Jaeger,M.(2008年)。模型理论表达分析。L.De Raedt、P.Frasconi、K.Kersting和S.Muggleton(编辑),概率归纳逻辑程序设计理论与应用,人工智能课堂讲稿(第4911卷,第325-339页)。斯普林格·Zbl 1137.68591
[39] Kersting,K.(2012年)。提升了概率推断。在L.De Raedt,C.Bessière,D.Dubois,P.Doherty,P.Frasconi,F.Heintz和P.J.F.Lucas(编辑),第20届欧洲人工智能会议论文集(ECAI-12)《人工智能与应用前沿》(第242卷,第33-38页)。IOS出版社。
[40] Kersting,K.和De Raedt,L.(2001年)。贝叶斯逻辑程序。更正cs.AI/0111058·Zbl 1006.68504
[41] Kersting,K.和De Raedt,L.(2008年)。学习贝叶斯逻辑程序的基本原理。L.De Raedt、P.Frasconi、K.Kersting和S.Muggleton(编辑),概率归纳逻辑程序设计理论与应用,人工智能课堂讲稿(第4911卷,第189-221页)。斯普林格·Zbl 1137.68544号
[42] 路缘石,K;雷德,L;《逻辑隐马尔可夫模型》,人工智能研究杂志,25425-456,(2006)·Zbl 1182.68353
[43] Kimmig,A.,Santos Costa,V.,Rocha,R.,Demoen,B.和De Raedt,L.(2008年)。关于ProbLog程序的有效执行。M.Garcia de la Banda和E.Pontelli(编辑),第24届逻辑程序设计国际会议论文集(ICLP-08),计算机科学课堂讲稿(第5366卷,第175-189页)。斯普林格·Zbl 1185.68162
[44] Kimmig,A.,Gutmann,B.和Santos Costa,V.(2009年)。用记忆换取答案:走向建立ProbLog。在P.Domingos和K.Kersting(编辑)中,统计关系学习国际研讨会论文集(SRL-2009).
[45] Kimmig,A.,Van den Broeck,G.和De Raedt,L.(2011年A)。推理可能世界的代数序言。在W.Burgard和D.Roth(编辑)中,第25届AAAI人工智能会议论文集(AAAI-11)(第209-214页)。AAI出版社。
[46] 金米格,A;德蒙,B;雷德,L;桑托斯科斯塔,V;Rocha,R.关于概率逻辑编程语言problog的实现,逻辑编程的理论与实践(TPLP),11235-262,(2011)·Zbl 1220.68037
[47] 金米格,A;米哈尔科娃,L;Getoor,L,Lived图形模型:调查,机器学习。,99,1-45,(2015年)·Zbl 1320.62016
[48] Koller,D.和Pfeffer,A.(1998年)。基于概率框架的系统。在J.Mostow和C.Rich(编辑)中,第十五届全国人工智能大会论文集(AAAI-98)(第580-587页)。AAAI出版社/麻省理工学院出版社·Zbl 1182.68353
[49] 劳埃德,J.W.(1989年)。逻辑程序设计基础(第二版)。柏林:斯普林格·Zbl 0547.68005
[50] Lodhi,H.和Muggleton,S.(2005年)。使用基于随机逻辑程序的集成方法模拟代谢途径。在V.Danos和V.Schächter(编辑)中,国际系统生物学计算方法会议论文选编(CMSB-04),计算机科学课堂讲稿(第3082卷,第119-133页)。斯普林格·Zbl 1088.68823
[51] Mansingka,V.K.,Kulkarni,T.D.,Perov,Y.N.,和Tenenbaum,J.B.(2013年)。使用生成概率图形程序的近似贝叶斯图像解释。C.J.C.Burges、L.Bottou、Z.Ghahramani和K.Q.Weinberger(编辑),第27届神经信息处理系统年会论文集(NIPS-13)《神经信息处理系统》(第1520-1528页)。
[52] Mantadelis,T.和Janssens,G.(2011年)。嵌套概率推理。在S.Abreu和V.Santos Costa(编辑),约束和逻辑程序设计系统实现学术讨论会论文集(CICLOPS-11). ·Zbl 1237.68190号
[53] Milch,B.,Marthi,B.,Russell,S.J.,Sontag,D.,Ong,D.L.和Kolobov,A.(2005年)。博客:未知对象的概率模型。在L.P.Kaelbling和A.Saffiotti(编辑)中,第19届人工智能国际联席会议论文集(IJCAI-05)(第1352-1359页)。纽约:专业图书中心。
[54] 摩尔多瓦,B.,Thon,I.,Davis,J.和De Raedt,L.(2013年)。概率规划语言中条件概率的MCMC估计。在L.C.van der Gaag(编辑)中,第12届欧洲不确定性推理的符号与定量方法会议论文集(ECSQARU-13),计算机科学课堂讲稿(第7958卷,第436-448页)。斯普林格·Zbl 06195172
[55] Mørk,S;霍姆斯,I,评估细菌基因发现HMM结构作为概率逻辑程序,生物信息学,28636-642,(2012)
[56] 麻瓜顿S;Raedt,L(编辑),《随机逻辑程序》,254-264,(1996),阿姆斯特丹
[57] Natarajan,S.,Tadepalli,P.,Altendorf,E.,Dieterich,T.G.,Fern,A.和Restificar,A.C.(2005年)。结合规则学习一阶概率模型。在L.De Raedt和S.Wrobel(编辑)中,第22届国际机器学习会议论文集(ICML-05),ACM国际会议记录系列(第119卷,第609-616页)。ACM公司。
[58] Nitti,D.,De Laet,T.和De Raedt,L.(2013年)。混合关系域的粒子过滤器。在N.阿马托(编辑)中,IEEE/RSJ智能机器人与系统国际会议论文集(IROS-13)(第2764-2771页)。IEEE。
[59] Pearl,J.(1988年)。智能系统中的概率推理:合情推理网络伯灵顿:摩根考夫曼出版社·Zbl 0746.68089
[60] Pfeffer,A.(2001年)。IBAL:一种概率理性编程语言。在B.Nebel(编辑)中,第十七届人工智能国际联席会议论文集(IJCAI-01),(第733-740页)。摩根考夫曼出版社·Zbl 0994.68025
[61] Pfeffer,A.(2009年)。Figaro:一种面向对象的概率编程语言查尔斯河分析:技术报告。
[62] 普尔,D.(1992年)。逻辑程序设计,诱因与概率。第五代计算系统国际会议记录(FGCS-92)(第530-538页)。IOS出版社·邮政编码:0862.68018
[63] Poole,D,概率Horn诱拐和贝叶斯网络,人工智能,64,81-129,(1993)·中银0792.68176
[64] 普尔,D.(1995年)。利用独立选择逻辑中的规则结构进行决策。在P.Besnard&S.Hanks(编辑)中,第十一届人工智能不确定性年会论文集(UAI-95)(第454-463页)。摩根考夫曼出版社。
〔65〕 Poole,D.,《作为失败的否定而放弃:独立选择逻辑中的稳定模型》,《逻辑程序设计杂志》,44,5-35,(2000)·Zbl 0957.68013
[66] 普尔,D.(2003年)。一阶概率推断。G.Gottlob和T.Walsh(编辑),第18届人工智能国际联席会议论文集(IJCAI-03)(第985-991页)。摩根考夫曼出版社。
[67] 普尔,D.(2008年)。独立选择逻辑及其超越。L.De Raedt、P.Frasconi、K.Kersting和S.Muggleton(编辑),概率归纳逻辑程序设计理论与应用,人工智能课堂讲稿(第4911卷,第222-243页)。斯普林格·Zbl 1137.68596
[68] 普尔,D.(2010年)。概率编程语言:独立选择和确定性系统。R.Dechter、H.Geffner和J.Halpern(编辑),启发式、概率与因果关系:向朱迪亚珍珠致敬(第253-269页)。纽约:大学出版物·Zbl 1216.68070
〔69〕 Poon,H.和Domingos,P.(2006年)。可靠和有效的推理与概率和确定性的依赖。在Y.Gil和R.J.Mooney(编辑)中,第二十一届全国人工智能大会论文集(AAAI-06)(第458-463页)。AAI出版社。
[70] 伦肯,J;布罗克,G;Nijssen,S,K-最优:一种新的近似推理算法,机器学习,89215-231,(2012)·Zbl 1260.68067
[71] Renkens,J.,Kimmig,A.,Van den Broeck,G.和De Raedt,L.(2014年)。概率逻辑中基于解释的近似加权模型计数。C.E.Brodley和P.Stone(编辑),第28届AAAI人工智能会议论文集(AAAI-14)(第2490-2496页)。AAI出版社。
[72] 理查森,M;多明戈,P,马尔可夫逻辑网络,机器学习,62107-136,(2006)
[73] Riguzzi,F.独立选择逻辑的扩展语义和推理,IGPL逻辑杂志,17589-629,(2009)·Zbl 1189.03039
[74] 里古兹,F.(2013a)。C打印手册. https://sites.google.com/a/unife.it/ml/cplint/cplint-manual
[75] Riguzzi,F,MCINTYRE:概率逻辑编程的蒙特卡罗系统,Fundamenta Informaticae,124521-541,(2013)
[76] Riguzzi,F.加速概率逻辑程序的推理,计算机杂志,57347-363,(2014)
[77] 里古兹,F;斯威夫特.T.皮塔系统:不确定条件下推理的表和答案包容,逻辑程序设计理论与实践(TPLP),11433-449,(2011)·Zbl 1218.68169
[78] Roy,D.,Mansingka,V.,Winn,J.,McAllester,D.,Tenenbaum,D.(编辑)(2008年)。概率规划,NIPS车间。
[79] Russell,S.J.和Norvig(2003年)。人工智能:一种现代方法(第二版)。上鞍河:普伦蒂斯大厅·Zbl 0835.68093
[80] Santos Costa,V.和Paes,A.(2009年)。棱镜与CLP(BN)的关系。在P.Domingos和K.Kersting(编辑)中,统计关系学习国际研讨会论文集(SRL-2009).
[81] Santos Costa,V.,Page,D.,Qazi,M.和Cussens,J.(2003年)。CLP(BN):概率知识的约束逻辑程序设计。在C.Meek和U.Kjærulff(编辑)中,第19届人工智能不确定性会议论文集(UAI-03)(第517-524页)。摩根考夫曼出版社·Zbl 1170.68003
[82] Santos Costa,V.,Page,D.和Cussens,J.(2008年)。CLP(BN):概率知识的约束逻辑程序设计。L.De Raedt、P.Frasconi、K.Kersting和S.Muggleton(编辑),概率归纳逻辑程序设计理论与应用,人工智能课堂讲稿(第4911卷,第156-188页)。斯普林格·Zbl 1137.68342
[83] 佐藤,T.(1995年)。一种具有分布语义的逻辑程序的统计学习方法。用L.Sterling(编辑),第十二届国际逻辑程序设计会议论文集(ICLP-95)(第715-729页)。麻省理工学院出版社·Zbl 1189.03039
[84] Sato,T.(2011年)。基于逻辑的概率建模中贝叶斯推理的一般MCMC方法。在T.沃尔什(编辑)中,第22届国际人工智能联席会议记录(IJCAI-11)(第1472-1477页)。AAI出版社。
[85] Sato,T.和Kameya,Y.(1997年)。PRISM:一种符号统计建模语言。在M.E.Pollack(编辑)中,第十五届人工智能国际联席会议论文集(IJCAI-97)(第1330-1339页)。摩根考夫曼出版社。
[86] 佐藤,T;Kameya,Y,符号统计建模逻辑程序的参数学习,人工智能研究杂志(JAIR),15391-454,(2001)·Zbl 0994.68025
[87] Sato,T.,Kameya,Y.和Zhou,N.F.(2005年)。棱镜失效的生成建模。在L.P.Kaelbling和A.Saffiotti(编辑)中,第19届人工智能国际联席会议论文集(IJCAI-05)(第847-852页)。专业图书中心·Zbl 1179.68025
[88] 佐藤,T;卡梅亚,Y;Kurihara,K.,《PRISM中通过命题概率计算的变分贝叶斯》,《数学与人工智能年鉴》,54135-158,(2008)·Zbl 1178.68591号
[89] 斯卡拉提迪斯,A;阿提基斯,A;菲利浦,J;Paliouras,G.概率逻辑程序设计事件演算,逻辑程序设计理论与实践(TPLP),15213-245,(2015)·兹布1379.68305
[90] 斯奈尔斯,J;米尔特,W;韦内肯斯,J;卡梅亚,Y;Sato,T,CHR(PRISM)-基于概率逻辑学习的逻辑程序设计理论与实践(TPLP),10433-447,(2010)·Zbl 1209.68100
[91] Stuhlmueller,A.,Tenenbaum,J.B.和Goodman,N.D.(2010年)。学习结构化生成概念。在S.Ohlsson和R.Catrambone(编辑)中,认知科学学会第32届年会论文集(第2296-2301页)。认知科学学会。
[92] Suciu,D.,Olteanu,D.,Ré,C.和Koch,C.(2011年)。概率数据库数据管理综合讲座(第16卷)。伯灵顿:摩根和克莱浦出版社·Zbl 0938.68841
[93] 桑,我;兰德维尔,N;《随机关系过程:有效推理与应用》,机器学习,82239-272,(2011)·Zbl 1237.68169
[94] 《枚举与可靠性问题的复杂性》,暹罗计算杂志,8410-421,(1979)·Zbl 0419.68082
[95] Van den Broeck,G.,Thon,I.,Van Otterlo,M.和De Raedt,L.(2010年)。DTProbLog:一个决策论概率Prolog。在M.Fox和D.Poole(编辑)中,第24届AAAI人工智能会议论文集(AAAI-10)(第1217-1222页)。AAI出版社。
[96] Van den Broeck,G.,Taghipour,N.,Meert,W.,Davis,J.和De Raedt,L.(2011年)。通过一阶知识汇编提升概率推理。在T.沃尔什(编辑)中,第22届国际人工智能联席会议记录(IJCAI-11)(第2178-2185页)。AAI出版社。
[97] Van den Broeck,G.,Meert,W.和Darwiche,A.(2014年)。加权一阶模型计数的简化。C.Baral,G.D.Giacomo和T.Eiter(编辑),第十四届知识表示与推理原则国际会议论文集(KR-14)(第111-120页)。AAI出版社。
[98] Vennekens,J.(2007年)。知识表示中构造过程的代数与逻辑研究博士论文,K.U.鲁汶。
[99] Vennekens,J.,Verbaeten,S.和Bruynooghe,M.(2004年)。带注释析取的逻辑程序。作者:B.Demoen和V.Lifschitz(编辑),第20届国际逻辑程序设计会议论文集(ICLP-04),计算机科学课堂讲稿(第3132卷,第431-445页)。斯普林格·Zbl 1104.68391
[100] Vennekens,J.,Denecker,M.和Bruynooghe,M.(2006年)。表示概率过程的因果信息。M.Fisher,W.van der Hoek,B.Konev和A.Lisitsa(编辑),第十届欧洲人工智能逻辑会议论文集(JELIA-06),计算机科学课堂讲稿(第4160卷,第452-464页)。斯普林格·Zbl 1152.68621
[101] 韦内肯斯,J;Denecker,M;陈永平,M,CP逻辑:因果概率事件的语言及其与逻辑程序设计的关系,逻辑程序设计理论与实践,9245-308,(2009)·Zbl 1179.68025
[102] Wang,W.Y.,Mazaitis,K.和Cohen,W.W.(2013年)。个性化PageRank编程:一种局部可接地的一阶概率逻辑。在Q.He,A.Iyengar,W.Nejdl,J.Pei&R.Rastogi(编辑),第22届ACM国际信息和知识管理会议记录(CIKM-13)(第2129-2138页)。ACM公司。
[103] 沃伦,博士,逻辑程序备忘录,ACM通信(CACM),3593-111,(1992)
[104] 威尔曼,议员;布里斯,JS;《从知识库到决策模型》,《知识工程评论》,7,35-53,(1992)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。