×

人工智能

简称: 人工制品。因特尔。
出版商: 阿姆斯特丹爱思唯尔
ISSN编号: 0004-3702
在线: http://www.sciencedirect.com/science/journal/00043702/
评论: 索引封面到封面
编制索引的文档: 2320种出版物(自1970年起)
索引的引用: 2210份出版物参考文献96510份。
全部的 前5名

最新版本

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年)
214(2014年)
213(2014年)
…还有311卷
全部的 前5名

作者

33 克劳斯,萨瑞特
29 艾特,托马斯
20 詹宁斯,尼古拉斯R。
20 伍尔德里奇,迈克尔J。
19 迪切特,瑞娜
18 珠儿,朱迪亚
17 邓恩,保罗E。
16 哈珀,约瑟夫·耶胡达
16 林芳珍
16 沃尔什,托比
15 库珀,马丁·C。
15 乔森,彼得A。
14 苏巴拉奥坎巴提
14 Levesque,赫克托J。
14 坦尼霍尔茨,摩舍
14 沃尔特兰,斯特凡
14 周志华
13 布蒂利埃,克雷格
13 利夫希茨,弗拉基米尔
12 格特洛布,乔治
11 贝西,克里斯蒂安
11 德格兰德,詹姆斯P。
11 贾科明,马西米利亚诺
11 朗,杰罗姆
11 卢卡西维奇,托马斯
11 侯爵,皮埃尔
11 肖厄姆,尤夫
10 巴罗尼,皮埃特罗
10 布拉夫曼,罗南一世。
10 阿德南,达威奇
10 德雷特,卢克
10 沃尔夫冈·德沃夏克
10 费尔纳,阿里尔
10 柯夫,理查德E。
10 普拉德,亨利M。
10 托尼,弗朗西丝卡
10 范德霍克,威比
10 杨强
9 Ben Eliyahu Zohary,瑞秋
9 凯蓬长凳,特雷弗·J·M。
9 Elkind,伊迪丝
9 格雷维尼,阿方索·埃米利奥
9 格雷科,詹路易吉
9 利昂,尼古拉
9 李三江
9 内贝尔,伯恩哈德
9 桑德霍姆,图马斯W。
9 肖布,托尔斯滕H。
9 斯特恩,罗尼
9 蒂尔舍尔,迈克尔
9 张伟雄
8 巴拉尔,奇塔R。
8 博纳蒂,皮耶罗·安德里亚
8 布雷卡,格哈德
8 卡多利,马可
8 查克拉巴蒂,帕塔·普拉蒂姆
8 戴维斯,欧内斯特
8 贾科莫,朱塞佩
8 加蒂,尼古拉
8 绅士,伊恩·菲利普
8 格雷纳,拉塞尔
8 霍尔特,罗伯特·C。
8 霍洛克斯,伊恩
8 亨特,安东尼
8 解放者,保罗
8 麦克瑞斯,希拉A。
8 南丁格尔,彼得W。
8 罗森申,杰弗里S。
8 西玛里,吉列尔莫·里卡多
8 史密斯,大卫·E。
8 苏布拉曼尼亚,V.S。
8 蒂姆,马提亚斯
8 特鲁兹钦斯基,米洛斯ław
8 维洛索,曼努埃拉·M。
8 沃杜里斯,亚历山德罗斯A。
8 沃尔特,弗兰克
8 Yokoo,Makoto
8 扎法隆,马可
8 扎哈里亚舍夫,迈克尔·维克托罗维奇
7 布拉科,伊万
7 蔡少伟
7 卡拉吉安尼斯,约安尼斯
7 多姆什拉克,卡梅尔
7 杜布瓦,迪迪埃
7 霍斯,霍尔格H。
7 科尼,斯文
7 莱克迈耶,格哈德
7 卢茨,卡斯滕
7 米格尔,伊恩
7 诺亚,达娜·S。
7 帕罗波利,路易吉
7 帕利斯,唐纳德R。
7 潘明粪
7 普罗卡西亚,阿里尔D。
7 斯科卡尔特,史蒂文
7 塔姆,米林
7 焊接,丹尼尔S。
6 阿什拉夫·M·阿布德尔巴。
6 巴克斯,法希姆
6 Bäckström,克里斯特
…还有3259位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

