摘要
巴克斯,F.1993。 使用一阶概率逻辑构建贝叶斯网络。 在 第六届人工智能不确定性会议记录 , 219-226. Morgan Kaufmann,美国旧金山。 谷歌学者 Baral,C.、Gelfond,M.和Rushton,N.2004年。 带有答案集的概率推理。 在 第七届逻辑编程与非单调推理国际会议论文集(LPNMR-7) 人工智能(LNAI)课堂讲稿,第2923卷。 美国纽约州斯普林格-Verlag,21-33。 谷歌学者 Baral,C.、Gelfond,M.和Rushton,N.出版。 带有答案集的概率推理。 逻辑程序设计理论与实践 9 (1). 剑桥大学出版社。 谷歌学者 Baral,C.和Hunsaker,M.,2007年。 使用概率逻辑编程语言P-log进行因果和反事实推理以及非朴素条件处理。 在 IJCAI会议记录 印度海得拉巴。 谷歌学者 Baral,C.、Tran,N.和Tuan,L.,2002年。 推理概率环境中的行为。 在 AAAI公司 加拿大阿尔伯塔省埃德蒙顿。 谷歌学者 Blockeel,H.和Meert,W.,2007年。 通过将非递归LPAD转换为贝叶斯网络来学习它们。 在 感应逻辑编程,ILP’06 ,修订论文集。 计算机科学讲义,第4455卷,第94-108页。 纽约施普林格-弗拉格。 谷歌学者 Breese,J.1992年。 信念和决策网络的构建。 计算智能8 (4), 624-647. 谷歌学者 交叉引用 Comley,J.W.和Dowe,D.L.2003年。 通用贝叶斯网络和非对称语言。 在 第二届夏威夷统计及相关领域国际会议记录 美国夏威夷檀香山。 谷歌学者 库森,J.2000。 随机逻辑程序:抽样、推理和应用。 在 第十六届人工智能不确定性年会论文集 .摩根·考夫曼,美国旧金山,115-122。 谷歌学者 De Finetti,B.1937年。 语法:ses lois logiques,ses sources subjectives。 亨利·彭加雷学院年鉴7 , 1-68. 谷歌学者 Dekhtyar,A.和Subrahmanian,V.S.2000。 混合概率计划。 逻辑编程杂志43 (3) ,187-250年。 谷歌学者 交叉引用 Denecker,M.1998年。 有根据的语义是归纳定义的原则。 在 人工智能中的逻辑(JELIA’98) 、J.Dix、L.Fariñas del Cerro和U.Furbach,《人工智能讲义》编辑,第1489卷,纽约斯普林格出版社,美国,第1-16页。 谷歌学者 Denecker,M.和Ternovska,E.,2008年。 非单调归纳定义的逻辑。 计算逻辑事务(TOCL) ,美国纽约州9(2),1-52。 谷歌学者 数字图书馆 Denecker,M.和Vennekens,J.,2007年。 丰富的语义和非单调归纳定义的代数理论。 在 逻辑程序设计和非单调推理,第九届国际会议,LPNMR 2007,会议记录 《人工智能课堂讲稿》,第4483卷,施普林格出版社,84-96。 谷歌学者 De Raedt,L.、Kimmig,A.和Toivonen,H.,2007年。 ProbLog:一种概率Prolog及其在链路发现中的应用。 在 2007年第20届国际人工智能联合会议记录 , 2462-2467. 谷歌学者 Fierens,D.、Blockeel,H.、Bruynooghe,M.和Ramon,J.,2005年。 逻辑贝叶斯网络及其与其他概率逻辑模型的关系。 在 2005年第15届国际归纳逻辑程序设计会议记录 《计算机科学讲义》,第3625卷,美国纽约州斯普林格市,121-135。 谷歌学者 Finzi,A.和Lukasiewicz,T.2003。 独立选择逻辑中基于结构的原因和解释。 在 2003年UAI第19届人工智能不确定性会议记录 墨西哥阿卡波罗。 谷歌学者 Gelfond,M.和Lifschitz,V.1991年。 逻辑程序和析取数据库中的经典否定。 新一代计算9 , 365-387. 谷歌学者 数字图书馆 Gelfond,M.和Lifschitz,V.,1993年。 用逻辑程序表示动作和变化。 逻辑编程杂志17 (2-4), 301-322. 谷歌学者 交叉引用 Gelfond,M.和Lifschitz,V.1998年。 动作语言。 计算机与信息科学中的Linköping电子文章3 , 16. 谷歌学者 Getoor,L.、Friedman,N.、Koller,D.和Pfeffer,A.,2001年。 学习概率关系模型。 在 关系数据挖掘 ,S.Dzeroski和N.Lavrac,美国纽约州斯普林格-Verlag编辑,7-34。 谷歌学者 Ghahramani,Z.1998年。 学习动态贝叶斯网络。 在 序列和数据结构的自适应处理 .人工智能课堂讲稿。 美国纽约州斯普林格·弗拉格,168-197年。 谷歌学者 数字图书馆 Giunchiglia,E.和Lifschitz,V.1998年。 基于因果解释的行动语言:初步报告。 在 AAAI 98会议记录 美国威斯康星州麦迪逊。 谷歌学者 Halpern,J.和Pearl,J.2001a。 原因和解释:结构模型方法——第一部分:原因。 在 2001年UAI第17届人工智能不确定性会议记录 美国威斯康星州麦迪逊。 谷歌学者 Halpern,J.和Pearl,J.2001b。 原因和解释:结构模型方法——第二部分:解释。 在 2001年UAI第17届人工智能不确定性会议记录 美国威斯康星州麦迪逊。 谷歌学者 Jaeger,M.1997年。 关系贝叶斯网络。 在 第十三届人工智能不确定性会议记录(UAI-97) 美国罗德岛州普罗维登斯。 谷歌学者 Kakas,A.C.、Kowalski,R.和Toni,F.1992年。 诱拐逻辑编程。 逻辑与计算杂志2 (6), 719-770. 谷歌学者 交叉引用 Kersting,K.和De Raedt,L.,2000年。 贝叶斯逻辑程序。 在 第十届归纳逻辑程序设计国际会议工作进展轨道会议记录 J.Cussens和A.Frisch,第138-155版。 谷歌学者 Kersting,K.和De Raedt,L.,2001年。 贝叶斯逻辑程序。 技术代表。 151,德国弗莱堡大学计算机科学研究所。 谷歌学者 Kersting,K.和De Raedt,L.,2007年。 贝叶斯逻辑编程:理论和工具。 在 统计关系学习导论 L.Getoor和B.Taskar,麻省理工学院出版社编辑。 291-322. 谷歌学者 Lakshmanan,L.V.S.和Sadri,F.1994年。 概率演绎数据库。 在 逻辑程序设计国际研讨会论文集 ,M.Bruynooghe,Ed.麻省理工学院出版社,美国马萨诸塞州剑桥,254-268。 谷歌学者 Lifschitz,V.和Turner,H.1999年。 用逻辑程序表示过渡系统。 在 低密度核磁共振 美国德克萨斯州埃尔帕索。 谷歌学者 Lukasiewicz,T.2001年。 多值析取逻辑程序的不动点特征。 在 第六届逻辑程序设计与非单调推理国际会议论文集(LPNMR’01) 《人工智能课堂讲稿》,第2173卷。 美国纽约州斯普林格-Verlag,336-350。 谷歌学者 Martin-Löf,P.1982。 建构数学和计算机编程。 在 第六届国际逻辑、方法论和科学哲学大会会议记录 . 153- 175. 谷歌学者 麦凯恩,N.1997。 关于行为的常识推理中的因果关系。 博士论文 德克萨斯大学奥斯汀分校。 谷歌学者 McCain,N.和Turner,H.1996。 行动和变化的因果理论。 在 第十三届全国人工智能大会暨第八届人工智能创新应用大会论文集(第十三届AAAI/8届IAAI) AAAI出版社,美国加利福尼亚州门罗公园,460-465。 谷歌学者 Meert,W.、Struyf,J.和Blockel,H.2007年。 通过贝叶斯网络技术学习基础CP逻辑理论。 在 第六届多相关数据挖掘国际研讨会论文集 . 93-104. 谷歌学者 麻格尔顿,S.2000。 学习随机逻辑程序。 人工智能中的电子交易5 (041), 141-153. 谷歌学者 Ng,R.T.和Subrahmanian,V.S.1992。 概率逻辑编程。 信息与计算101 (2) ,150-201。 谷歌学者 数字图书馆 Ngo,L.和Haddawy,P.1997。 回答上下文敏感概率知识库的查询。 理论计算机科学171 (1-2), 147-177. 谷歌学者 数字图书馆 珀尔,J.1988。 智能系统中的概率推理:可信推理网络 .摩根·考夫曼,美国旧金山。 谷歌学者 Pearl,J.2000。 因果关系:模型、推理和推理 剑桥大学出版社,英国剑桥。 谷歌学者 数字图书馆 Pinto,J.和Reiter,R.,1993年。 逻辑编程中的时态推理:情境演算的一个例子。 在 逻辑程序设计国际会议记录 . 203-221. 麻省理工学院出版社,美国马萨诸塞州剑桥。 谷歌学者 普尔,D.1993。 概率Horn诱拐和贝叶斯网络。 人工智能64 (1), 81-129. 谷歌学者 数字图书馆 普尔,D.1997。 独立选择逻辑用于在不确定性下建模多个代理。 人工智能94 (1-2), 7-56. 谷歌学者 数字图书馆 Przymusinski,T.C.1991年。 析取程序的稳定语义。 新一代计算3/4 , 401-424. 谷歌学者 交叉引用 Riguzzi,F.2004年。 学习带注释析取的逻辑程序。 在 第十四届国际归纳逻辑程序设计会议(ILP2004) 2004年9月6日至8日,波尔图,A.Srinivasan和R.King,Eds.Springer-Verlag,德国海德堡,270-287。 谷歌学者 交叉引用 Riguzzi,F.2007年。 LPAD和CP逻辑的自顶向下解释器。 在 第十四届RCRA组合爆炸问题求解算法实验评估 意大利罗马。 谷歌学者 Sakama,C.和Inoue,K.,1994年。 析取逻辑程序和演绎数据库语义的另一种方法。 自动推理杂志13 (1) 第145-172页。 谷歌学者 交叉引用 Santos Costa,V.、Page,D.、Qazi,M.和Cussens,J.,2003年。 CLP(BN):概率知识的约束逻辑编程。 在 第十九届人工智能不确定性年会论文集(UAI-2003) .Morgan Kaufmann,美国旧金山,邮编:517-524。 谷歌学者 Sato,T.和Kameya,Y.1997年。 棱镜:一种符号统计建模语言。 在 1997年国际人工智能联合会议记录 , 1330- 1335. 摩根考夫曼,美国旧金山。 谷歌学者 Shafer,G.1996年。 因果猜想的艺术 麻省理工学院出版社,美国旧金山。 谷歌学者 Tran,N.和Baral,C.2004年。 用概率动作语言编码概率因果模型。 在 AAAI公司 美国加利福尼亚州圣何塞。 谷歌学者 Van Belleghem,K.,Denecker,M.和De Schreye,D.,1997年。 论情境演算与事件演算的关系。 逻辑程序设计杂志 (关于行动和变更推理的专刊), 31 (1-3), 3-37. 谷歌学者 Van Gelder,A.、Ross,K.和Schlipf,J.,1991年。 通用逻辑程序的基础良好的语义。 ACM杂志38 (3), 620-650. 谷歌学者 数字图书馆 韦恩,J.1866。 机会的逻辑:概率论的基础和范畴 英国伦敦麦克米伦。 谷歌学者 Vennekens,J.、Denecker,M.和Bruynooghe,M.,2006年。 表示概率过程的因果信息。 在 人工智能中的逻辑,第十届欧洲会议,JELIA’06,会议记录 《计算机科学讲义》,第4160卷。 美国纽约州施普林格市,452-464。 谷歌学者 Vennekens,J.、Verbaeten,S.和Bruynooghe,M.,2004年。 带注释析取的逻辑程序。 在 逻辑编程,第20届国际会议,ICLP’04,会议记录 《计算机科学讲义》,第3132卷。 美国纽约州施普林格市,431-445。 谷歌学者
建议
带注释析取逻辑程序推理的SLGAD解析 RCRA 2008组合爆炸问题求解算法的实验评估 带注释析取(LPAD)的逻辑程序允许在逻辑编程中表达概率信息。 LPAD的语义是根据通过选择一个析取程序获得的正规逻辑程序的良好模型给出的。。。