人工智能 简短标题： Artif公司。智力。 出版商： 阿姆斯特丹爱思唯尔 国际标准编号： 0004-3702 在线： http://www.sciencedirect.com/science/journal/00043702/ 评论： 索引封面到封面 已编制索引的文档： 2429出版物（自1970年起） 索引的引用： 2315出版物参考文献100921。 全部的 前5名最新问题 315(2023) 314(2023) 313(2022) 312(2022) 311(2022) 310(2022) 309(2022) 308(2022) 307(2022) 306(2022) 305(2022) 304(2022) 303(2022) 302(2022) 301(2021) 300(2021) 299(2021) 298(2021) 297(2021) 296(2021) 295(2021) 294(2021) 293(2021) 292(2021) 291(2021) 290(2021) 289(2020) 288(2020) 287(2020) 286(2020) 285(2020) 284(2020) 283(2020) 282(2020) 281(2020) 280(2020) 279(2020) 278(2020) 277(2019) 276(2019) 275(2019) 274(2019) 273(2019) 272(2019) 271(2019) 270(2019) 269(2019) 268(2019) 267(2019) 266(2019) 265(2018) 264(2018) 263(2018) 262(2018) 261(2018) 260(2018) 259(2018) 258(2018) 257(2018) 256(2018) 255(2018) 254(2018) 253(2017) 252(2017) 251(2017) 250(2017) 249(2017) 248(2017) 247(2017) 246(2017) 245(2017) 244(2017) 243(2017) 242(2017) 241(2016) 240(2016) 239(2016) 238(2016) 237(2016) 236(2016) 235(2016) 234(2016) 233(2016) 232(2016) 231(2016) 230(2016) 229(2015) 228(2015) 227(2015) 226(2015) 225(2015) 224(2015) 223(2015) 221(2015) 220(2015) 219(2015) 218(2015) 217(2014) 216(2014) 215(2014) …还有326个卷 全部的 前5名作者 34 萨里特·克劳斯 29 托马斯·艾特 22 丽娜·德希特 20 尼古拉斯·R·詹宁斯。 20 朱迪亚·珀尔 20 迈克尔·J·伍尔德里奇。 18 Joseph Yehuda Halpern 18 Hector J.列夫斯克。 17 保罗·E·邓恩。 17 托比·沃尔什 16 马丁·库珀。 16 林方珍 16 莫舍·坦尼霍尔茨 15 彼得·乔森（Peter A.Jonsson）。 15 苏巴拉奥·坎巴帕蒂 15 斯特凡·沃尔特兰 14 Craig Boutiler公司 14 周志华 13 理查德·科尔夫（Richard E.Korf）。 13 弗拉基米尔·利夫希茨 12 乔治·戈特洛布 12 杰罗姆·朗 12 托马斯·卢卡西维奇 12 约夫·肖姆 12 张伟雄 11 克里斯蒂安·贝西尔 11 吕克·德·雷德 11 詹姆斯·德尔格兰德。 11 马西米利亚诺·贾科明 11 拉塞尔·格雷纳 11 皮埃尔·侯爵 11 杰弗里·罗森谢因（Jeffrey S.Rosenschein）。 10 彼得罗·巴罗尼 10 罗恩·布拉夫曼（Ronen I。Brafman）。 10 阿德南·达尔维切 10 沃尔夫冈·德沃亚克 10 阿里尔·费尔纳 10 亨利·普拉德。 10 弗朗西丝卡·托尼 10 范德霍克，威比 10 杨强 9 雷切尔·本·埃利亚胡·佐哈里 9 Trevor J.M.Bench-Capon。 9 查克拉巴蒂，帕塔·普拉蒂姆 9 伊迪丝·埃尔金 9 尼古拉·加蒂 9 伊恩·菲利普·根特 9 阿方索·埃米利奥·杰雷维尼 9 吉安路易吉·格雷科 9 尼古拉·利昂 9 李三江 9 伯恩哈德·内贝尔 9 托马斯·桑德霍姆。 9 托尔斯滕·绍布（Torsten H.Schaub）。 9 巴特·塞尔曼 9 罗尼·斯特恩 9 迈克尔·泰尔舍尔 9 Makoto Yokoo公司 8 奇塔·R·巴拉尔。 8 格哈德·布鲁卡 8 马可·卡多利 8 蔡少伟 8 Ioannis的Caragiannis 8 欧内斯特·戴维斯 8 朱塞佩·德贾科莫 8 罗伯特·霍尔特（Robert C.Holte）。 8 伊恩·霍洛克斯 8 安东尼·亨特 8 斯文·柯尼格 8 格哈德·莱克梅耶 8 保罗·利伯拉托雷 8 希拉·麦克拉伊思。 8 Nau，Dana S。 8 Peter W.南丁格尔。 8 吉列尔莫·里卡多·西马里 8 大卫·E·史密斯。 8 苏布拉曼尼亚，V.S。 8 马蒂亚斯·蒂姆 8 特鲁什琴斯基，米洛斯奥 8 Manuela M.Veloso。 8 亚历山大·沃杜利斯（Alexandros A.Voudouris）。 8 弗兰克·沃尔特 8 马可·扎法隆 8 迈克尔·维克托洛维奇（Michael Viktorovich） 7 法希姆·巴克斯 7 皮耶罗·安德里亚·博纳蒂 7 伊万·布拉特科 7 南卡罗来纳州德萨卡。 7 卡梅尔·多姆什拉克 7 迪迪埃·杜布瓦 7 霍尔格·H·胡斯。 7 彼得·杰文斯（Peter G.Jeavons）。 7 卡斯滕·卢茨 7 伊恩·米格尔 7 路易吉·帕洛波利 7 唐纳德·佩利斯（Donald R.Perlis）。 7 Phan Minh Dung公司 7 Ariel D.普罗卡西亚。 7 史蒂文·肖卡特 7 米林德·塔姆贝 …还有3371名作者 全部的 前5名领域 2,304 计算机科学（68至XX） 307 数学逻辑和基础（03-XX） 254 博弈论、经济学、金融和其他社会和行为科学（91-XX） 125 运筹学、数学规划（90-XX） 50 统计学（62-XX） 22 总体主题；集合（00-XX） 19 信息与通信理论、电路（94-XX） 17 生物学和其他自然科学（92-XX） 16 组合数学（05-XX） 15 系统论；控制（93至XX） 14 概率论与随机过程（60-XX） 10 数值分析（65-XX） 8 阶、格、有序代数结构（06-XX） 7 几何图形（51至XX） 6 历史和传记（01-XX） 5 动力系统和遍历理论（37至XX） 5 粒子和系统力学（70-XX） 4 代数几何（14-XX） 4 常微分方程（34-XX） 三 测量和集成（28-XX） 2 一般代数系统（08-XX） 2 流体力学（76-XX） 2 数学教育（97-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 凸和离散几何（52至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 经典热力学，传热（80-XX） 1 统计力学，物质结构（82-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1,854出版物有被引用25068中的次11358文件 引用人▼ 年份▼ 默认推理的逻辑。 Zbl 0435.68069号R·赖特。 556 1980 论据的可接受性及其在非单调推理、逻辑编程和人与人博弈中的基本作用。 Zbl 1013.68556号潘明·邓 406 1995 非单调推理、优先模型和累积逻辑。 Zbl 0782.03012号萨里特·克劳斯;丹尼尔·莱曼;梅纳赫姆·马吉多 366 1990 界限——非单调推理的一种形式。 Zbl 0435.68073号约翰·麦卡锡 298 1980 缺省推理和可能性理论。 Zbl 0645.68108号迪迪埃·杜布瓦;亨利·普拉德 263 1988 可转移信念模型。 Zbl 0807.68087号菲利普·斯梅茨;罗伯特·肯尼斯 261 1994 关系网络的一致性。 Zbl 0341.68061号艾伦·K·麦克沃思。 233 1977 概率逻辑。 Zbl 0589.03007号尼尔斯·尼尔森。 228 1986 特征子集选择的包装器。 Zbl 0904.68143号罗恩·科哈维;乔治·H·约翰。 228 1997 从第一原理诊断的理论。 Zbl 0643.68122号雷蒙德·雷特 222 1987 STRIPS：一种将定理证明应用于问题解决的新方法。 Zbl 0234.68036号理查德·菲克斯（Richard E.Fikes）。;尼尔斯·尼尔森。 194 1971 非单调逻辑的语义考虑。 Zbl 0569.68079号罗伯特·C·摩尔。 191 1985 有条件的知识库需要什么？ Zbl 0762.68057号丹尼尔·莱曼;梅纳赫姆·马吉多 184 1992 信仰、意识和有限的推理。 Zbl 0634.03013号罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。 169 1988 建议知识库修订和最小更改。 Zbl 0792.68182号广富美·卡苏诺（Hirofumi Katsuno）;Alberto O·门德尔松。 155 1991 知识和信念模态逻辑的完整性和复杂性指南。 Zbl 0762.68029号约瑟夫·霍尔珀（Joseph Y.Halpern）。;摩西，约拉姆 153 1992 可变形模型的约束：恢复3D形状和非刚性运动。 Zbl 0646.68105号德米特里·特佐普洛斯;安德鲁·维特金;迈克尔·卡斯 147 1988 使用贝叶斯信念网络进行概率推理的计算复杂性。 Zbl 0717.68080号格雷戈里·库珀。 142 1990 扩展和实现稳定的模型语义。 Zbl 0995.68021号帕特里克·西蒙斯;伊尔卡·尼梅尔;蒂莫·索尼宁 140 2002 时间约束网络。 Zbl 0737.68070号丽娜·德希特;伊泰州梅里;朱迪亚·珀尔 138 1991 论反复信念修正的逻辑。 Zbl 1018.03012号阿德南·达尔维切;朱迪亚·珀尔 138 1997 深度优先迭代深化：最佳容许树搜索。 Zbl 0573.68030号理查德·科尔夫（Richard E.Korf）。 136 1985 非单调逻辑。一、。 Zbl 0435.68074号德鲁·麦克德莫特;乔恩·多伊尔 127 1980 信仰网络中的融合、传播和构建。 Zbl 0624.68081号朱迪亚·珀尔 127 1986 正逼近：粗糙集理论中属性约简的加速器。 Zbl 1205.68310号钱玉华;梁继业;维托尔德·佩德里茨;Dang，创银 124 2010 在部分可观测的随机域中进行规划和行动。 Zbl 0908.68165号Leslie Pack Kaelbling公司;迈克尔·利特曼。;安东尼·卡桑德拉。 116 1998 默认推理的逻辑框架。 Zbl 0647.68094号大卫·普尔 112 1988 诊断多个故障。 Zbl 0642.94045号约翰·德克莱尔;布莱恩·威廉姆斯。 111 1987 约束满足问题的基于网络的启发式算法。 Zbl 0643.68156号丽娜·德希特;朱迪亚·珀尔 110 1988 默认推理的抽象论证理论方法。 Zbl 1017.03511号Bondarenko，A。;邓，P.M。;科瓦尔斯基，R.A。;F.托尼。 100 1997 不可行推理的数学处理及其实现。 Zbl 1193.68238号吉列尔莫·西马里。;罗纳德·路易（Ronald P.Loui）。 91 1992 冲突驱动的答案集解决：从理论到实践。 Zbl 1251.68060号马丁·格布瑟;本杰明·考夫曼;托尔斯滕·绍布 89 2012 带有补语的定语概念描述。 Zbl 0712.68095号曼弗雷德·施密特·沙乌;格特·斯莫尔卡 88 1991 机器学习中相关特征和示例的选择。 Zbl 0904.68142号阿夫林·布鲁姆。;帕特·兰利 88 1997 走向行动和时间的一般理论。 Zbl 0567.68025号詹姆斯·F·艾伦。 86 1984 粗糙集预测的不确定性度量。 Zbl 0909.68040号伊沃·杜恩施;格迪加（Günther Gediga） 86 1998 约束网络的树聚类。 Zbl 0665.68084号丽娜·德希特;朱迪亚·珀尔 84 1989 概率的一阶逻辑分析。 Zbl 0723.03007号约瑟夫·霍尔珀（Joseph Y.Halpern）。 82 1990 α-β修剪分析。 Zbl 0358.68143号唐纳德·科努特（Donald E.Knuth）。;罗纳德·摩尔（Ronald W.Moore）。 81 1975 通过规划图分析快速规划。 Zbl 1017.68533号阿夫林·布鲁姆。;梅里克·弗斯特。 80 1997 论论证形式的评价。 Zbl 1168.68562号马丁·卡米纳达;莱拉·阿姆古德 78 2007 命题STRIPS规划的计算复杂性。 Zbl 0821.68065号Tom Bylander 77 1994 人工智能中的争论。 Zbl 1168.68560号T·J·M·Bench-Capon。;保罗·E·邓恩。 76 2007 概率Horn诱拐和贝叶斯网络。 Zbl 0792.68176号大卫·普尔 75 1993 论缺省逻辑与自认知逻辑的关系。 Zbl 0647.68088号科特·科诺里奇 75 1988 四个值的值。 Zbl 0928.03025号奥费尔·阿列利;阿诺·阿夫隆 74 1998 ASSAT：由SAT解算器计算逻辑程序的答案集。 Zbl 1085.68544号林方珍;赵玉婷 72 2004 我所知道的是：关于自认知逻辑的研究。 Zbl 0724.03019号Hector J.列夫斯克。 72 1990 桶消除：一个统一的推理框架。 Zbl 0939.68847号R·德希特。 68 1999 Credal网络。 Zbl 0945.68163号F.G.科兹曼。 68 2000 将答案集编程与语义web的描述逻辑相结合。 Zbl 1183.68595号托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳;汉斯·托姆皮茨 67 2008 在不确定性下建模多个代理的独立选择逻辑。 Zbl 0902.03017号大卫·普尔 67 1997 意图是选择和承诺。 Zbl 0721.03017号菲利普·科恩。;Hector J.列夫斯克。 66 1990 命题知识库修订、更新和反事实的复杂性。 Zbl 0763.68038号托马斯·艾特;乔治·戈特洛布 65 1992 规划是启发式搜索。 Zbl 0971.68146号博内，B。;H·盖夫纳。 65 2001 计算理想怀疑论。 Zbl 1168.68564号邓，P.M。;曼卡雷拉，P。;F.托尼。 65 2007 规划联合目标。 Zbl 0642.68171号戴维·查普曼 64 1987 基于逻辑的演绎论证理论。 Zbl 0971.68143号P.贝纳德。;A.亨特。 64 2001 非单调逻辑和时间投影。 Zbl 0654.68107号史蒂夫·汉克斯;德鲁·麦克德莫特 63 1987 用轴平行矩形解决多实例问题。 Zbl 1042.68650号托马斯·迪特里奇。;理查德·拉思罗普（Richard H.Lathrop）。;托马斯·洛扎诺·佩雷斯 63 1997 基于期望的非单调推理。 Zbl 0803.68125号彼得·加德福斯;戴维·梅金森 62 1994 定性模拟。 Zbl 0624.68098号本杰明·科伊珀斯 62 1986 进化算法的漂移分析和平均时间复杂性。 Zbl 0971.68129号何骏;姚欣 62 2001 由不同证据体诱导的信念函数的连接和析取组合。 Zbl 1182.68298号蒂埃里·登 62 2008 非单调因果理论。 Zbl 1085.68161号恩里科·金西格里亚;Lee，Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 61 2004 最小化冲突：约束满足和调度问题的启发式修复方法。 Zbl 0782.90054号史蒂文·明顿;马克·约翰斯顿。;安德鲁·菲利普斯（Andrew B.Philips）。;菲利普·莱尔德 61 1992 约束、一致性和封闭性。 Zbl 0909.68076号彼得·杰文斯;大卫·科恩;马丁·库珀。 61 1998 答案集编程和计划生成。 Zbl 0995.68020号弗拉基米尔·利夫希茨 59 2002 计算机辅助电路分析系统中的正向推理和依赖定向回溯。 Zbl 0372.94024号Richard M.Stallman。;杰拉尔德·苏斯曼。 58 1977 描述诊断和系统的特征。 Zbl 0772.68085号约翰·德克莱尔;艾伦·K·麦克沃思。;雷蒙德·雷特 57 1992 除了他之外的任何人：排除一种选择的复杂性。 Zbl 1168.91346号伊迪丝·赫玛斯潘德拉;Hemaspandra，A巷。;约尔格·罗特 57 2007 组合拍卖中最优获胜者的确定算法。 Zbl 0984.68039号托马斯·桑德霍姆 57 2002 条件蕴涵：桥接两种默认推理方法。 Zbl 1193.68235号赫克托·杰夫纳;朱迪亚·珀尔 56 1992 SCC-递归性：论证语义的通用模式。 Zbl 1132.68765号彼得罗·巴罗尼;马西米利亚诺·贾科明;吉奥瓦尼·吉达 55 2005 答案集编程中递归聚合的语义和复杂性。 Zbl 1216.68263号沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 55 2011 基于扩展的论证语义的基于原则的评价。 Zbl 1168.68559号彼得罗·巴罗尼;马西米利亚诺·贾科明 55 2007 贝叶斯信念网络中的近似概率推理是NP难的。 Zbl 0781.68105号保罗·达贡;米歇尔·鲁比 54 1993 正规的条件逻辑：模态方法。 Zbl 0811.68114号Craig Boutiler公司 54 1994 推理论证框架中的偏好。 Zbl 1192.68663号桑杰·莫吉尔 54 2009 贝叶斯和非贝叶斯证据更新。 Zbl 0622.68069号亨利·朱恩·凯伯格。 53 1987 结构CSP分解方法的比较。 Zbl 0952.68044号戈特洛布，G。;北卡罗来纳州塞拉利昂。;F·斯卡切罗。 53 2000 人工智能解释：来自社会科学的见解。 Zbl 1478.68274号蒂姆·米勒 53 2019 认识根深蒂固和可能性逻辑。 Zbl 0749.03019号迪迪埃·杜布瓦;亨利·普拉德 51 1991 集成神经网络：许多可能比所有更好。 Zbl 0995.68077号周志华;吴建新;唐伟 51 2002 控制和传感中存在不确定性的机器人运动规划。 Zbl 0817.93045号Jean-Claude，拉托姆;安东尼·拉扎纳斯;沙申克谢哈尔 50 1991 具有选择功能的线性分辨率。 Zbl 0234.68037号罗伯特·科瓦尔斯基;唐纳德·奎纳 50 1971 使用间隔标签约束传播。 Zbl 0642.68176号欧内斯特·戴维斯 49 1987 一种通用的弧一致性算法及其特化。 Zbl 0763.68059号帕斯卡·范·亨特利克;伊夫·迪维尔;赵曼·滕 49 1992 通过代理联盟形成的任务分配方法。 Zbl 0908.68032号安大略省谢霍里;萨里特·克劳斯 49 1998 实时启发式搜索。 Zbl 0718.68082号理查德·科尔夫（Richard E.Korf）。 48 1990 关于定性空间推理的复杂性：区域连接演算的最大可处理片段。 Zbl 0914.68160号Jochen伦茨;伯恩哈德·内贝尔 48 1999 基于一阶条件逻辑的默认推理方法：修订报告。 Zbl 0646.03015号詹姆斯·德尔格兰德。 47 1988 有限自变量系统中的相干性。 Zbl 1043.68098号保罗·E·邓恩。;T·J·M·Bench-Capon。 47 2002 非单调推理、条件对象和可能性理论。 Zbl 1017.68539号塞勒姆·本费哈特;迪迪埃·杜布瓦;亨利·普拉德 47 1997 非单调语义网络中的怀疑论继承。 Zbl 0717.68085号约翰·霍蒂。;里士满·H·托马森。;大卫·S·图雷茨基。 46 1990 量化归纳偏差：AI学习算法和Valiant的学习框架。 Zbl 0651.68104号大卫·豪斯勒 46 1988 累积缺省逻辑：为非单调推理规则辩护。 Zbl 0753.03011号格哈德·布鲁卡 45 1991 关于偏好论证的概述。 Zbl 1270.68284号桑杰·莫吉尔;亨利·普拉肯 45 2013 使用术语重写系统证明反驳定理。 Zbl 0558.68072号Jieh乡 45 1985 构建半代数集的路线图。一： 完整性。 Zbl 0668.14016号坎尼，约翰 44 1988 一种抽象的逻辑方法，用于描述非单调知识表示形式中的强等价性。 Zbl 07505979号林戈·鲍曼;汉内斯·斯特拉斯 三 2022 尊重社交网络的免税分配。 Zbl 07505974号罗伯特·布雷德里克;安德烈·卡兹马克（Andrzej Kaczmarczyk）;罗尔夫·尼德迈尔 2 2022 存在规则的不一致容忍查询应答。 Zbl 07505988号托马斯·卢卡西维奇;恩里科·马利齐亚;Martinez、Maria Vanina;克里斯蒂安·莫里纳罗;安德烈亚斯·皮耶利斯;杰拉尔多·西马里。 2 2022 解决方案的多样性：通过固定参数可处理性理论的透镜进行探索。 Zbl 07482897号朱利安·巴斯特;研究员Michael R。;拉尔斯·贾夫克;托马斯·马萨尼克;德奥利维拉·奥利维拉，马特乌斯;菲利普·格瓦尔盖塞;弗朗西斯·罗萨蒙德。 2 2022 通过理论保证的多目标进化算法实现结果多样化。 Zbl 1496.68306号钱，赵;刘丹川;周志华 1 2022 风险规避自治系统：从最优控制的角度简要介绍历史和最新发展。 Zbl 07596154号王玉恒;玛格丽特·查普曼。 1 2022 选择逻辑及其计算特性。 Zbl 07596156号迈克尔·伯恩雷特;简·马利;斯特凡·沃尔特兰 1 2022 比赛解决方案的胜利幅度。 Zbl 1481.91074号马库斯·布里尔;乌尔里克·施密特·克莱佩林;瓦鲁特省苏克松邦 1 2022 分析可微模糊逻辑算子。 Zbl 1490.68233号埃米尔·范·克里肯;埃曼·阿克;范·哈梅伦，弗兰克 1 2022 攻击图中参数强度的评估：基础和语义。 Zbl 1478.68339号莱拉·阿姆古德;道德，德拉甘;斯尔詹·维西奇 1 2022 性能指标对高效算法配置的影响。 Zbl 07482888号乔治·T·霍尔。;彼得罗·奥利维托。;德克·苏霍尔特 1 2022 CP-nets:max和秩投票上偏好聚合的复杂性结果。 Zbl 07482895号托马斯·卢卡西维奇;恩里科·马利齐亚 1 2022 重新思考部分可观察多智能体决策的形式化模型。 Zbl 07482898号科瓦西克，沃伊特;马丁·施密德;尼尔·伯奇;迈克尔·保龄球;维利亚姆·利斯 1 2022 窥视序数幕后：通过基数查询改善失真。 Zbl 07418619号乔治·阿马纳蒂迪斯;乔治·伯姆帕斯;菲洛斯·拉特西卡斯，阿里斯;亚历山大·沃杜利斯（Alexandros A.Voudouris）。 7 2021 当特征相互依赖时解释单个预测：更准确地近似Shapley值。 Zbl 07418670号克杰尔斯蒂·阿斯;马丁·朱卢姆;安德斯·罗兰 7 2021 DeepProbLog中的神经概率逻辑编程。 Zbl 07418672号罗宾·曼哈韦;塞巴斯蒂安杜曼奇奇;安吉丽卡·基米格;托马斯·德梅斯特;吕克·德·雷德 6 2021 由极小模型类诱导的怀疑、弱怀疑和轻信推理的性质和相互关系。 Zbl 07418624号克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 5 2021 一种改进的maximin份额近似算法。 Zbl 07418691号朱加尔·加格;塞塔雷·塔基 5 2021 反向强化学习综述：挑战、方法和进展。 Zbl 07418628号索拉布拉·阿罗拉;普拉珊·多西 4 2021 ILP分解参数的复杂性：具有少量全局变量和约束的程序。 Zbl 07418701号帕维尔·德沃亚克;爱德华·艾本;罗伯特·加尼安;杜珊·克诺普;塞巴斯蒂安·奥德尼亚克 4 2021 加权公平分割中的选取序列和单调性。 Zbl 1481.91090号查克拉波蒂，密春;乌尔里克·施密特·克莱佩林;瓦鲁特省苏克松邦 4 2021 多引用闭包的重建。 Zbl 07382237号劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 三 2021 通过重新计票来保护选举。 Zbl 07382238号伊迪丝·埃尔金;甘佳瑞;斯维特拉娜·奥布拉佐娃;兹诺维·拉比诺维奇;亚历山大·沃杜利斯（Alexandros A.Voudouris）。 三 2021 可分割和不可分割混合货物的公平分割。 Zbl 07418631号贝、小慧;李子豪;刘金燕;刘胜新;陆新航 三 2021 接受不完整的论证框架。 Zbl 07418650号多萝西娅·鲍迈斯特;马蒂·Järvisalo;丹尼尔·纽格鲍尔;安德烈亚斯·尼斯卡宁;约尔格·罗特 三 2021 2020年SAT竞赛。 Zbl 1478.68320号弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 三 2021 理解感官输入。 Zbl 07418632号理查德·埃文斯;何塞·埃尔南德斯·奥拉洛;约翰内斯·韦尔布尔;科利，普希米特;马雷克·塞尔戈特 2 2021 评估XAI：基于规则和基于示例的解释的比较。 Zbl 07418653号贾斯珀·范德瓦阿;伊丽莎白·纽堡;克雷默斯，安妮塔;马克·奈瑞尼克斯 2 2021 动态DeLP知识库上结构化论证的增量计算。 Zbl 07418697号Gianvincenzo阿尔法诺;塞尔吉奥·格雷科;弗朗西斯科·帕里西;杰拉尔多·西马里。;吉列尔莫·西马里。 2 2021 作为模型调节的解释基础。 Zbl 1478.68336号萨拉斯·斯里德哈兰;查克拉博蒂，如来;苏巴拉奥·坎巴帕蒂 2 2021 多智能体路径搜索的成对对称推理。 Zbl 1478.68326号李娇阳;丹尼尔·哈拉博尔;彼得·斯图基（Peter J.Stuckey）。;马，杭;格雷姆·恒河;斯文·柯尼格 2 2021 群集智能用于自组织集群。 Zbl 07382235号迈克尔·特伦（Michael C.Thrun）。;阿尔弗雷德·乌尔奇 1 2021 我们想从可解释人工智能（XAI）中得到什么利益相关者对XAI的观点和指导跨学科XAI研究的概念模型。 Zbl 07418613号马库斯·兰格;丹尼尔·奥斯特;蒂莫·斯佩思;霍尔格·赫尔曼斯;莉娜·卡斯特纳;伊娃·施密特;安德烈亚斯·塞辛;凯文·鲍姆 1 2021 基于计划的专业知识：统一方法。 Zbl 07418618号李彦军;王燕京 1 2021 期待意外：理性和非理性代理人的目标识别。 Zbl 07418625号大师，佩塔;塞巴斯蒂安·萨迪纳 1 2021 可信度动态：一个基于信任重视的信任模型，具有两两比较。 Zbl 07418635号大卫·杰伦克;卢西亚诺·塔马戈。;塞巴斯蒂安·戈蒂弗雷迪;亚历杭德罗·加西亚。 1 2021 带有函数符号的混合概率逻辑程序的语义。 Zbl 07418639号达米亚诺·阿佐利尼;法布里西奥·里古齐;伊芙琳娜·拉姆 1 2021 认识GDL：一种描述和推理不完美信息游戏的逻辑。 Zbl 07418640号姜桂飞;张东墨;劳伦特·佩鲁塞尔;张恒 1 2021 GLocalX–从本地到全球对黑盒AI模型的解释。 Zbl 07418642号马蒂亚·塞祖;里卡多·吉多蒂;安娜·蒙雷利;佛朗哥·都灵;佩德雷希·迪诺;福斯卡·吉安诺蒂 1 2021 开放世界概率数据库：语义、算法、复杂性。 Zbl 07418651号塞兰、伊斯梅尔·伊尔坎;阿德南·达尔维切;盖伊，范登·布勒克 1 2021 动态改进的边界双向搜索。 Zbl 07418654号苏厄尔，E.C。;S.H.雅各布森。 1 2021 根据实际情况评估当地解释方法。 Zbl 07418658号里卡多·吉多蒂 1 2021 游戏描述语言与动态认知逻辑的比较。 Zbl 07418665号托尔斯滕·恩格斯;罗伯特·马特米勒;伯恩哈德·内贝尔;迈克尔·泰尔舍尔 1 2021 轻量级认知逻辑及其在规划中的应用。 Zbl 07418669号马丁·库珀。;安德烈亚斯·赫齐格;福斯汀·马弗尔;弗雷德里克·马里斯;伊莉莎·佩罗廷;皮埃尔·雷格尼尔 1 2021 理解原始输入。 Zbl 07418679号理查德·埃文斯;马特科·博什尼亚克;拉尔斯·布兴;凯文·埃利斯;大卫·普法;科利，普希米特;马雷克·塞尔戈特 1 2021 图上的谢林游戏。 Zbl 1481.91037号艾什瓦尔亚·阿加瓦尔;伊迪丝·埃尔金;甘佳瑞;Ayumi Igarashi;瓦鲁特省苏克松邦;亚历山大·沃杜利斯（Alexandros A.Voudouris）。 1 2021 第二届国际辩论计算模型竞赛的设计和结果。 Zbl 1478.68353号莎拉·加格尔（Sarah A.Gaggl）。;托马斯·林斯比勒;马可·马拉提亚;斯特凡·沃尔特兰 8 2020 相对不一致性度量。 Zbl 1476.68257号菲利普·贝斯纳德;约翰·格兰特 8 2020 分布式投票的扭曲。 Zbl 1496.91047号菲洛斯·拉特西卡斯，阿里斯;埃维·米查;亚历山大·沃杜利斯（Alexandros A.Voudouris）。 6 2020 条件、概率和逻辑的布尔代数。 Zbl 1493.68349号托马索·弗拉米尼奥;路易斯·戈多;海克尔·霍斯尼 6 2020 兼容性、可取性和运行交叉口属性。 Zbl 1433.68455号恩里克·米兰达;马可·扎法隆 5 2020 SCCWalk：一种有效的局部搜索算法及其对最大权重团问题的改进。 Zbl 1476.68218号王一元;蔡少伟;陈洁江;尹明浩 5 2020 基于地标的方法将目标识别为规划。 Zbl 1478.68331号拉蒙·弗拉加·佩雷拉;尼尔·奥伦;费利佩·梅内古齐 4 2020 享乐博弈中帕累托最优的价格。 Zbl 07382215号伊迪丝·埃尔金;安吉洛·法内利;米歇尔·弗拉米尼 三 2020 匹配问题引发的联合博弈：Shapley值的复杂性和可控制性孤岛。 Zbl 1482.91011号吉安路易吉·格雷科;弗朗西斯科·卢皮亚;弗朗西斯科·斯卡切罗 三 2020 CDCL SAT解算器中通过单位传播实现子句生动化。 Zbl 1478.68325号李楚敏;肖，范;罗，毛;很多，费利普;吕志鹏;李、余 三 2020 Hanabi挑战：人工智能研究的新前沿。 Zbl 1476.68223号诺兰·巴德;Jakob N.Foerster。;萨拉斯·钱达尔;尼尔·伯奇;马克·兰科特;宋·弗朗西斯;埃米利奥·帕里索托;文森特·杜穆林;莫伊特拉，副警长;爱德华·休斯;伊恩·邓宁;希布尔·穆拉德;雨果·拉罗谢尔;马克·贝勒马尔（Marc G.Bellemare）。;迈克尔·保龄球 三 2020 用信念基础重新思考认知逻辑。 Zbl 1435.03036号埃米利亚诺·洛里尼 三 2020 一阶认知规划的动态模态逻辑。 Zbl 1471.68274号安德烈斯·奥奇宾蒂·利伯曼;安德烈亚斯·阿琴;Rasmus Krmmer Rendsvig 三 2020 基于DEL的认知规划：可判定性和复杂性。 Zbl 1493.68359号托马斯·博兰德;特里斯坦·查里尔;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 三 2020 使用深度强化学习进行团队组建谈判。 Zbl 07382214号尤拉姆·巴赫拉赫;理查德·埃弗雷特;爱德华·休斯;安吉利基·拉扎里杜;Joel Z.雷波。;马克·兰科特;迈克尔·约翰逊;Czarnecki，Wojciech M。;索尔·格雷佩尔 2 2020 基于批准的多赢规则的功利主义福利和代表性保障。 Zbl 07382217号马丁·拉克纳;彼得·斯科隆 2 2020 字符串约束求解的虚线字符串。 Zbl 07382222号罗伯托·阿马迪尼;格雷姆·恒河;彼得·斯图基（Peter J.Stuckey）。 2 2020 不完全信息游戏中的有限前瞻性。 Zbl 1437.91067号克里斯蒂安·克罗尔;托马斯·桑德霍姆 2 2020 论多数动态下观点扩散推理的复杂性。 Zbl 1454.91154号文森佐·奥莱塔;迪奥达托·费拉奥利;吉安路易吉·格雷科 2 2020 抽象辩证框架的三值语义的可实现性。 Zbl 1478.68358号约格·普勒 2 2020 从带有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写。 Zbl 1476.68250号什奇蓬贾·艾哈迈塔吉;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 2 2020 自认知均衡逻辑和认知规范。 Zbl 1432.68453号苏·埃兹吉·伊拉兹;路易斯·法利尼亚斯·德尔·塞罗;安德烈亚斯·赫齐格 2 2020 关于最佳推荐集和短视最佳查询集的等价性。 Zbl 1493.68353号保罗·维亚皮亚尼;Craig Boutiler公司 2 2020 处理和测量非单调逻辑中的不一致性。 Zbl 1493.68345号马库斯·乌布利希特;马蒂亚斯·蒂姆;格哈德·布鲁卡 2 2020 自动时间均衡分析：多层游戏的验证和合成。 Zbl 1493.68360号朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 2 2020 基于知识的程序是部分可观察领域的简洁策略。 Zbl 07382216号布鲁诺·扎努蒂尼;杰罗姆·朗;阿卜杜拉·萨菲丁;弗朗索瓦州施瓦岑特鲁伯 1 2020 人工智能和法律解释：过去、现在和未来。 Zbl 07382230号凯蒂·阿特金森;特雷弗长椅盖;达努什卡州博莱加拉 1 2020 通过高分辨率了解Max-SAT分辨率的威力。 Zbl 07382232号穆罕默德·萨米·谢里夫;贾马尔·哈贝特;安德烈·阿布拉梅 1 2020 调整肾脏交换算法以符合人类价值观。 Zbl 1433.68317号瑞秋·弗里德曼;Jana Schaich博格;沃尔特·辛诺特·阿姆斯特朗;约翰·P·迪克森。;文森特·科尼策 1 2020 CPCES：一个规划框架，通过反例引导的细化来解决一致规划问题。 Zbl 1451.68248号阿尔班·格雷斯廷;恩里科·斯卡拉 1 2020 知道成功的代价。 Zbl 1451.68291号曹睿;帕维尔·瑙莫夫 1 2020 关于加强迭代信念修正的逻辑：适当的序数区间算子。 Zbl 1461.03018号理查德·布斯;杰克·钱德勒 1 2020 用约束编程计算AES相关键的差分特性。 Zbl 1482.94049号大卫·杰劳特;帕斯卡·拉福卡德;Minier，海军;克莉丝汀·索尔农 1 2020 梯度共轭先验和多层神经网络。 Zbl 1478.68287号帕维尔·古里维奇;斯图克，汉内斯 1 2020 概率句子可满足性：一种PSAT方法。 Zbl 1478.68322号亨德森，T.C。;R·西蒙斯。;塞尔维诺夫斯基，B。;克莱恩，M。;萨查尼，D。;X·范。;A.米提奇。 1 2020 生成硬随机布尔公式和析取逻辑程序的新模型。 Zbl 1478.68316号乔瓦尼·阿蒙多拉;弗朗西斯科·里卡;米罗斯瓦·特鲁什琴斯基 1 2020 为决策建立其他代理的递归模型：研究视角。 Zbl 1478.68381号普拉珊·多西;彼得·格米特拉西维奇;埃德蒙·杜菲 1 2020 通过阻尼和分裂控制DCOP上Max-sum的收敛。 Zbl 1478.68319号科尔·科恩;罗特姆·加利基;罗伊·齐万 1 2020 当自主代理模仿其他代理时：请求改变判断，再加上嘴巴、耳朵和多一点磁带。 Zbl 1476.68260号雅各布·W·克兰德尔。 1 2020 通过编码经验和信念规划推理不确定参数和代理行为。 Zbl 1476.68261号Akinobu Hayashi;A.Ruiken，德克;长谷川、田崎;克里斯蒂安·戈里克 1 2020 愤怒的小鸟的计算复杂性。 Zbl 1476.68224号马修·斯蒂芬森;Jochen伦茨;葛晓宇 1 2020 用于表示和推理论点的积极和消极影响的认识图。 Zbl 1435.68316号安东尼·亨特;西尔维亚·波尔伯格;马蒂亚斯·蒂姆 1 2020 具有不完美特权信息的稳健学习。 Zbl 1432.68393号李雪;杜波;许昌;张艺鹏;张乐飞;陶大成 1 2020 流言蜚语的逻辑。 Zbl 1493.68346号汉斯·范·迪特马什;范德霍克，威比;Louwe B.Kuijer。 1 2020 答案集编程中遗忘的极限。 Zbl 1493.68350号里卡多·贡萨阿尔维斯;马蒂亚斯·克诺尔;约昂·莱特;斯特凡·沃尔特兰 1 2020 通过预图像估计进行可解释的时间序列核分析。 Zbl 1493.68319号Tran，Thi Phuong Thao先生;阿勒姆杜扎尔·库亚克里亚;瓦拉斯特·亚兹迪（Saeed Varasteh Yazdi）;保罗·霍尼恩;帕特里克·加里纳里 1 2020 模因算法在多模态优化中优于进化算法。 Zbl 1493.68415号阮长海;德克·苏霍尔特 1 2020 为伦理和法律推理设计规范理论：LogiKEy公司框架、方法和工具支持。 Zbl 1493.68286号克里斯托夫·本兹穆勒;家长，Xavier;范德托雷、伦德特 1 2020 评估行动计划的道德许可性。 Zbl 1493.68287号费利克斯·林德纳;罗伯特·马特米勒;伯恩哈德·内贝尔 1 2020 新方法中的旧技术：子句加权、单位传播和杂交以获得最大可满足性。 Zbl 1493.68340号蔡少伟;雷振东 1 2020 人工智能解释：来自社会科学的见解。 Zbl 1478.68274号蒂姆·米勒 53 2019 不可分割商品的民主公平分配。 Zbl 1482.91106号埃雷尔·塞加尔·哈列维;瓦鲁特省苏克松邦 9 2019 忘记叉子里的辅助原子。 Zbl 1478.68338号费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 7 2019 重新审查数据日志实体化的维护。 Zbl 1478.68076号鲍里斯·莫提克;亚沃·内诺夫;罗伯特·皮罗;伊恩·霍洛克斯 6 2019 …还有1384个文档 所有引用出版物 前5名被引用出版物 全部的 前5名14548位作者引用 73 迪迪埃·杜布瓦 63 托马斯·艾特 62 亨利·普拉德。 50 Dov M.加巴伊。 46 迈克尔·J·伍尔德里奇。 42 托尔斯滕·绍布（Torsten H.Schaub）。 42 斯特凡·沃尔特兰 41 Joseph Yehuda Halpern 40 乔治·戈特洛布 39 蒂埃里·登 35 加布里埃尔·克恩·伊斯伯纳 34 塞勒姆·本费哈特 32 尼古拉·利昂 32 约格·马提亚斯·罗特 32 罗纳德·雅格。 31 萨里特·克劳斯 31 梁继业 31 钱玉华 31 吉列尔莫·里卡多·西马里 30 马丁·库珀。 30 丽娜·德希特 30 彼得·乔森（Peter A.Jonsson）。 29 安东尼·亨特 29 范德霍克，威比 29 托比·沃尔什 28 弗拉基米尔·利夫希茨 28 特鲁什琴斯基，米洛斯奥 28 马可·扎法隆 26 奥费尔·阿列利 26 吕克·德·雷德 26 斯坦尼斯拉夫·伊文 25 路易斯·戈多 25 安德烈亚斯·赫齐格 25 杰罗姆·朗 25 托马斯·卢卡西维奇 24 克里斯托夫·贝尔 24 格特·德库曼 24 詹姆斯·德尔格兰德。 24 乔纳森·劳里 24 埃米利亚诺·洛里尼 24 Joáo P.塞尔瓦侯爵。 24 汉斯·皮特·范·迪特马什 23 法比奥·加利亚迪·科兹曼 23 彼得·杰文斯（Peter G.Jeavons）。 23 皮埃尔·侯爵 22 莱拉·阿姆古德 22 伊莎贝尔·布洛赫 22 塞巴斯蒂安·德斯特克 22 赫莱内·法吉尔 22 吉安路易吉·格雷科 22 V.Wiktor马雷克 22 道德，塞拉芬 22 法布里西奥·里古齐 22 范德托雷，Leendert W.N。 21 菲利普·贝斯纳德 21 佐兰·奥格尼亚诺维奇 21 苏布拉曼尼亚，V.S。 21 斯泽德，斯特凡 20 保罗·E·邓恩。 20 井上，胜美 20 卢克·杰林 20 尼古拉斯·R·詹宁斯。 20 林方珍 20 朱迪亚·珀尔 20 弗朗西斯科·斯卡切罗 20 史蒂文·肖卡特 19 马里奥·阿尔维亚诺 19 奇塔·R·巴拉尔。 19 马克·德内克 19 马丁·格布瑟 19 约翰·格兰特。 19 克利斯朵夫·拉布吕切 19 Hector J.列夫斯克。 19 尤利亚·利勒 19 托马斯·桑德霍姆。 19 彼得·詹姆斯·斯塔基 19 马蒂亚斯·蒂姆 19 尹明浩 19 你，嘉慧 18 彼得罗·巴罗尼 18 佩德罗·卡巴拉尔 18 查克拉巴蒂，帕塔·普拉蒂姆 18 朱塞佩·德贾科莫 18 伊迪丝·埃尔金 18 茨城，东芝 18 刘伟如 18 Shenoy，Prakash P。 18 翁贝托·斯特拉契亚 18 莫舍·坦尼霍尔茨 18 弗朗西丝卡·托尼 17 弗兰兹·巴德 17 克里斯蒂安·贝西尔 17 大卫·A·科恩。 17 Dang，创银 17 沃尔夫冈·费伯 17 迈克尔·芬克 17 马西米利亚诺·贾科明 17 诺里希罗·卡米德 17 马可·马拉提亚 17 安吉洛·蒙塔纳里 …还有14448名作者 全部的 前5名552种期刊引用 1,841 人工智能 736 国际近似推理杂志 409 数学与人工智能年鉴 365 理论计算机科学 305 信息科学 242 逻辑程序设计理论与实践 236 欧洲运筹学杂志 223 模糊集与系统 180 机器学习 170 自动推理杂志 164 约束条件 156 应用非经典逻辑杂志 125 应用逻辑杂志 121 Studia Logica公司 121 合成 110 计算机与系统科学杂志 110 哲学逻辑杂志 109 模式识别 97 运筹学年鉴 95 计算机与运筹学 91 信息与计算 89 信息处理信件 83 离散应用数学 81 吉泰。实验与理论人工智能杂志 81 人工智能研究杂志 74 算法 74 神经计算 71 国际不确定性、模糊性和基于知识的系统杂志 63 逻辑、语言与信息杂志 62 计算机与数学及其应用 59 软计算 58 符号计算杂志 55 国际智能系统杂志 54 计算机科学与技术杂志 53 新一代计算 48 国际通用系统杂志 48 工程中的数学问题 47 游戏与经济行为 42 Automatica公司 40 数学社会科学 38 应用数学与计算 36 计算统计与数据分析 36 数学成像与视觉杂志 36 符号逻辑述评 33 全球优化杂志 31 纯逻辑与应用逻辑年鉴 30 国际计算机视觉杂志 29 符号逻辑杂志 29 ACM计算逻辑事务 27 数据挖掘与知识发现 27 国际应用数学与计算机科学杂志 26 理论与决策 26 神经网络 26 埃尔肯特尼斯 26 机器学习研究杂志（JMLR） 25 计算系统理论 25 计算机科学中的逻辑方法 24 国际计算机数学杂志 23 经济理论杂志 21 凯贝内提卡 21 社会选择与福利 21 智能与机器人系统杂志 20 信息学报 20 数学心理学杂志 20 系统设计中的形式化方法 20 组合优化期刊 20 泛逻辑 19 SIAM计算机杂志 19 控制论与系统 19 国际生产研究杂志 19 计算的形式方面 19 启发式杂志 19 信息计算杂志 19 游戏 18 数学和计算机建模 18 国际计算机与系统科学杂志 18 计算智能 17 应用智能 17 控制论与系统分析 17 调度日志 16 生物控制论 16 国际系统科学杂志 16 圣母院形式逻辑杂志 16 人工智能通信 16 离散事件动态系统 16 RAIRO公司。运筹学 16 模糊优化与决策 16 理论生物学杂志 15 运筹学 15 离散优化 14 逻辑与代数程序设计杂志 14 新数学与自然计算 14 医学中的计算和数学方法 14 计算机科学前沿 13 离散数学 13 数学分析与应用杂志 13 模拟中的数学和计算机 12 统计年鉴 12 人工智能综述 12 应用数学建模 ……还有452种期刊 全部的 前5名60个领域被引用 8,281 计算机科学（68至XX） 2,225 数学逻辑和基础（03-XX） 1,360 运筹学、数学规划（90-XX） 1,270 博弈论、经济学、金融和其他社会和行为科学（91-XX） 761 统计学（62-XX） 312 组合数学（05-XX） 296 系统论；控制（93至XX） 263 信息与通信理论、电路（94-XX） 253 概率论与随机过程（60-XX） 227 生物学和其他自然科学（92-XX） 215 数值分析（65-XX） 114 阶、格、有序代数结构（06-XX） 71 测量和集成（28-XX） 53 总体主题；集合（00-XX） 48 变分法与最优控制；最优化（49至XX） 46 一般代数系统（08-XX） 35 历史和传记（01-XX） 31 量子理论（81-XX） 30 动力系统和遍历理论（37至XX） 28 常微分方程（34-XX） 28 凸和离散几何（52至XX） 27 粒子和系统力学（70-XX） 26 代数几何（14-XX） 26 一般拓扑结构（54至XX） 26 统计力学，物质结构（82-XX） 20 交换代数（13-XX） 19 偏微分方程（35-XX） 19 几何图形（51至XX） 17 线性代数和多线性代数；矩阵理论（15-XX） 15 范畴理论；同调代数（18-XX） 15 实际功能（26年X月X日） 12 场论和多项式（12-XX） 11 结合环与代数（16-XX） 11 微分几何（53至XX） 10 可变形固体力学（74-XX） 10 流体力学（76-XX） 10 地球物理学（86-XX） 9 数论（11-XX） 8 近似值和展开值（41至XX） 8 功能分析（46倍X倍） 7 差分和函数方程（39至XX） 7 算子理论（47-XX） 6 代数拓扑（55-XX） 5 群论与推广（20-XX） 5 流形和细胞复合体（57至XX） 4 整体分析，流形分析（58至XX） 4 经典热力学，传热（80-XX） 三 复变量的函数（30年XX月） 三 欧氏空间的调和分析（42至XX） 三 光学、电磁理论（78-XX） 2 势能理论（31日至XX日） 2 几个复变量和分析空间（32-XX） 2 抽象谐波分析（43至XX） 2 相对论和引力理论（83至XX） 2 天文学和天体物理学（85-XX） 2 数学教育（97-XX） 1 非结合环和代数（17-XX） 1 拓扑群、李群（22日至XX日） 1 积分变换，运算微积分（44-XX） 1 积分方程（45-XX） 按年份列出的引文