1838年出版物有被引用23786时间11166份文件 引用人
默认推理的逻辑。 Zbl 0435.68069
赖特,R。
540
1980
论论点的可接受性及其在非单调推理、逻辑程序设计和人的博弈中的基本作用。 Zbl 1013.68556
邓,潘明
396
1995
非单调推理,优先模型和累积逻辑。 Zbl 0782.03012
克劳斯,萨瑞特;莱曼,丹尼尔;魔术师,梅纳赫姆
352
1990
限定-非单调推理的一种形式。 Zbl 0435.68073
麦卡锡,约翰
290
1980
缺省推理与可能性理论。 Zbl 0645.68108
杜布瓦,迪迪埃;普拉德,亨利
261
1988
可转移的信念模型。 Zbl 0807.68087
斯密茨,菲利普;肯尼斯,罗伯特
255
1994
用于特征子集选择的包装器。 Zbl 0904.68143
科哈维,罗恩;约翰,乔治H。
224
1997
关系网络的一致性。 Zbl 0341.68061
麦克沃思,艾伦K。
222
1977
概率逻辑。 Zbl 0589.03007
尼尔森,尼尔斯J。
221
1986
从第一原理出发的诊断理论。 中保0643.68122
雷特,雷蒙德
214
1987
条带:定理证明应用于问题求解的新途径。 Zbl 0234.68036
菲克斯,理查德E。;尼尔森,尼尔斯J。
186
1971
非单调逻辑的语义思考。 Zbl 0569.68079
摩尔,罗伯特·C。
181
1985
有条件的知识库需要什么? Zbl 0762.68057
莱曼,丹尼尔;魔术师,梅纳赫姆
175
1992
信念、意识和有限的推理。 Zbl 0634.03013
费金,罗纳德;哈珀,约瑟夫Y。
164
1988
命题知识库修正和最小变化。 中银0792.68182
胜野,弘夫美;门德尔松,阿尔贝托O。
147
1991
知识和信念模态逻辑的完整性和复杂性指南。 Zbl 0762.68029
哈珀,约瑟夫Y。;摩西,约兰
144
1992
可变形模型的约束:恢复三维形状和非刚体运动。 Zbl 0646.68105
德米特里特佐波洛斯;维特金,安德鲁;卡斯,迈克尔
141
1988
扩展并实现了稳定模型语义。 Zbl 0995.68021
西蒙斯,帕特里克;尼美拉,伊尔卡;索尼宁,蒂莫
140
2002
贝叶斯信念网络概率推理的计算复杂性。 Zbl 0717.68080
库珀,格雷戈里F。
133
1990
深度优先迭代深化:一个最优容许树搜索。 Zbl 0573.68030
柯夫,理查德E。
130
1985
论迭代信念修正的逻辑。 Zbl 1018.03012
阿德南,达威奇;珠儿,朱迪亚
127
1997
时间约束网络。 Zbl 0737.68070
迪切特,瑞娜;意大利梅里;珠儿,朱迪亚
125
1991
非单调逻辑。一。 Zbl 0435.68074
麦克德莫特,德鲁;多伊尔,乔恩
123
1980
正逼近:粗糙集理论中属性约简的加速器。 Zbl 1205.68310
钱玉华;梁继业;佩德里茨,威托德;党,创银
122
2010
信仰网络中的融合、传播和构建。 Zbl 0624.68081
珠儿,朱迪亚
120
1986
默认推理的逻辑框架。 Zbl 0647.68094
普尔,大卫
110
1988
部分可观测随机域中的规划与行动。 Zbl 0908.68165
凯尔布林,莱斯利包;利特曼,迈克尔L。;卡桑德拉,安东尼R。
109
1998
诊断多个故障。 Zbl 0642.94045
德克莱尔,约翰;威廉姆斯,布莱恩·C。
108
1987
基于网络的约束满足问题启发式算法。 津保0643.68156
迪切特,瑞娜;珠儿,朱迪亚
100
1988
对默认推理的抽象的论证理论方法。 Zbl 1017.03511号
邦达伦科,A。;邓,下午。;科瓦尔斯基,R.A。;托尼,F。
93
1997
反推理的一种数学处理方法及其实现。 Zbl 1193.68238
吉勒莫·西玛里。;路易,罗纳德P。
89
1992
机器学习中相关特征和实例的选择。 Zbl 0904.68142
布鲁姆,艾弗里姆L。;兰利,帕特
87
1997
粗糙集预测的不确定性度量。 Zbl 0909.68040
杜恩茨,伊沃;格迪加,Günther
86
1998
用补语描述定语概念。 Zbl 0712.68095
Schmidt Schauß,曼弗雷德;斯摩卡,格特
85
1991
走向行动和时间的一般理论。 Zbl 0567.68025
艾伦,詹姆斯F。
83
1984
冲突驱动的答案集解决:从理论到实践。 Zbl 1251.68060
格布瑟,马丁;本杰明考夫曼;肖布,托尔斯滕
82
2012
约束网络的树聚类。 Zbl 0665.68084
迪切特,瑞娜;珠儿,朱迪亚
78
1989
α-β剪枝分析。 Zbl 0358.68143
克努斯,唐纳德E。;摩尔,罗纳德W。
78
1975
一阶概率逻辑分析。 Zbl 0723.03007
哈珀,约瑟夫Y。
77
1990
通过规划图分析快速规划。 Zbl 1017.68533
布鲁姆,艾弗里姆L。;弗斯特,梅里克L。
76
1997
论议论文形式主义的评价。 Zbl 1168.68562
卡米纳达,马丁;阿姆古德,莱拉
75
2007
概率Horn诱拐和贝叶斯网络。 中银0792.68176
普尔,大卫
74
1993
命题条带规划的计算复杂性。 Zbl 0821.68065
拜兰德,汤姆
74
1994
四个值的值。 Zbl 0928.03025
阿里埃利,奥弗;阿文,阿农
72
1998
人工智能论辩。 Zbl 1168.68560
卡彭,T.J.M。;邓恩,保罗E。
71
2007
ASSAT:用SAT解算器计算逻辑程序的答案集。 Zbl 1085.68544
林芳珍;赵玉婷
70
2004
论缺省与自认知逻辑的关系。 零担0647.68088
科诺里奇,库尔特
68
1988
我所知道的:一个关于自认知逻辑的研究。 Zbl 0724.03019
Levesque,赫克托J。
68
1990
不确定性下多智能体建模的独立选择逻辑。 Zbl 0902.03017
普尔,大卫
66
1997
Credal网络。 Zbl 0945.68163
科兹曼,F.G。
66
2000
意图是有决心的选择。 Zbl 0721.03017
科恩,菲利普·R。;Levesque,赫克托J。
63
1990
桶消去:一个统一的推理框架。 Zbl 0939.68847
德切特,R。
63
1999
由不可区分的证据体引起的信念功能的合取和析取组合。 Zbl 1182.68298号
迪恩,蒂埃里
62
2008
定性模拟。 Zbl 0624.68098
本杰明柯伊伯
61
1986
计划作为启发式搜索。 Zbl 0971.68146
博内,B。;盖夫纳H。
61
2001
基于期望的非单调推理。 Zbl 0803.68125
Gärdenfors,彼得;麦金森,大卫
61
1994
论命题知识库修改、更新和反事实的复杂性。 Zbl 0763.68038
艾特,托马斯;格特洛布,乔治
61
1992
非单调逻辑与时间投影。 Zbl 0654.68107
汉克斯,史蒂夫;麦克德莫特,德鲁
60
1987
基于逻辑的演绎论点理论。 Zbl 0971.68143
贝斯纳德,P。;亨特,A。
60
2001
计算理想怀疑论证。 Zbl 1168.68564
邓,下午。;曼卡雷拉,P。;托尼,F。
60
2007
非单调因果理论。 Zbl 1085.68161
朱西格里亚,恩里科;李,卓容;利夫希茨,弗拉基米尔;麦凯恩,诺曼;特纳,哈德逊
60
2004
计划共同目标。 Zbl 0642.68171
查普曼,大卫
59
1987
语义网的答案集编程与描述逻辑相结合。 Zbl 1183.68595
艾特,托马斯;伊安尼,乔瓦姆巴蒂斯塔;卢卡西维奇,托马斯;辛德劳尔,罗马人;汤姆皮茨,汉斯
59
2008
用轴平行矩形求解多实例问题。 Zbl 1042.68650
营养师,托马斯G。;拉瑟洛普,理查德H。;洛扎诺-佩雷斯,托马斯
59
1997
约束、一致性和封闭性。 Zbl 0909.68076
杰文斯,彼得;科恩,大卫;库珀,马丁·C。
59
1998
答案集编程和计划生成。 Zbl 0995.68020
利夫希茨,弗拉基米尔
56
2002
描述诊断和系统。 Zbl 0772.68085
德克莱尔,约翰;麦克沃思,艾伦K。;雷特,雷蒙德
56
1992
最小化冲突:约束满足和调度问题的启发式修复方法。 Zbl 0782.90054
明顿,史蒂文;约翰斯顿,马克D。;飞利浦,安德鲁B。;莱尔德,菲利普
56
1992
组合拍卖中最优赢家确定算法。 Zbl 0984.68039
桑德霍姆,托马斯
56
2002
进化算法的漂移分析和平均时间复杂度。 Zbl 0971.68129
他,小君;姚欣
55
2001
SCC递归性:论证语义的一般模式。 Zbl 1132.68765
巴罗尼,皮埃特罗;贾科明,马西米利亚诺;吉达,乔瓦尼
55
2005
论证框架中关于偏好的推理。 Zbl 1192.68663
莫吉尔,桑杰
54
2009
答案集编程中递归聚合的语义和复杂性。 Zbl 1216.68263
费伯,沃尔夫冈;菲菲,杰拉尔德;利昂,尼古拉
54
2011
计算机辅助电路分析系统中的正向推理和依赖定向回溯。 Zbl 0372.94024
史泰尔曼,理查德M。;苏斯曼,杰拉尔德J。
54
1977
基于原则的可拓论证语义评价。 Zbl 1168.68559
巴罗尼,皮埃特罗;贾科明,马西米利亚诺
54
2007
条件蕴涵:连接两种默认推理方法。 Zbl 1193.68235
格夫纳,赫克托;珠儿,朱迪亚
54
1992
贝叶斯和非贝叶斯证据更新。 浙宝0622.68069
凯伯格,亨利·E·君。
52
1987
贝叶斯信念网络中的概率推理是NP难的。 Zbl 0781.68105
达格姆,保罗;鲁比,迈克尔
52
1993
正态性的条件逻辑:模态方法。 Zbl 0811.68114
布蒂利埃,克雷格
52
1994
除了他以外的任何人:排除另一种选择的复杂性。 Zbl 1168.91346
赫玛斯潘德拉,伊迪丝;Hemaspandra,A车道。;罗思,约格
51
2007
具有选择功能的线性分辨率。 中银0234.68037
科瓦尔斯基,罗伯特;唐纳德,库纳
50
1971
人工智能解释:来自社会科学的见解。 Zbl 1478.68274号
米勒,蒂姆
50
2019
认知巩固与可能性逻辑。 Zbl 0749.03019
杜布瓦,迪迪埃;普拉德,亨利
50
1991
带有间隔标签的约束传播。 Zbl 0642.68176
戴维斯,欧内斯特
49
1987
感知神经网络:许多可能比所有的都好。 Zbl 0995.68077
周志华;吴建新;唐伟
49
2002
有限变元系统中的相干性。 Zbl 1043.68098
邓恩,保罗E。;卡彭,T.J.M。
47
2002
非单调推理、条件对象和可能性理论。 Zbl 1017.68539
本费尔哈特,塞勒姆;杜布瓦,迪迪埃;普拉德,亨利
47
1997
基于agent联盟的任务分配方法。 Zbl 0908.68032
安大略省谢霍里;克劳斯,萨瑞特
47
1998
控制和传感不确定性的机器人运动规划。 Zbl 0817.93045
拉托姆贝,让·克劳德;拉扎纳斯,安东尼;谢哈尔,沙尚克
47
1991
结构CSP分解方法的比较。 Zbl 0952.68044
戈特洛布,G。;利昂,N。;史考略,F。
47
2000
基于一阶条件逻辑的缺省推理方法:修订报告。 Zbl 0646.03015
德格兰德,詹姆斯P。
46
1988
实时启发式搜索。 Zbl 0718.68082
柯夫,理查德E。
46
1990
一种通用的弧一致性算法及其特化。 Zbl 0763.68059
范亨特莱克,帕斯卡;德维尔,伊夫;滕,周文
46
1992
用术语重写系统证明反驳定理。 Zbl 0558.68072
香杰
45
1985
累积缺省逻辑:为非单调推理规则辩护。 Zbl 0753.03011
布雷卡,格哈德
45
1991
量化归纳偏差:人工智能学习算法和Valiant的学习框架。 Zbl 0651.68104
大卫,豪斯勒
44
1988
论定性空间推理的复杂性:区域连接演算的最大可处理片段。 Zbl 0914.68160号
伦兹,约琴;内贝尔,伯恩哈德
44
1999
构造半代数集合的路线图。一: 完整性。 Zbl 0668.14016
精明,约翰
43
1988
在抽象空间的层次结构中进行规划。 中银0288.68052
萨尔多蒂伯爵。
43
1974
对有偏好的辩论的概述。 兹布1270.68284
莫吉尔,桑杰;亨利,普拉肯
43
2013
解的多样性:从固定参数可追踪性理论的角度进行探索。 Zbl 07482897
巴斯特,朱利安;伙计们,迈克尔R。;杰夫克,拉尔斯;马萨·艾克,汤姆·š;德奥利维拉·奥利维拉,马特乌斯;菲利浦,格瓦盖斯;罗莎蒙德,弗朗西斯A。
2
2022
存在规则的不一致容忍查询应答。 Zbl 07505988
卢卡西维奇,托马斯;马里齐亚,恩里科;马丁内斯,玛丽亚·瓦尼娜;莫里纳罗,克里斯蒂安;皮尔斯,安德烈亚斯;西玛莉,杰拉尔多一世。
2
2022
比赛解决方案的胜算。 Zbl 1481.91074号
布里尔,马库斯;施密特·克莱佩林(Ulrike);苏克逊邦,瓦鲁特
1
2022
分析可微模糊逻辑算子。 Zbl 1490.68233
范克里肯,埃米尔;阿卡尔,埃尔曼;范哈梅伦,弗兰克
1
2022
(m)CP网络上偏好聚合的复杂性结果:max和rank投票。 Zbl 07482895
卢卡西维奇,托马斯;马里齐亚,恩里科
1
2022
尊重社交网络的免费分配。 Zbl 07505974
布雷德里克,罗伯特;卡兹马尔茨克,安德烈;尼德迈尔,罗尔夫
1
2022
描述非单调知识表示形式中强等价性的抽象逻辑方法。 Zbl 07505979
林戈,鲍曼;斯特拉斯,汉斯
1
2022
风险规避自治系统:从最优控制的角度看其历史和最新发展。 Zbl 07596154
王宇恒;查普曼,玛格丽特P。
1
2022
DeepProbLog中的神经概率逻辑程序设计。 Zbl 07418672
曼哈维,罗宾;杜曼契奇,塞巴斯蒂扬;金米格,安吉丽卡;德米特,托马斯;德雷特,卢克
6
2021
解释特征相依时的个别预测:更精确的Shapley值近似值。 Zbl 07418670
原子吸收光谱法;朱勒姆,马丁;洛兰,安德斯
5
2021
一种改进的最大份额近似算法。 Zbl 07418691号
加格,贾加尔;Taki,Setareh
5
2021
窥视序幕背后:通过基数查询改善失真。 Zbl 07418619
阿曼提迪斯,乔治;比尔帕斯,乔治;菲洛斯·拉特西卡斯,阿里斯;沃杜里斯,亚历山德罗斯A。
4
2021
反向强化学习:挑战、方法与进展。 Zbl 07418628
阿罗拉,索拉布;多西,普拉尚
4
2021
加权公平除法中的拣选序列与单调性。 Zbl 1481.91090号
查克拉波蒂,密敦;施密特·克莱佩林(Ulrike);苏克逊邦,瓦鲁特
4
2021
多参考闭包的重构。 Zbl 07382237
乔达诺,劳拉;格利奥兹,瓦伦蒂娜
2021
通过重新计票来保护选举。 Zbl 07382238
Elkind,伊迪丝;甘佳瑞;奥布拉兹佐娃,斯维特兰娜;拉比诺维奇;沃杜里斯,亚历山德罗斯A。
2021
极小模型类诱导的怀疑、弱怀疑和轻信推理的性质和相互关系。 Zbl 07418624号
贝勒,克里斯托夫;艾希霍恩,基督徒;克恩·伊斯伯纳,加布里埃尔;库奇,史蒂文
2021
ILP分解参数的复杂性景观:具有少量全局变量和约束的程序。 Zbl 07418701号
德沃夏克,帕维尔;艾本,爱德华德;加尼安,罗伯特;杜山诺普;奥迪尼亚克,塞巴斯蒂安
2021
2020年SAT竞赛。 兹布1478.68320
弗雷克斯,尼尔斯;海勒,玛丽安;伊瑟,马库斯;马尔维萨洛,马蒂;苏达,马丁
2021
混合可分割和不可分割商品的公平划分。 Zbl 07418631号
贝,晓辉;李子豪;刘金燕;刘胜新;卢新航
2
2021
感觉输入有意义。 Zbl 07418632号
埃文斯,理查德;赫南德斯·奥拉罗,何塞;欢迎,约翰尼斯;科利,普什梅特;塞格特,马雷克
2
2021
不完全论证框架下的接受。 Zbl 07418650
多萝西娅,鲍迈斯特;马尔维萨洛,马蒂;丹尼尔,纽格鲍尔;尼斯卡南,安德烈亚斯;罗思,约格
2
2021
多智能体路径搜索的成对对称推理。 Zbl 1478.68326
李娇阳;哈拉博尔,丹尼尔;斯图基,彼得J。;妈,挂;恒河,格雷姆;科尼,斯文
2
2021
用于自组织聚类的群体智能。 Zbl 07382235
特伦,迈克尔·C。;阿尔弗雷德,乌尔斯基
1
2021
我们想从可解释人工智能(XAI)中得到什么利益相关者对XAI的观点和指导跨学科XAI研究的概念模型。 Zbl 07418613
兰格,马库斯;奥斯特,丹尼尔;斯佩思,蒂莫;赫尔曼,霍尔格;Kästner,莉娜;施密特,伊娃;塞辛,安德烈亚斯;鲍姆,凯文
1
2021
基于计划的了解方法:统一的方法。 Zbl 07418618
李彦君;王燕京
1
2021
期待意外:理性和非理性代理人的目标识别。 Zbl 07418625
主人,善待动物组织;撒丁娜,塞巴斯蒂安
1
2021
可信性动力学:一个基于信念修正的两两比较信任模型。 Zbl 07418635号
杰伦克,大卫;塔马戈,卢西亚诺H。;戈蒂弗雷迪,塞巴斯蒂安;加西亚,亚历杭德罗J。
1
2021
具有函数符号的混合概率逻辑程序的语义。 Zbl 07418639号
阿佐里尼,达米亚诺;里古兹,法布里齐奥;南丫岛,伊芙丽娜
1
2021
认知GDL:描述和推理不完全信息博弈的逻辑。 Zbl 07418640
蒋贵飞;张冬墨;佩鲁塞尔,劳伦特;张衡
1
2021
GLocalX-从本地到全球的黑匣子人工智能模型解释。 Zbl 07418642
塞祖,马蒂亚;吉多蒂,里卡多;蒙瑞尔,安娜;佛朗哥,都灵;佩德雷希,迪诺;吉安诺蒂,福斯卡
1
2021
开放世界概率数据库:语义,算法,复杂性。 Zbl 07418651
塞兰,İsmailİlkan;阿德南,达威奇;范登布罗克,伙计
1
2021
动态改进的边界双向搜索。 Zbl 07418654号
塞厄尔,E.C。;雅各布森,S.H。
1
2021
博弈描述语言与动态认知逻辑的比较。 Zbl 07418665号
恩格瑟,托尔斯滕;马图勒,罗伯特;内贝尔,伯恩哈德;蒂尔舍尔,迈克尔
1
2021
轻量级认知逻辑及其在规划中的应用。 Zbl 07418669号
库珀,马丁·C。;赫尔兹,安德烈亚斯;马弗雷,福斯汀;玛丽斯,弗里德里克;佩罗汀,伊莉丝;Régnier,皮埃尔
1
2021
动态DeLP知识库上结构化论证的增量计算。 Zbl 07418697号
阿尔法诺,詹文琴佐;格雷科,塞尔吉奥;帕里西,弗朗西斯科;西玛莉,杰拉尔多一世。;吉勒莫·西玛里。
1
2021
作为模型调节的解释基础。 Zbl 1478.68336
斯雷德哈兰,萨拉斯;如来脉轮;苏巴拉奥坎巴提
1
2021
图上的谢林对策。 Zbl 1481.91037号
阿加瓦尔,艾什瓦里亚;Elkind,伊迪丝;甘佳瑞;伊加拉希,阿尤米;苏克逊邦,瓦鲁特;沃杜里斯,亚历山德罗斯A。
1
2021
相对不一致性度量。 Zbl 1476.68257
贝斯纳德,菲利普;格兰特,约翰
7
2020
条件句、概率论和逻辑的布尔代数。 Zbl 1493.68349
弗拉米尼奥,汤玛索;哥多,路易;霍斯尼,海克尔
6
2020
兼容性、可取性和运行交叉点特性。 Zbl 1433.68455
米兰达,恩里克;扎法隆,马可
5
2020
第二届国际论证计算模型竞赛的设计与结果。 Zbl 1478.68353
Gaggl,莎拉A。;林斯比希勒,托马斯;马拉茶,马可;沃尔特兰,斯特凡
5
2020
分布式投票的扭曲。 Zbl 1496.91047号
菲洛斯·拉特西卡斯,阿里斯;米查,埃维;沃杜里斯,亚历山德罗斯A。
5
2020
SCCWalk:一种有效的局部搜索算法及其对最大权团问题的改进。 Zbl 1476.68218
王一元;蔡少伟;陈洁江;尹明浩
4
2020
基于里程碑的目标识别方法作为规划。 Zbl 1478.68331
佩雷拉,拉蒙·弗拉加;奥伦,近红外;梅内古兹,费利佩
4
2020
Hanabi挑战:人工智能研究的新前沿。 Zbl 1476.68223
巴德,诺兰;福斯特,雅各布N。;钱达,萨拉斯;伯奇,尼尔;兰科特,马克;宋,H.弗朗西斯;帕里索托,埃米利奥;杜穆林,文森特;Moitra,副歌;休斯,爱德华;邓宁,伊恩;穆拉德,混蛋;拉罗谢尔,雨果;贝勒马尔,马克G。;保龄球,迈克尔
2020
用信念基础反思认识逻辑。 Zbl 1435.03036号
洛里尼,埃米利亚诺
2020
由匹配问题诱导的联盟博弈:复杂性和Shapley值的可处理性孤岛。 Zbl 1482.91011号
格雷科,詹路易吉;卢皮亚,弗朗西斯科;史卡略,弗朗西斯科
2020
一阶认知规划的动态项模态逻辑。 Zbl 1471.68274号
奥奇皮蒂·利伯曼,安德烈斯;阿肯,安德烈亚斯;伦斯维格,拉斯穆斯·克鲁默
2020
基于DEL的认知规划:可决策性与复杂性。 Zbl 1493.68359
波兰德,托马斯;查理,特里斯坦;平奇纳特,索菲;施瓦岑特鲁伯,弗朗索瓦
2020
享乐博弈中帕累托最优的价格。 Zbl 07382215
Elkind,伊迪丝;范内利,安吉洛;弗拉米尼,米歇尔
2020
从具有封闭谓词的表达式描述逻辑到数据日志变量的多项式重写。 兹布1476.68250
艾哈迈塔伊,什奇波尼亚;奥尔蒂斯,玛格达琳娜;西姆库斯,螳螂
2
2020
自认知平衡逻辑与认知规范。 Zbl 1432.68453
苏,伊兹吉伊拉兹;法里尼亚斯德尔塞罗,路易斯;赫尔兹,安德烈亚斯
2
2020
不完全信息博弈中的有限前瞻性。 Zbl 1437.91067号
克洛尔,克里斯蒂安;桑德霍姆,托马斯
2
2020
CDCL SAT解算器中单元传播的活生生条款。 Zbl 1478.68325
李楚敏;萧,范;罗,毛;很多,费利普;吕志鹏;李玉
2
2020
论多数动态下意见扩散推理的复杂性。 Zbl 1454.91154
奥莱塔,文琴佐;费雷奥利,迪奥达托;格雷科,詹路易吉
2
2020
关于最优推荐集与近视最优查询集的等价性。 Zbl 1493.68353
维亚皮亚尼,保罗;布蒂利埃,克雷格
2
2020
非单调逻辑中不一致性的处理与度量。 Zbl 1493.68345
乌尔布里希特,马库斯;蒂姆,马提亚斯;布雷卡,格哈德
2
2020
自动时间均衡分析:多人博弈的验证与综合。 Zbl 1493.68360
古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔
2
2020
利用深度强化学习进行团队协商。 Zbl 07382214
巴赫拉,约兰;埃弗雷特,理查德;休斯,爱德华;拉扎里杜,安吉利基;雷波,乔尔兹。;兰科特,马克;约翰森,迈克尔;查内基,沃伊切赫M。;格雷佩尔,托尔
2
2020
基于批准的多赢家规则的功利主义福利和代表性保证。 Zbl 07382217
拉克纳,马丁;斯科隆,皮奥特
2
2020
用于字符串约束求解的虚线字符串。 Zbl 07382222
阿玛蒂尼,罗伯托;恒河,格雷姆;斯图基,彼得J。
2
2020
当自治代理模仿其他代理时:请求改变判断,再加上嘴巴、耳朵和多一点磁带。 兹布1476.68260
克兰德尔,雅各布W。
1
2020
通过编码经验和信念规划对不确定参数和agent行为进行推理。 Zbl 1476.68261
秋野林;A、 瑞肯,德克;长谷川,Tadaaki;戈瑞克,克里斯蒂安
1
2020
愤怒的小鸟的计算复杂性。 Zbl 1476.68224
斯蒂芬森,马修;伦兹,约琴;葛小雨
1
2020
用于表示和推理的知识图,具有论据的正面和负面影响。 Zbl 1435.68316
亨特,安东尼;波尔伯格,西尔维娅;蒂姆,马提亚斯
1
2020
具有不完全特权信息的鲁棒学习。 Zbl 1432.68393号
李,薛;杜波;徐,张;张一鹏;张乐飞;陶,大成
1
2020
调整肾脏交换算法以符合人类价值观。 Zbl 1433.68317号
自由人,瑞秋;博格,雅娜·谢奇;辛诺特·阿姆斯特朗,沃尔特;迪克森,约翰P。;康尼泽,文森特
1
2020
用约束规划计算AES相关的关键差分特性。 Zbl 1482.94049号
杰罗,大卫;拉福卡德,帕斯卡;米尼尔,海军陆战队;克莉丝汀,索侬
1
2020
梯度共轭先验和多层神经网络。 Zbl 1478.68287
古列维奇,帕维尔;斯图克,汉斯
1
2020
概率句可满足性:PSAT的一种方法。 Zbl 1478.68322
亨德森,T.C。;西蒙斯,R。;塞尔比诺夫斯基。;克莱恩,M。;萨哈尼,D。;风扇,X。;密切,A。
1
2020
生成硬随机布尔公式和析取逻辑程序的新模型。 Zbl 1478.68316
阿蒙多拉,乔瓦尼;里卡,弗朗西斯科;米罗斯拉夫特鲁兹钦斯基
1
2020
递归建模的其他代理决策:一个研究视角。 Zbl 1478.68381
多西,普拉尚;Gmytrasiewicz,皮奥特;德菲,埃德蒙
1
2020
通过阻尼和分裂控制DCOP上最大和的收敛性。 Zbl 1478.68319号
科恩,利尔;加利基,罗滕;Zivan,罗伊
1
2020
CPCES:一个通过反例引导的优化来解决符合规划问题的规划框架。 Zbl 1451.68248
阿尔班格拉斯蒂恩;斯卡拉,恩里科
1
2020
知道成功的代价。 Zbl 1451.68291
曹,芮;诺莫夫,帕维尔
1
2020
八卦的逻辑。 Zbl 1493.68346
van Ditmarsch,汉斯;范德霍克,威比;奎尔,卢威B。
1
2020
答案集编程中遗忘极限的研究。 Zbl 1493.68350
冈萨尔维斯,里卡多;克诺尔,马提亚斯;莱特,乔昂;沃尔特兰,斯特凡
1
2020
基于预图像估计的可解释时间序列核分析。 Zbl 1493.68319号
特朗,Thi Phuong Thao;Douzal Chouakria,啊拉梅;瓦拉斯特·亚兹迪,赛义德;亲爱的,保罗;加里纳里,帕特里克
1
2020
模因算法在多峰优化中优于进化算法。 Zbl 1493.68415
阮,潘仲海;苏霍尔特,德克
1
2020
设计伦理和法律推理的规范理论:登录键框架、方法和工具支持。 Zbl 1493.68286
克里斯托夫,本斯穆勒;家长,泽维尔;范德托瑞,利安德特
1
2020
评估行动计划的道德容许性。 Zbl 1493.68287号
林德纳,费利克斯;马图勒,罗伯特;内贝尔,伯恩哈德
1
2020
新方法中的旧技术:分句加权、单位繁殖和最大满足度杂交。 Zbl 1493.68340
蔡少伟;雷振东
1
2020
基于知识的程序作为部分可观察域的简洁策略。 Zbl 07382216
扎努蒂尼,布鲁诺;朗,杰罗姆;萨菲丁,阿卜杜拉;施瓦岑特鲁伯,弗朗索瓦
1
2020
人工智能需要的不仅仅是深入的学习,但究竟是什么呢? Zbl 07382229
伍尔德里奇,迈克尔
1
2020
人工智能解释:来自社会科学的见解。 Zbl 1478.68274号
米勒,蒂姆
50
2019
不可分割商品的民主公平分配。 Zbl 1482.91106
塞加尔·哈列维,艾瑞尔;苏克逊邦,瓦鲁特
8
2019
重温数据日志实质性维护。 Zbl 1478.68076
莫蒂克,鲍里斯;尼诺夫,亚弗;皮罗,罗伯特;霍洛克斯,伊恩
6
2019
2016年和2017年QBF solvers评估(QBFEVAL'16和QBFEVAL'17)。 Zbl 1478.68332
普利纳,卢卡;塞德尔,玛蒂娜
6
2019
忘记叉子里的辅助原子。 Zbl 1478.68338
阿加多,费利塞德;卡巴拉,佩德罗;范迪诺,豪尔赫;皮尔斯,大卫;佩雷斯,吉尔伯托;康塞普西翁维达尔
6
2019
不一致性度量的复杂性。 Zbl 1478.68359
蒂姆,马提亚斯;沃纳,Johannes P。
5
2019
论多单位市场中的社会无嫉妒。 Zbl 1482.91097号
弗拉米尼,米歇尔;毛罗,曼纽尔;托内利,马特奥
4
2019
基于ASP的语言中的恶性循环原理、集合和集合的形成。 Zbl 1478.68041
盖尔方德,迈克尔;张远林
4
2019
概念之间的类比。 Zbl 1478.68360
巴博特,N。;米克莱特,L。;普拉德,H。
4
2019
知道如何在不确定的情况下。 Zbl 1478.03027
诺莫夫,帕维尔;陶,贾
4
2019
独生子女拥挤博弈中的领导:什么是难的,什么是容易的。 Zbl 1482.91015号
卡斯蒂格利奥尼,马特奥;阿尔伯托马尔凯西;加蒂,尼古拉;科尼利奥,斯特凡诺
4
2019
强烈的不一致性。 Zbl 1478.68362
布雷卡,格哈德;蒂姆,马提亚斯;乌尔布里希特,马库斯
2019
概率抽象论证中基本问题的复杂性:超越独立性。 Zbl 1478.68352
费辛加,贝蒂娜;弗莱斯卡,塞尔吉奥;弗法罗,菲利波
2019
规划的后门。 Zbl 1478.68323
克罗内格,马丁;奥迪尼亚克,塞巴斯蒂安;安德烈亚斯,普芬德勒
2019
多机器人对抗性巡逻:处理连续攻击。 Zbl 1478.68379
林书豪,埃弗拉特;阿蒙,诺亚;克劳斯,萨瑞特
2019
…还有1453份文件
全部的 前5名

