帕维尔·诺莫夫
人员信息
优化列表
2020年–今天
2024 [公元44年] 卡亚·德乌斯 , 姜俊丽 , 帕维尔·诺莫夫 , 张文轩 :
数据信息知识的动态逻辑。 J.菲洛斯。 日志。 53 ( 2 ) : 521-557 ( 2024 ) [c47] 姜俊丽 , 帕维尔·诺莫夫 :
道士策略的逻辑。 AAAI公司 2024 : 19876-19883 2023 [公元43年] 帕维尔·诺莫夫 , 贾涛 :
战略游戏中的反事实责任和看客责任。 Ann.纯粹应用。 日志。 174 ( 10 ) : 103353 ( 2023 ) [公元46年] 帕维尔·诺莫夫 , 奥利弗·奥雷霍拉 :
嘘! 秘密行动的逻辑。 国际JCAI 2023 : 3304-3311 [公元45年] 姜俊丽 , 帕维尔·诺莫夫 :
数据信息知识和策略(扩展摘要)。 国际JCAI 2023 : 6910-6914 [i31] 帕维尔·诺莫夫 , 奥利弗·奥雷霍拉 :
嘘! 秘密行动的逻辑。 CoRR公司 abs/2305.07035 ( 2023 ) [i30] 帕维尔·诺莫夫 , 安娜·奥夫钦尼科娃 :
自我中心背景下的De Re和De Dicto知识。 CoRR公司 abs/2308.00001 ( 2023 ) [i29] 姜俊丽 , 帕维尔·诺莫夫 :
道士策略的逻辑。 CoRR公司 abs/2312.07107 ( 2023 ) 2022 [公元42年] 蒋俊丽 , 帕维尔·诺莫夫 :
数据信息知识和策略。 Artif公司。 智力。 309 : 103727 ( 2022 ) [公元41年] 穆罕默德·迪夫班德·苏拉蒂 , 恩里科·H·格丁 , 恩里科·马尔基奥尼 , 帕维尔·诺莫夫 , 蒂莫西·诺曼 , 萨瓦帕利·D·拉姆特尔 , 巴哈尔·拉斯特加里 , 亚当·索贝 , 塞巴斯蒂安·斯坦因 , 达内什·塔波尔 , 瓦希德·亚兹丹帕纳 , 张杰(音译) :
从智能代理到值得信赖的以人为中心的多代理系统。 AI通讯。 35 ( 4 ) : 443-457 ( 2022 ) [j40] 帕维尔·诺莫夫 , 伊塔洛·西蒙利 :
多元矩阵缺口猜想。 IGTR公司 24 ( 三 ) : 2250005:1-2250005:17 ( 2022 ) [公元39年] 利亚·博佐内 , 帕维尔·诺莫夫 :
预算约束的联盟策略和折扣。 J.日志。 计算。 32 ( 4 ) : 832-851 ( 2022 ) [公元44年] 帕维尔·诺莫夫 , 张文轩 :
在黑暗中盛行:战略游戏中的信息墙。 AAAI公司 2022 : 5842-5850 [公元43年] 芮曹(Rui Cao) , 帕维尔·诺莫夫 :
战略游戏中道德的局限。 国际JCAI 2022 : 2561-2567 [公元42年] 蒋俊丽 , 帕维尔·诺莫夫 :
偏好的利己逻辑。 国际JCAI 2022 : 2676-2682 [公元41年] 姜俊丽 , 帕维尔·诺莫夫 :
在我们信任的数据中:基于信任的信念的逻辑。 国际JCAI 2022 : 2683-2689 [公元40年] 帕维尔·诺莫夫 , 袁媛 :
战略游戏中的智能(扩展摘要)。 国际JCAI 2022 : 5757-5761 [第28条] 索菲亚·奈特 , 帕维尔·诺莫夫 :
你的力量是什么 真集代数。 CoRR公司 abs/2208.04422 ( 2022 ) [i27] 穆罕默德·迪夫班德·苏拉蒂 , 恩里科·H·格尔丁 , 恩里科·马尔基奥尼 , 帕维尔·诺莫夫 , 蒂莫西·诺曼 , 萨瓦帕利·D·拉姆特尔 , 巴哈尔·拉斯特加里 , 亚当·索贝 , 塞巴斯蒂安·斯坦因 , 达内什·塔波尔 , 瓦希德·亚兹丹帕纳 , 张杰(音译) :
从智能代理到值得信赖的以人为中心的多代理系统。 CoRR公司 abs/2210.02260 ( 2022 ) 2021 [公元38年] 萨纳兹·阿齐米普尔 , 帕维尔·诺莫夫 :
中间性公理理论。 架构(architecture)。 数学。 日志。 60 ( 1-2 ) : 227-239 ( 2021 ) [公元37年] 帕维尔·诺莫夫 , 袁媛 :
战略游戏中的智能。 J.人工制品。 智力。 物件。 71 : 521-556 ( 2021 ) [公元36年] 帕维尔·诺莫夫 , 凯文·罗斯 :
随机博弈中的战略联盟。 J.日志。 计算。 31 ( 7 ) : 1845-1867 ( 2021 ) [j35] 卡亚·德乌斯 , 帕维尔·诺莫夫 :
战略知识获取。 ACM事务处理。 计算。 日志。 22 ( 三 ) : 17:1-17:18 ( 2021 ) [公元39年] 索菲亚·爱泼斯坦 , 帕维尔·诺莫夫 :
知者的认识逻辑。 AAAI公司 2021 : 11479-11486 [公元38年] 帕维尔·诺莫夫 , 瑞杰紫杉 :
战略游戏中的道德困境。 AAAI公司 2021 : 11613-11621 [公元37年] 帕维尔·诺莫夫 , 凯文·罗斯 :
理解与知识。 AAAI公司 2021 : 11622-11629 [公元36年] 利亚·博佐内 , 帕维尔·诺莫夫 :
带有折扣的预算约束联盟策略。 国际JCAI 2021 : 1808-1814 [公元35年] 帕维尔·诺莫夫 , 贾涛 :
战略游戏中的两种责任形式。 国际JCAI 2021 : 1989-1995 [公元34年] 帕维尔·诺莫夫 , 贾涛 :
可获得的知识和全能科学。 防水布 2021 : 251-265 [i26] 萨纳兹·阿齐米普尔 , 帕维尔·诺莫夫 :
如果你快乐,那么你知道:快乐的逻辑。。。 和悲伤。 CoRR公司 abs/2101.00485 ( 2021 ) [i25] 利亚·博佐内 , 帕维尔·诺莫夫 :
带有折扣的预算约束联盟策略。 CoRR公司 abs/2105.04692 ( 2021 ) 2020 [j34] 帕维尔·诺莫夫 , 贾涛 :
应受责备的认知逻辑。 Artif公司。 智力。 283 : 103269 ( 2020 ) [公元33年] 芮曹(Rui Cao) , 帕维尔·诺莫夫 :
知道成功的代价。 Artif公司。 智力。 284 : 103287 ( 2020 ) [公元32年] 卡亚·德乌斯 , 帕维尔·诺莫夫 :
关于有界重新调用计划的组成。 Artif公司。 智力。 289 : 103399 ( 2020 ) [公元31年] 科尔比·莫里森 , 帕维尔·诺莫夫 :
社交网络中的群体整合。 J.日志。 语言信息。 29 ( 1 ) : 3-19 ( 2020 ) [公元33年] 帕维尔·诺莫夫 , 贾涛 :
安全游戏中的责任。 AAAI公司 2020 : 2934-2941 [公元32年] 帕维尔·诺莫夫 , 贾涛 :
战略游戏中的警告义务。 美国原子能机构 2020 : 904-912 [公元31年] 帕维尔·诺莫夫 , 贾涛 :
不确定性下的知识(扩展摘要)。 国际JCAI 2020 : 5120-5124 【i24】 帕维尔·诺莫夫 , 凯文·罗斯 :
理解与知识。 CoRR公司 abs/2012.06561 ( 2020 ) [第23条] 索菲亚·爱泼斯坦 , 帕维尔·诺莫夫 :
知者的认识逻辑。 CoRR公司 abs/2012.06651 ( 2020 )
2010 – 2019
2019 【j30】 帕维尔·诺莫夫 , 贾涛 :
不确定性下的知识。 Artif公司。 智力。 276 : 41-56 ( 2019 ) [公元29年] 佐·克里斯托夫 , 帕维尔·诺莫夫 :
在社交网络中与顽固的代理人进行传播。 J.日志。 计算。 29 ( 1 ) : 53-70 ( 2019 ) [公元28年] 帕维尔·诺莫夫 , 贾涛 :
每个人都知道有人知道:量词胜于认识因素。 版本符号。 日志。 12 ( 2 ) : 255-270 ( 2019 ) [公元30年] 帕维尔·诺莫夫 , 贾涛 :
战略游戏中的责任。 AAAI公司 2019 : 3011-3018 [公元29年] 埃琳娜·日里亚埃娃 , 弗拉基米尔·诺莫夫 , 帕维尔·诺莫夫 :
经济数字化转型条件下俄罗斯联邦食品贸易出口集群的形成。 水果 2019 : 525-532 [i22] 芮曹(Rui Cao) , 帕维尔·诺莫夫 :
战略游戏中道德的局限。 CoRR公司 abs/1901.08467 ( 2019 ) 【i21】 帕维尔·诺莫夫 , 凯文·罗斯 :
随机博弈中的战略联盟。 CoRR公司 abs/1910.04489 ( 2019 ) [i20] 帕维尔·诺莫夫 , 袁媛 :
战略游戏中的智能。 CoRR公司 abs/1910.07298 ( 2019 ) [i19] 帕维尔·诺莫夫 , 贾涛 :
安全游戏中的罪责。 CoRR公司 abs/1910.08647 ( 2019 ) [i18] 帕维尔·诺莫夫 , 瑞杰紫杉 :
战略联盟的道德困境。 CoRR公司 abs/1911.00786 ( 2019 ) [i17] 帕维尔·诺莫夫 , 贾涛 :
战略游戏中的警告义务。 CoRR公司 abs/1912.02759 ( 2019 ) 2018 [公元27年] 帕维尔·诺莫夫 , 贾涛 :
我们一起知道如何实现:知识的认知逻辑。 Artif公司。 智力。 262 : 279-300 ( 2018 ) [公元26年] 萨纳兹·阿齐米普尔 , 帕维尔·诺莫夫 :
社交网络传播的灯塔原则。 拍打 5 ( 1 ) : 97-120 ( 2018 ) [公元25年] 卡亚·德乌瑟 , 帕维尔·诺莫夫 :
具有中间约束的可导航性。 J.日志。 计算。 28 ( 7 ) : 1647-1670 ( 2018 ) [公元28年] 帕维尔·诺莫夫 , 贾涛 :
完美召回战略联盟。 AAAI公司 2018 : 4702-4709 [公元27年] 卡亚·德乌斯 , 帕维尔·诺莫夫 :
阿姆斯特朗公理与导航策略。 AAAI公司 2018 : 6343-6350 [公元26年] 帕维尔·诺莫夫 , 贾涛 :
二级知识策略。 美国原子能机构 2018 : 390-398 [公元25年] 卡亚·德乌斯 , 帕维尔·诺莫夫 :
具有有限回忆的导航性。 韩国 2018 : 635-636 [公元24年] 帕维尔·诺莫夫 , 凯文·罗斯 :
灾难性故障系统中的战略联合。 韩国 2018 : 659-660 [i16] 帕维尔·诺莫夫 , 贾涛 :
战略游戏中的责任。 CoRR公司 abs/1809.05485 ( 2018 ) 【i15】 帕维尔·诺莫夫 , 贾涛 :
信息不完整的游戏中的责任。 CoRR公司 abs/1811.02446 ( 2018 ) 2017 [公元24年] 帕维尔·诺莫夫 , 贾涛 :
隐私的代价。 J.应用。 日志。 20 : 32-48 ( 2017 ) [公元23年] 帕维尔·诺莫夫 , 贾涛 :
营销对社交网络传播的影响。 J.应用。 日志。 20 : 49-74 ( 2017 ) [公元22年] 帕维尔·诺莫夫 , 贾涛 :
用于推理经济政策的模态逻辑。 J.日志。 计算。 27 ( 1 ) : 395-412 ( 2017 ) [公元21年] 帕维尔·诺莫夫 , 贾涛 :
通信网络知识。 J.日志。 计算。 27 ( 4 ) : 1189-1224 ( 2017 ) [公元20年] 帕维尔·诺莫夫 , 贾涛 :
预算约束下的信息流。 ACM事务处理。 计算。 日志。 18 ( 4 ) : 32:1-32:26 ( 2017 ) 【c23】 帕维尔·诺莫夫 , 贾涛 :
认识过渡系统中的联盟力量。 美国原子能机构 2017 : 723-731 [公元22年] 芮曹(Rui Cao) , 帕维尔·诺莫夫 :
多智能体系统中的预算约束动态。 国际JCAI 2017 : 915-921 【c21】 帕维尔·诺莫夫 , 贾涛 :
我们一起知道如何实现:知识的认识逻辑(扩展摘要)。 防水布 2017 : 441-453 [i14] 帕维尔·诺莫夫 , 贾涛 :
我们一起知道如何实现:一种认识论逻辑的知识。 CoRR公司 abs/1705.09349 ( 2017 ) [i13] 卡亚·德乌斯 , 帕维尔·诺莫夫 :
阿姆斯特朗公理与导航策略。 CoRR公司 abs/1707.04106 ( 2017 ) [i12] 帕维尔·诺莫夫 , 贾涛 :
战略联盟与完美召回。 CoRR公司 abs/1707.04298 ( 2017 ) [i11] 卡亚·德乌斯 , 帕维尔·诺莫夫 :
信息不完整的导航能力。 CoRR公司 abs/1707.08255 ( 2017 ) 2016 [公元19年] 帕维尔·诺莫夫 , 玛格丽特·普罗茨曼 :
纳什均衡的条件互换性。 J.日志。 计算。 26 ( 5 ) : 1421-1438 ( 2016 ) [公元18年] 帕维尔·诺莫夫 , 玛格丽特·普罗茨曼 :
细胞游戏中的平衡互换性。 J.日志。 计算。 26 ( 5 ) : 1637-1661 ( 2016 ) [公元17年] 克里斯汀·哈杰斯 , 帕维尔·诺莫夫 :
战略博弈中的功能依赖。 圣母院J.正式日志。 57 ( 三 ) : 341-353 ( 2016 ) [公元20年] 帕维尔·诺莫夫 , 贾涛 :
预算约束下的信息流。 杰莉亚 2016 : 353-368 [i10] 萨纳兹·阿齐米普尔 , 帕维尔·诺莫夫 :
社交网络传播的灯塔原则。 CoRR公司 abs/1601.04098 ( 2016 ) [第九章] 帕维尔·诺莫夫 , 贾涛 :
营销对社交网络传播的影响。 CoRR公司 abs/1601.05283 ( 2016 ) 2015 [公元16年] 帕维尔·诺莫夫 , 贾涛 :
自信的逻辑。 合成。 192 ( 6 ) : 1821-1838 ( 2015 ) [第19条] 帕维尔·诺莫夫 , 贾涛 :
多智能体系统中的预算约束知识。 美国原子能机构 2015 : 219-226 [i8] 帕维尔·诺莫夫 , 贾涛 :
通信网络知识。 CoRR公司 腹肌/1501.03028 ( 2015 ) [i7] 帕维尔·诺莫夫 , 贾涛 :
预算约束的功能依赖性。 CoRR公司 abs/1507.05964 ( 2015 ) 2014 [j15] 杰弗里·凯恩 , 帕维尔·诺莫夫 :
信息流中的对称性。 Ann.纯粹应用。 日志。 165 ( 1 ) : 253-265 ( 2014 ) [公元14年] 帕维尔·诺莫夫 , 布列塔尼·尼科尔斯 :
合理的功能依赖。 J.菲洛斯。 日志。 43 ( 2-3 ) : 603-616 ( 2014 ) [j13] 帕维尔·诺莫夫 , 伊塔洛·西蒙利 :
多层零和博弈中的严格均衡互换性。 J.日志。 计算。 24 ( 4 ) : 851-861 ( 2014 ) [公元12年] 杰弗里·凯恩 , 帕维尔·诺莫夫 :
关于超图常识的Ryōan-ji公理。 合成。 191 ( 14 ) : 3407-3426 ( 2014 ) [第18条] 扎卡里·赫克尔 , 帕维尔·诺莫夫 :
阿姆斯特朗公理的常识语义学。 沃尔利克 2014 : 181-194 [i6] 帕维尔·诺莫夫 , 玛格丽特·普罗茨曼 :
蜂窝游戏中的均衡互换性。 CoRR公司 abs/1402.1156 ( 2014 ) 2013 [公元11年] 帕维尔·诺莫夫 , 布列塔尼·尼科尔斯 :
多层次战略博弈中纳什均衡的互换性。 合成。 190 ( 补遗-1 ) : 57-78 ( 2013 ) [第17条] 杰弗里·凯恩 , 帕维尔·诺莫夫 :
对称与认识推理。 CLIMA公司 2013 : 190-205 [第16条] 克里斯汀·哈杰斯 , 帕维尔·诺莫夫 :
细胞博弈、纳什均衡和斐波那契数。 洛里 2013 : 149-161 [第15条] 杰弗里·凯恩 , 帕维尔·诺莫夫 :
通信链的认识逻辑。 防水布 2013 [c14] 帕维尔·诺莫夫 , 布列塔尼·尼科尔斯 :
R.E.条件独立公理化。 防水布 2013 [第13条] 克里斯汀·哈杰斯 , 帕维尔·诺莫夫 :
战略博弈中的功能依赖(扩展抽象)。 SR公司 2013 : 9-15 [i5] 克里斯汀·哈杰斯 , 帕维尔·诺莫夫 :
战略博弈中的功能依赖。 CoRR公司 abs/1302.0447 ( 2013 ) [i4] 杰弗里·凯恩 , 帕维尔·诺莫夫 :
通信链的认识逻辑。 CoRR公司 abs/1310.6424 ( 2013 ) [i3] 帕维尔·诺莫夫 , 布列塔尼·尼科尔斯 :
R.E.条件独立公理化。 CoRR公司 abs/1310.6430 ( 2013 ) 2012 [公元10年] 帕维尔·诺莫夫 :
信息空间的独立性。 Stud Logica公司 100 ( 5 ) : 953-973 ( 2012 ) [公元9年] Sara Miner More公司 , 帕维尔·诺莫夫 :
关于协议隐私的合作演算和基于游戏的推理。 ACM事务处理。 计算。 日志。 13 ( 三 ) : 22:1-22:21 ( 2012 ) [第12条] 莎拉·霍尔布鲁克 , 帕维尔·诺莫夫 :
信念形成网络中的容错。 杰莉亚 2012 : 267-280 2011 [j8] Sara Miner More公司 , 帕维尔·诺莫夫 :
多方秘密的超图。 安。数学。 Artif公司。 智力。 62 ( 1-2 ) : 79-101 ( 2011 ) [j7] Sara Miner More公司 , 帕维尔·诺莫夫 :
协作网络中的秘密逻辑。 Ann.纯粹应用。 日志。 162 ( 12 ) : 959-969 ( 2011 ) [第11条] Sara Miner More公司 , 帕维尔·诺莫夫 :
秘密超图上的函数依赖关系。 CLIMA公司 2011 : 29-40 [第10条] Sara Miner More公司 , 帕维尔·诺莫夫 , 本杰明·萨普 :
Geiger-Paz-Pearl独立公理的并发语义。 CSL公司 2011 : 443-457 【c9】 帕维尔·诺莫夫 , 布列塔尼·尼科尔斯 :
Geiger-Paz-Pearl独立公理的游戏语义。 洛里 2011 : 220-232 【c8】 Sara Miner More公司 , 帕维尔·诺莫夫 , 布列塔尼·尼科尔斯 , 安德鲁·杨 :
关于秘密的三元知识关系。 防水布 2011 : 46-54 【c7】 迈克尔·唐德斯 , Sara Miner More公司 , 帕维尔·诺莫夫 :
有向非循环图上的信息流。 沃尔利克 2011 : 95-109 2010 [j6] Sara Miner More公司 , 帕维尔·诺莫夫 :
秘密集的独立关系。 Stud Logica公司 94 ( 1 ) : 73-85 ( 2010 ) 【c6】 Sara Miner More公司 , 帕维尔·诺莫夫 :
多方秘密超图。 CLIMA公司 2010 : 15-32 【c5】 罗伯特·凯尔维 , Sara Miner More公司 , 帕维尔·诺莫夫 , 本杰明·萨普 :
秘密的独立性和功能依赖关系。 韩国 2010 [i2] Sara Miner More公司 , 帕维尔·诺莫夫 :
协作网络中秘密的功能依赖性。 CoRR公司 abs/1011.0399 ( 2010 )
2000 – 2009
2009 【c4】 Sara Miner More公司 , 帕维尔·诺莫夫 :
关于协作网络中秘密的相互依赖性。 防水布 2009 : 208-217 【c3】 Sara Miner More公司 , 帕维尔·诺莫夫 :
秘密集的独立关系。 沃尔利克 2009 : 296-304 2008 [j5] 帕维尔·诺莫夫 :
关于命题公式和命题证明的元复杂性。 架构(architecture)。 数学。 日志。 47 ( 1 ) : 35-52 ( 2008 ) 2006 【j4】 帕维尔·诺莫夫 :
有限使用某些图式的弗雷格证明复杂性的上界。 架构(architecture)。 数学。 日志。 45 ( 4 ) : 431-446 ( 2006 ) [j3] 帕维尔·诺莫夫 :
演绎闭包的模态逻辑。 Ann.纯粹应用。 日志。 141 ( 1-2 ) : 218-224 ( 2006 ) [注2] 帕维尔·诺莫夫 :
子类型的逻辑。 理论。 计算。 科学。 357 ( 1-3 ) : 167-185 ( 2006 ) 2005 [j1] 帕维尔·诺莫夫 :
部分递归函数的模态逻辑。 Stud Logica公司 81 ( 三 ) : 295-309 ( 2005 ) 2004 [i1] 帕维尔·诺莫夫 :
部分递归函数的模态逻辑。 CoRR公司 反恐精英。 LO/0407031 ( 2004 ) 2001 【c2】 帕维尔·诺莫夫 , 马克·奥利弗·斯特尔 , 何塞·梅塞盖尔 :
HOL/NuPRL证明翻译器(形式互操作性的实用方法)。 TPHOL公司 2001 : 329-345 2000 [c1] 罗伯特·L·康斯特布尔 , 保罗·杰克逊 , 帕维尔·诺莫夫 , 胡安·乌里韦 :
构造性地形式化自动机理论。 证明、语言和互动 2000 : 213-238
1990 – 1999
1998 【b1】 帕维尔·诺莫夫 :
规范化NuPRL中的引用类型。 美国康奈尔大学, 1998