编辑配置文件（在新选项卡中打开） 阿德南·达尔维切 合著者距离 作者ID： 达尔维切·阿德南 发布日期： 阿德南·达尔维切;A.Darwiche。 主页： http://web.cs.ucla.edu/~达尔维什/ 外部链接： MGP公司 已编制索引的文档： 46出版物自1996年以来，包括2本书 合著者： 23位合著者具有32联合出版物 156位合作作者 全部的 前5名合著者 12 单作者的 8 Choi，Arthur崔 4 Pipatsrisawat，结 三 陈，黑 三 马克·查维拉 三 皮埃尔·侯爵 三 詹姆斯·帕克。 2 奥古斯特·赫斯 2 黄金波 2 乌穆特·奥斯托克 1 塞兰、伊斯梅尔·伊尔坎 1 陈宇杰 1 陈素明 1 黄，塞西尔 1 曼弗雷德·贾格尔 1 多阿·吉泽姆·基萨 1 阿科普·帕利安 1 朱迪亚·珀尔 1 Shih，Andy Y。 1 范登·布勒克，盖伊 1 王若成 1 薛、叶香 1 姚、天生 1 尤利亚·扎比亚卡 全部的 前5名系列 10 人工智能 9 人工智能研究杂志 7 国际近似推理杂志 2 美国医学会杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 可满足性、布尔建模与计算杂志 领域 45 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 5 统计学（62-XX） 2 阶、格、有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用849次次585文件 引用人▼ 年份▼ 论反复信念修正的逻辑。 Zbl 1018.03012号 阿德南·达尔维切;朱迪亚·珀尔 156 1997 知识汇编图。 Zbl 1045.68131号 A.Darwiche。;马奎斯，P。 122 2002 贝叶斯网络建模与推理。 Zbl 1231.68003号 阿德南·达尔维切 88 2009 贝叶斯网络中推理的差分方法。 Zbl 1325.68226号 阿德南·达尔维切 53 2003 可分解否定范式。 Zbl 1127.03321号 阿德南·达尔维切 45 2001 关于子句学习SAT解析器作为解析引擎的威力。 Zbl 1216.68235号 Pipatsrisawat，结;阿德南·达尔维切 42 2011 通过加权模型计数进行概率推断。 Zbl 1182.68297号 马克·查维拉;阿德南·达尔维切 40 2008 递归条件反射。 Zbl 0969.68150号 A.Darwiche。 32 2001 MAP解释的复杂性结果和近似策略。 Zbl 1080.68689号 詹姆斯·帕克。;阿德南·达尔维切 29 2004 理论模型的易处理计数及其在真理维护和信念修正中的应用。 Zbl 1033.03505号 阿德南·达尔维切 23 2001 信念网络中的推理：程序指南。 Zbl 0941.68767号 黄，塞西尔;阿德南·达尔维切 22 1996 边界概率信度变化的距离度量。 Zbl 1065.68091号 陈、黑;阿德南·达尔维切 22 2005 编译关系贝叶斯网络进行精确推理。 Zbl 1096.68747号 马克·查维拉;阿德南·达尔维切;曼弗雷德·杰格 21 2006 关于使用不确定证据修正概率信念。 Zbl 1132.68767号 陈、黑;阿德南·达尔维切 16 2005 数字什么时候真正重要？ Zbl 1056.68143号 Chan，H。;A.Darwiche。 14 2002 关于决策背后的原因。 Zbl 1464.68307号 阿德南·达尔维切;奥古斯特·赫斯 14 2020 条件独立性的逻辑概念：属性和应用程序。 兹比尔0903.68055 阿德南·达尔维切 13 1997 使用句子决策图编译概率图形模型。 Zbl 1390.68640号 Choi，Arthur崔;多加·基萨;阿德南·达尔维切 10 2013 使用结构化系统描述进行基于模型的诊断。 Zbl 0891.68098号 A.Darwiche。 9 1998 搜索的语言。 Zbl 1183.68232号 黄，J。;A.Darwiche。 8 2007 查询DAG：实现信念网络推理的实用范例。 Zbl 0894.68134号 A.Darwiche。;普洛万（G.Provan）。 8 1997 在缩小的搜索空间中解决加权Max-SAT问题：性能分析。 Zbl 1159.68567号 Pipatsrisawat，结;阿科普·帕利安;马克·查维拉;Choi，Arthur崔;阿德南·达尔维切 8 2008 编译命题加权基。 Zbl 1085.68166号 阿德南·达尔维切;皮埃尔·侯爵 6 2004 使用DPLL进行有效的OBDD施工。 Zbl 1122.68601号 黄金波;阿德南·达尔维切 5 2005 联合树算法的差异语义。 Zbl 1085.68685号 詹姆斯·帕克。;阿德南·达尔维切 5 2004 通过盎格鲁式学习验证二值化神经网络。 Zbl 1441.68214号 嘘，安迪;阿德南·达尔维切;Choi，Arthur崔 5 2019 开放世界概率数据库：语义、算法、复杂性。 Zbl 1519.68068号 塞兰、伊斯梅尔·伊尔坎;阿德南·达尔维切;盖伊，范登·布勒克 4 2021 使用递归分解来构造消去阶、jointrees和dtrees。 Zbl 1001.68570号 阿德南·达尔维切;马克·霍普金斯 4 2001 相同决策概率：基于阈值的决策的置信度。 Zbl 1272.68388号 Choi，Arthur崔;薛、叶香;阿德南·达尔维切 4 2012 构建结构化DNNF的自顶向下算法：理论和实践意义。 Zbl 1211.68439号 Pipatsrisawat，结;阿德南·达尔维切 4 2010 CV-width：一个新的CNF复杂度参数。 Zbl 1366.68099号 乌穆特·奥斯托克;阿德南·达尔维切 三 2014 动态贝叶斯网络中的恒定空间推理。 Zbl 0983.68201号 阿德南·达尔维切 三 2001 关于可分解性和相互作用函数。 Zbl 1211.68440号 Pipatsrisawat，结;阿德南·达尔维切 三 2010 贝叶斯网络建模与推理。重印2009年精装版。 Zbl 1310.68002号 阿德南·达尔维切 2 2014 布尔逻辑中的量化文字及其在可解释人工智能中的应用。 Zbl 1522.68526号 阿德南·达尔维切;皮埃尔·侯爵 2 2021 相同决策概率的算法和应用。 Zbl 1361.68254号 陈素明;Choi，Arthur崔;阿德南·达尔维切 1 2014 放松、补偿然后恢复：一种随时随地进行近似推理的理论。 Zbl 1306.68206号 阿德南·达尔维切 1 2010 贝叶斯网络和神经网络的相对表达性。 兹比尔1468.68097 Choi，Arthur崔;王若成;阿德南·达尔维切 1 2019 功能树宽度：存在功能依赖时的边界复杂性。 Zbl 1187.68267号 尤利亚·扎比亚卡;阿德南·达尔维切 1 2006 开放世界概率数据库：语义、算法、复杂性。 Zbl 1519.68068号 塞兰、伊斯梅尔·伊尔坎;阿德南·达尔维切;盖伊，范登·布勒克 4 2021 布尔逻辑中的量化文字及其在可解释人工智能中的应用。 Zbl 1522.68526号 阿德南·达尔维切;皮埃尔·侯爵 2 2021 关于决策背后的原因。 Zbl 1464.68307号 阿德南·达尔维切;奥古斯特·希尔斯 14 2020 通过盎格鲁式学习验证二值化神经网络。 Zbl 1441.68214号 嘘，安迪;阿德南·达尔维切;Choi，Arthur崔 5 2019 贝叶斯网络和神经网络的相对表达性。 Zbl 1468.68097号 Choi，Arthur崔;王若成;阿德南·达尔维切 1 2019 CV-width：一个新的CNF复杂度参数。 Zbl 1366.68099号 乌穆特·奥斯托克;阿德南·达尔维切 三 2014 贝叶斯网络建模与推理。2009年精装版再版。 Zbl 1310.68002号 阿德南·达尔维切 2 2014 相同决策概率的算法和应用。 Zbl 1361.68254号 陈素明;Choi，Arthur崔;阿德南·达尔维切 1 2014 使用句子决策图编译概率图形模型。 Zbl 1390.68640号 Choi，Arthur崔;多加·基萨;阿德南·达尔维切 10 2013 相同决策概率：基于阈值的决策的置信度。 Zbl 1272.68388号 Choi，Arthur崔;薛、叶香;阿德南·达尔维切 4 2012 关于子句学习SAT解析器作为解析引擎的威力。 Zbl 1216.68235号 Pipatsrisawat，结;阿德南·达尔维切 42 2011 构建结构化DNNF的自顶向下算法：理论和实践意义。 Zbl 1211.68439号 Pipatsrisawat，结;阿德南·达尔维切 4 2010 关于可分解性和相互作用函数。 Zbl 1211.68440号 Pipatsrisawat，结;阿德南·达尔维切 三 2010 放松、补偿然后恢复：一种随时随地进行近似推理的理论。 Zbl 1306.68206号 阿德南·达尔维切 1 2010 贝叶斯网络建模与推理。 Zbl 1231.68003号 阿德南·达尔维切 88 2009 通过加权模型计数进行概率推断。 Zbl 1182.68297号 马克·查维拉;阿德南·达尔维切 40 2008 在缩小的搜索空间中解决加权Max-SAT问题：性能分析。 Zbl 1159.68567号 Pipatsrisawat，结;阿科普·帕利安;马克·查维拉;Choi，Arthur崔;阿德南·达尔维切 8 2008 搜索的语言。 Zbl 1183.68232号 黄，J。;A.Darwiche。 8 2007 编译关系贝叶斯网络进行精确推理。 Zbl 1096.68747号 马克·查维拉;阿德南·达尔维切;曼弗雷德·杰格 21 2006 功能树宽度：存在功能依赖时的边界复杂性。 Zbl 1187.68267号 尤利亚·扎比亚卡;阿德南·达尔维切 1 2006 边界概率信度变化的距离度量。 Zbl 1065.68091号 陈、黑;阿德南·达尔维切 22 2005 关于使用不确定证据修正概率信念。 Zbl 1132.68767号 陈，黑;阿德南·达尔维切 16 2005 使用DPLL进行有效的OBDD施工。 Zbl 1122.68601号 黄金波;阿德南·达尔维切 5 2005 MAP解释的复杂性结果和近似策略。 Zbl 1080.68689号 詹姆斯·帕克。;阿德南·达尔维切 29 2004 编译命题加权基。 Zbl 1085.68166号 阿德南·达尔维切;皮埃尔·侯爵 6 2004 联合树算法的差异语义。 Zbl 1085.68685号 詹姆斯·帕克。;阿德南·达尔维切 5 2004 贝叶斯网络中推理的差分方法。 Zbl 1325.68226号 阿德南·达尔维切 53 2003 知识汇编图。 Zbl 1045.68131号 A.Darwiche。;马奎斯，P。 122 2002 什么时候数字才是真正重要的？ Zbl 1056.68143号 Chan，H。;A.Darwiche。 14 2002 可分解否定范式。 Zbl 1127.03321号 阿德南·达尔维切 45 2001 递归条件反射。 Zbl 0969.68150号 A.Darwiche。 32 2001 理论模型的易处理计数及其在真理维护和信念修正中的应用。 Zbl 1033.03505号 阿德南·达尔维切 23 2001 使用递归分解构造消除顺序、连接树和数据树。 Zbl 1001.68570号 阿德南·达尔维切;马克·霍普金斯 4 2001 动态贝叶斯网络中的常数空间推理。 Zbl 0983.68201号 阿德南·达尔维切 三 2001 使用结构化系统描述进行基于模型的诊断。 Zbl 0891.68098号 A.Darwiche。 9 1998 关于反复信念修正的逻辑。 Zbl 1018.03012号 阿德南·达尔维切;朱迪亚·珀尔 156 1997 条件独立性的逻辑概念：属性和应用程序。 Zbl 0903.68055号 阿德南·达尔维切 13 1997 查询DAG：实现信念网络推理的实用范例。 Zbl 0894.68134号 A.Darwiche。;普洛万（G.Provan）。 8 1997 信念网络中的推理：程序指南。 Zbl 0941.68767号 黄，塞西尔;阿德南·达尔维切 22 1996 所有引用出版物 前5名被引用出版物 全部的 前5名897位作者引用 20 塞勒姆·本费哈特 17 阿德南·达尔维切 13 若昂·席尔瓦侯爵。 11 加布里埃尔·克恩·伊斯伯纳 11 皮埃尔·侯爵 11 毛阿，Denis Deratani 10 法比奥·加利亚迪·科兹曼 10 范登·布勒克，盖伊 8 克里斯托夫·贝尔 8 理查德·F·布斯。 8 丽娜·德希特 8 马努埃勒·莱昂内利 8 法布里西奥·里古齐 7 吕克·德·雷德 7 约翰·奎斯特霍特 7 Peter J.F.卢卡斯。 7 斯特凡·门格尔 7 托马斯·安德烈亚斯·梅耶 7 帕夫洛斯·佩帕斯 7 拉蒙皮诺·佩雷斯 7 琳达·C·范德加格。 6 埃琳娜·贝洛迪 6 本·阿莫尔，纳赫拉 6 奥拉夫·拜尔斯多夫 6 科里·J·布茨。 6 凯西奥·波尔波·德坎波斯 6 詹姆斯·德尔格兰德。 6 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 6 塞巴斯蒂安·科尼埃奇尼 6 西尔贾·雷诺瓦伊 6 詹姆斯·夸特梅因·史密斯 5 阿拉瓦尼斯·提奥凡尼斯一世。 5 塞兰、伊斯梅尔·伊尔坎 5 杰克·钱德勒 5 克里斯蒂安·戈根 5 杰罗姆·朗 5 汉斯·罗特 5 吉列尔莫·里卡多·西马里 5 里卡多·泽斯 4 安托万·阿马里里 4 劳亚·阿亚奇 4 比尔扎，康查 4 伊曼纽尔·博尔戈诺沃 4 Choi，Arthur崔 4 萨米尔·乔普拉 4 马塞洛·阿莱杭德罗·法拉帕 4 爱德华多·利奥波多·费尔梅 4 克里斯托夫·冈萨雷斯 4 斯文·奥夫·汉森 4 米科拉什·亚诺塔 4 芬恩·弗纳·詹森 4 安吉丽卡·基米格 4 彼得·库切拉 4 佩德罗·拉拉纳加 4 马西莫·劳里亚 4 李伟 4 美国马塔·迪亚斯 4 奥勒·蒙绍尔。 4 Jhonatan S.奥利维拉。 4 莫里斯·帕格努科 4 伊娃·里科马尼奥 4 弗里德里希·斯利沃夫斯基 4 卡里姆·塔比亚 4 玛丽·安妮·威廉姆斯 三 奥费尔·阿列利 三 亚历山大·巴尔塔格 三 瓦夏克·贝勒 三 本杰明·伯姆 三 贝特·博利格 三 博南诺，贾科莫 三 西蒙·波娃 三 佛罗伦萨卡佩利 三 乔佩克，Ondřej 三 乔治·科拉尼 三 安德烈·多斯·桑托斯。 三 Zied Elouedi 三 加贝，多夫·M。 三 亚历杭德罗·哈维尔·加西亚 三 Aditya K.Ghose。 三 罗尔夫·哈尼 三 乔纳斯·菲利普·哈尔迪曼 三 阿扬·霍默索姆 三 安东尼·亨特 三 奥利弗·库尔曼 三 保罗·利伯拉托雷 三 刘伟如 三 埃米利亚诺·洛里尼 三 栾尚民 三 林奇，因斯 三 拉杜·马里内斯库 三 温妮斯·梅特 三 哈立德·梅洛利 三 劳伦特·佩鲁塞尔 三 乔迪，飞机 三 丹·罗斯 三 彼得·萨维克 三 桑吉特·阿伦库马尔·塞希亚 三 索尼娅·斯梅茨。 三 沃尔夫冈·斯波恩 三 丹·米尔恰·苏秋 …还有797位作者 全部的 前5名94篇连载文章中引用 91 国际近似推理杂志 84 人工智能 19 哲学逻辑杂志 19 数学与人工智能年鉴 15 人工智能研究杂志 14 机器学习 12 应用非经典逻辑杂志 11 自动化推理杂志 9 逻辑程序设计理论与实践 7 合成 7 欧洲运筹学杂志 7 约束条件 7 计算系统理论 6 国际不确定性、模糊性和基于知识的系统杂志 6 应用逻辑杂志 5 逻辑研究 5 理论计算机科学 5 逻辑、语言与信息杂志 5 埃尔肯特尼斯 4 离散应用数学 4 信息科学 4 计算机科学与技术杂志 三 模糊集与系统 三 SIAM计算机杂志 三 运筹学年鉴 三 系统设计中的形式化方法 三 可满足性、布尔建模与计算杂志 三 计算机科学中的逻辑方法 三 科学中国。信息科学 三 程序设计中的逻辑和代数方法杂志 2 信息处理信件 2 计算机与系统科学杂志 2 符号逻辑杂志 2 凯贝内提卡 2 算法 2 信息与计算 2 国际智能系统杂志 2 随机结构与算法 2 模式识别 2 伯努利 2 工程中的数学问题 2 应用统计学杂志 2 ACM计算逻辑汇刊 2 计算智能 2 ACM实验算法杂志 2 优化信函 2 符号逻辑述评 2 统计与计算 2 计算机科学前沿 2 希腊数学学会公报 1 信息学报 1 计算机与数学及其应用 1 心理测量学 1 斯堪的纳维亚统计杂志 1 ACM数据库系统事务 1 统计年鉴 1 美国统计协会杂志 1 数学心理学杂志 1 多元分析杂志 1 模拟中的数学和计算机 1 圣母院形式逻辑杂志 1 运筹学 1 数学社会科学 1 组合数学 1 纯逻辑与应用逻辑年鉴 1 经济动力学与控制杂志 1 SIAM离散数学杂志 1 人工智能通信 1 统计传播。理论与方法 1 计算统计与数据分析 1 测试 1 国际计算机视觉杂志 1 组合数学电子杂志 1 信息计算杂志 1 非线性动力学 1 美国医学会杂志 1 机器学习研究杂志（JMLR） 1 OR光谱 1 复杂系统研究进展 1 4个或 1 离散优化 1 中国科学。F系列 1 医学中的计算和数学方法 1 SIAM成像科学杂志 1 数学地球科学 1 SIAM金融数学杂志 1 算法 1 游戏 1 欧洲科学哲学杂志 1 决策分析 1 SIAM/ASA不确定性量化杂志 1 开放数学 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 代数统计学 全部的 前5名21个领域引用 471 计算机科学（68至XX） 165 数学逻辑和基础（03-XX） 84 统计学（62-XX） 36 运筹学、数学规划（90-XX） 19 组合数学（05-XX） 19 博弈论、经济学、金融和其他社会和行为科学（91-XX） 16 概率论与随机过程（60-XX） 9 信息与通信理论、电路（94-XX） 7 阶、格、有序代数结构（06-XX） 4 数值分析（65-XX） 4 生物学和其他自然科学（92-XX） 4 系统论；控制（93至XX） 三 量子理论（81-XX） 三 地球物理学（86-XX） 2 一般代数系统（08-XX） 2 统计力学，物质结构（82-XX） 1 历史和传记（01-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 变分法与最优控制；最优化（49至XX） 1 天文学和天体物理学（85-XX） 按年份列出的引文