14275位作者引用

73 杜布瓦,迪迪埃
63 艾特,托马斯
62 普拉德,亨利M。
50 加贝,多夫·M。
44 伍尔德里奇,迈克尔J。
42 肖布,托尔斯滕H。
41 沃尔特兰,斯特凡
40 格特洛布,乔治
39 迪恩,蒂埃里
39 哈珀,约瑟夫·耶胡达
34 本费尔哈特,塞勒姆
34 克恩·伊斯伯纳,加布里埃尔
32 利昂,尼古拉
32 雅格,罗纳德R。
31 梁继业
31 钱玉华
31 罗思,Jörg Matthias
31 西玛里,吉列尔莫·里卡多
30 乔森,彼得A。
30 克劳斯,萨瑞特
29 库珀,马丁·C。
29 亨特,安东尼
29 范德霍克,威比
28 利夫希茨,弗拉基米尔
28 特鲁兹钦斯基,米洛斯ław
28 沃尔什,托比
28 扎法隆,马可
27 迪切特,瑞娜
26 阿里埃利,奥弗
26 Živný,斯坦尼斯拉夫
25 德雷特,卢克
24 德库曼,格特
24 德格兰德,詹姆斯P。
24 哥多,路易斯安那州
24 赫尔兹,安德烈亚斯
24 朗,杰罗姆
24 劳里,乔纳森
24 洛里尼,埃米利亚诺
24 卢卡西维奇,托马斯
24 席尔瓦侯爵。
24 van Ditmarsch,Hans Pieter
23 加利亚迪·科兹曼,法比奥
23 侯爵,皮埃尔
22 阿姆古德,莱拉
22 贝勒,克里斯托夫
22 布洛赫,伊莎贝尔
22 德斯特克,塞巴斯蒂安
22 格雷科,詹路易吉
22 杰文斯,彼得G。
22 马雷克,V.维克托
22 道德,塞拉芬
22 里古兹,法布里齐奥
22 范德托瑞,利安德特W.N。
21 法吉尔,Hélène
21 Ognjanović,佐兰
21 苏布拉曼尼亚,V.S。
20 贝斯纳德,菲利普
20 邓恩,保罗E。
20 井上,胜美
20 焦林,卢克
20 詹宁斯,尼古拉斯R。
20 林芳珍
20 史卡略,弗朗西斯科
20 斯科卡尔特,史蒂文
20 斯泽德,斯特凡
19 阿尔维亚诺,马里奥
19 巴拉尔,奇塔R。
19 Denecker,马克
19 格布瑟,马丁
19 格兰特,约翰·R。
19 利勒,尤利娅
19 桑德霍姆,图马斯W。
19 斯图基,彼得·詹姆斯
19 蒂姆,马提亚斯
19 你,贾淮
18 巴罗尼,皮埃特罗
18 卡巴拉,佩德罗
18 贾科莫,朱塞佩
18 Elkind,伊迪丝
18 茨城,东芝
18 拉布雷什,克里斯托夫
18 刘维如
18 珠儿,朱迪亚
18 斯特拉西亚,翁贝托
18 坦尼霍尔茨,摩舍
18 托尼,弗朗西丝卡
18 尹明浩
17 巴德尔,弗兰兹
17 贝西,克里斯蒂安
17 查克拉巴蒂,帕塔·普拉蒂姆
17 科恩,大卫A。
17 党,创银
17 费伯,沃尔夫冈
17 芬克,迈克尔
17 贾科明,马西米利亚诺
17 Kamide,Norihiro
17 马拉茶,马可
17 蒙塔纳里,安吉洛
17 里卡,弗朗西斯科
17 Shenoy,Prakash P。
…还有14175位作者
全部的 前5名

被546种期刊引用

1752年 人工智能
721 国际近似推理杂志
408 数学与人工智能年鉴
362 理论计算机科学
305 信息科学
242 逻辑程序设计理论与实践
236 欧洲运筹学杂志
223 模糊集与系统
180 机器学习
167 自动推理杂志
164 限制条件
156 应用非经典逻辑杂志
125 应用逻辑杂志
121 逻辑研究
120 合成语
109 计算机与系统科学杂志
109 模式识别
108 哲学逻辑杂志
97 运筹学年鉴
95 计算机与运筹学
89 信息与计算
87 信息处理信函
82 离散应用数学
81 杰泰。实验与理论人工智能杂志
81 人工智能研究杂志
74 算法
74 神经计算
70 国际不确定性、模糊性与知识系统杂志
63 逻辑、语言与信息杂志
62 计算机与数学及其应用
59 软计算
58 符号计算杂志
55 国际智能系统杂志
54 计算机科学与技术杂志
53 新一代计算
48 国际通用系统杂志
48 工程数学问题
47 博弈与经济行为
42 自动
39 数学社会科学
38 应用数学与计算
36 计算统计与数据分析
36 符号逻辑述评
34 数学成像与视觉杂志
33 全球最优化杂志
31 纯逻辑与应用逻辑年鉴
30 国际计算机视觉杂志
29 符号逻辑杂志
27 国际应用数学与计算机科学杂志
26 理论与决策
26 神经网络
26 埃尔肯特尼斯
26 机器学习研究杂志
26 计算逻辑学报
25 计算系统理论
25 数据挖掘与知识发现
25 计算机科学中的逻辑方法
24 国际计算机数学杂志
23 经济理论杂志
21 克贝内提卡
21 社会选择与福利
21 智能与机器人系统杂志
20 信息学报
20 数学心理学杂志
20 系统设计中的形式化方法
20 组合优化期刊
20 泛逻辑
19 暹罗计算机杂志
19 控制论与系统
19 国际生产研究杂志
19 计算的形式化方面
19 启发式杂志
19 通知杂志关于计算
19 游戏
18 数学与计算机建模
18 国际计算机与系统科学杂志
18 计算智能
17 应用智能
17 调度日志
16 生物控制论
16 国际系统科学杂志
16 圣母院形式逻辑杂志
16 离散事件动态系统
16 雷罗。运筹学
16 模糊优化与决策
16 理论生物学杂志
15 运筹学
15 人工智能通信
15 控制论与系统分析
14 逻辑与代数程序设计杂志
14 离散优化
14 新数学与自然计算
14 医学中的计算与数学方法
14 计算机科学前沿
13 离散数学
13 数学分析与应用杂志
13 模拟中的数学与计算机
12 统计年鉴
12 人工智能综述
12 数学规划。A系列。B系列
…还有446本杂志
全部的 前5名

在60个领域被引用

8110个 计算机科学(68-XX)
2200个 数理逻辑与基础(03-XX)
1354年 运筹学,数学规划(90-XX)
1247年 博弈论、经济学、金融学和其他社会和行为科学(91-XX)
745 统计学(62-XX)
305 组合数学(05-XX)
290 系统论;控制(93-XX)
262 信息与通信理论,电路(94-XX)
251 概率论与随机过程(60-XX)
226 生物学和其他自然科学(92-XX)
218 数值分析(65-XX)
113 序,格,有序代数结构(06-XX)
70 测量与集成(28-XX)
50 一般性和全局性主题;收藏(00-XX)
48 变分法与最优控制;优化(49-XX)
45 一般代数系统(08-XX)
35 历史与传记(01-XX)
30 动力系统与遍历理论(37-XX)
30 量子理论(81-XX)
28 常微分方程(34-XX)
28 凸与离散几何(52-XX)
26 粒子与系统力学(70-XX)
26 统计力学,物质结构(82-XX)
25 代数几何(14-XX)
25 一般拓扑(54-XX)
19 交换代数(13-XX)
19 几何学(51-XX)
18 偏微分方程(35-XX)
17 线性代数和多线性代数;矩阵理论(15-XX)
15 范畴论;同调代数(18-XX)
14 实函数(26-XX)
12 场论与多项式(12-XX)
11 微分几何(53-XX)
10 结合环与代数(16-XX)
10 可变形固体力学(74-XX)
10 地球物理学(86-XX)
9 数论(11-XX)
9 流体力学(76-XX)
8 近似和展开(41-XX)
8 功能分析(46-XX)
7 差分与泛函方程(39-XX)
7 算符理论(47-XX)
5 群论与推广(20-XX)
5 代数拓扑学(55-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)

按年份列出的引文