Nils斗牛
人员信息
优化列表
2020年–今天
2022 [公元16年] Nils斗牛 , 瓦伦丁·戈兰科 :
在并发多层游戏中结合定量和定性推理。 自动。 Agent多Agent系统。 36 ( 1 ) : 2 ( 2022 ) [公元33年] Nils斗牛 , 瓦伦丁·戈兰科 :
在并发多人游戏中结合定量和定性推理。 美国原子能机构 2022 : 1926-1928
2010 – 2019
2019 [公元15年] Nils斗牛 , 沃伊西奇·贾姆罗加 , 马泰·波波维奇 :
关于战略能力的推理:具有真正完美召回的代理。 ACM事务处理。 计算。 日志。 20 ( 2 ) : 10:1-10:46 ( 2019 ) 2018 [公元14年] 娜塔莎·阿列奇纳 , Nils斗牛 , 斯特凡·德姆里 , 布莱恩·洛根 :
关于资源约束逻辑的复杂性。 西奥。 计算。 科学。 750 : 69-100 ( 2018 ) 2017 [j13] 娜塔莎·阿列奇纳 , Nils斗牛 , 布莱恩·洛根 , 黄义恩(Hoang Nga Nguyen) :
空闲的优点:资源代理逻辑的一个可决定的片段。 Artif公司。 智力。 245 : 56-85 ( 2017 ) 2016 [公元12年] Nils斗牛 , 迈赫迪·达斯坦尼 :
基于规范的机制设计。 Artif公司。 智力。 239 : 97-142 ( 2016 ) [公元11年] Nils斗牛 :
多智能体系统专题。 安。数学。 Artif公司。 智力。 78 ( 1 ) : 1-2 ( 2016 ) [公元10年] Nils斗牛 , 威比·范德霍克 :
多代理系统逻辑方面专题。 Stud Logica公司 104 ( 4 ) : 593-595 ( 2016 ) [公元32年] Nils斗牛 , 科恩·V·欣德里克斯 :
布尔谈判游戏。 ECAI的COREDEMA 2016 : 1月18日 [公元31年] 低音测试器 , 迈赫迪·达斯坦尼 , Nils斗牛 :
规范实施的分布式控制器。 ECAI公司 2016 : 751-759 [公元30年] Nils斗牛 , 科恩·V·欣德里克斯 :
布尔谈判游戏。 ECAI公司 2016 : 1748-1749 [公元29年] 娜塔莎·阿列奇纳 , Nils斗牛 , 斯特凡·德姆里 , 布莱恩·洛根 :
论资源基础逻辑的复杂性。 RP公司 2016 : 36-50 2015 [公元9年] Nils斗牛 , 马泰·波波维奇 :
一种游戏理论方法,用于计算移动自组网中的稳定拓扑。 J.日志。 计算。 25 ( 三 ) : 639-667 ( 2015 ) [公元28年] 低音测试器 , Nils斗牛 , 迈赫迪·达斯坦尼 :
协作监视器的安全性和稳健性。 AAMAS货币 /国际JCAI 2015 : 376-395 [公元27年] 娜塔莎·阿列奇纳 , Nils斗牛 , 迈赫迪·达斯坦尼 , 布莱恩·洛根 :
有界前瞻的实际运行时规范实施。 美国原子能机构 2015 : 443-451 [c26] 低音测试器 , Nils斗牛 , 迈赫迪·达斯坦尼 :
协作运行时验证模型。 美国原子能机构 2015 : 1781-1782 [公元25年] 娜塔莎·阿列奇纳 , Nils斗牛 , 布莱恩·洛根 , 黄义恩(Hoang Nga Nguyen) :
关于(不)可判定性的边界:资源代理逻辑片断的可判定模型检查。 国际JCAI 2015 : 1494-1501 [公元24年] Nils斗牛 , 黄岩阮 :
通过交替Büchi Pushdown系统对具有共享资源的资源受限系统进行模型检查。 主要的 2015 : 640-649 [第2页] Nils斗牛 , 瓦伦丁·戈兰科 , 沃伊西奇·贾姆罗加 :
多人游戏中战略能力推理的逻辑。 战略推理模型 2015 : 93-136 [电子3] Nils斗牛 :
多代理系统——第十二届欧洲会议,EUMAS 2014,捷克共和国布拉格,2014年12月18-19日,修订论文集。 计算机科学课堂讲稿 8953中, 施普林格 2015 ,国际标准图书编号 978-3-319-17129-6 [目录] [电子2] Jörg P.Müller先生 , 沃尔夫·凯特 , 加尔·卡明卡 , 格德·瓦格纳 , Nils斗牛 :
Multiagent System Technologies-第13届德国会议,MATES 2015,德国科特布斯,2015年9月28日至30日,修订论文集。 计算机科学课堂讲稿 9433, 施普林格 2015 ,十亿 978-3-319-27342-6 [目录] [i2] Nils斗牛 , 黄义恩(Hoang Nga Nguyen) :
通过交替Büchi Pushdown系统对具有共享资源的资源受限系统进行模型检查。 CoRR公司 abs/1508.02326 ( 2015 ) 2014 [j8] Nils斗牛 , 沃伊西奇·贾姆罗加 :
比较不同的战略能力:不确定性和记忆如何影响游戏的一般属性。 自动。 Agent多Agent系统。 28 ( 三 ) : 474-518 ( 2014 ) [j7] Nils斗牛 :
多主体决策专题。 昆士利希情报。 28 ( 三 ) : 143-146 ( 2014 ) [j6] Nils斗牛 :
多智能体决策综述。 昆士利希情报。 28 ( 三 ) : 147-158 ( 2014 ) [j5] Nils斗牛 :
萨里特·克劳斯教授访谈。 昆士利希情报。 28 ( 三 ) : 215-221 ( 2014 ) 【c23】 Nils斗牛 , 沃伊西奇·贾姆罗加 , 马泰·波波维奇 :
在交替时间时序逻辑中具有真正完美回忆的代理。 美国原子能机构 2014 : 1561-1562 [公元22年] Nils斗牛 , 沃伊西奇·贾姆罗加 , 马泰·波波维奇 :
ATL*具有真正完美的回忆:表达性和有效性。 ECAI公司 2014 : 177-182 【c21】 Nils斗牛 :
基于布尔博弈的社会技术系统建模。 MATES公司 2014 : 7-25 [电子1] Nils斗牛 , Leendert W.N.van der Torre(林德特·范德托雷) , 塞雷娜·维拉塔 , 沃伊特克·贾姆罗加 , Wamberto Weber Vasconcelos公司 :
多智能体系统中的计算逻辑——第十五届国际研讨会,CLIMA XV,捷克共和国布拉格,2014年8月18-19日。 诉讼程序。 计算机科学课堂讲稿 8624, 施普林格 2014 ,国际标准图书编号 978-3-319-09763-3 [目录] [i1] 托马斯·奥戈特斯 , Nils斗牛 :
协调多代理系统的形式方法(Dagstuhl研讨会14332)。 Dagstuhl报告 4 ( 8 ) : 21-44 ( 2014 ) 2013 [公元20年] Nils斗牛 , 迈赫迪·达斯坦尼 , 马克斯·诺布特 :
监测多智能体系统中的规范违反。 美国原子能机构 2013 : 491-498 [第19条] Nils斗牛 , 迈赫迪·达斯坦尼 :
战略环境中的联合责任。 CLIMA公司 2013 : 172-189 [第18条] Nils斗牛 , 苏亚塔·戈什 , 雷内克言语 :
不吐豆子实现目标:布尔保密游戏。 主要的 2013 : 37-53 [第17条] Nils斗牛 , 瓦伦丁·戈兰科 :
如何既富有又快乐:关于多人游戏的定量和定性战略推理相结合(扩展摘要)。 SR公司 2013 : 33-41 2012 [第16条] Nils斗牛 , 迈克尔·科斯特 , 马泰·波波维奇 :
机会主义网络中最优网络拓扑的博弈论方法。 CLIMA公司 2012 : 128-145 2011 [第15条] Nils斗牛 , 科恩·V·欣德里克斯 :
控制线性时间BDI逻辑的复杂性。 美国原子能机构 2011 : 275-282 [第14条] Nils斗牛 , 迈赫迪·达斯坦尼 :
规范程序和规范机制设计。 美国原子能机构 2011 : 1187-1188 [第13条] Nils斗牛 , 迈赫迪·达斯坦尼 :
通过规范机制设计验证规范行为。 国际JCAI 2011 : 103-108 [c12] Nils斗牛 , 沃伊西奇·贾姆罗加 :
交替认知Mu微积分。 国际JCAI 2011 : 109-114 [第11条] 沃伊西奇·贾姆罗加 , Nils斗牛 :
比较不同的战略能力。 国际JCAI 2011 : 252-257 2010 【b1】 Nils斗牛 :
理性代理的建模和验证能力。 克劳斯塔尔科技大学, Papierlieger-Verlag公司 2010 ,十亿 978-3-942216-41-8 【j4】 Nils斗牛 , 尤尔根·迪克斯 :
使用Arguration和ATL对联合进行建模和验证。 智能工艺。 14 ( 46 ) : 45-73 ( 2010 ) [j3] Nils斗牛 , 沃伊西奇·贾姆罗加 :
使用内存验证代理比看起来更难。 AI通讯。 23 ( 4 ) : 389-403 ( 2010 ) [第10条] Nils斗牛 , 沃伊西奇·贾姆罗加 :
使用内存验证代理比看起来更难。 美国原子能机构 2010 : 699-706 【c9】 Nils斗牛 , 伯恩特·法尔 :
关于模型检查资源型Agent的(不)可判定性。 ECAI公司 2010 : 567-572 [第1页] Nils斗牛 :
Fähigkeiten配给代理的建模与验证。 Ausgezeichnete信息发布 2010 : 61-70
2000 – 2009
2009 [注2] Nils斗牛 , 沃伊西奇·贾姆罗加 :
代理可能强制执行的内容。 芬丹。 信息学 93 ( 1-3 ) : 81-96 ( 2009 ) 【c8】 Nils斗牛 , 沃伊西奇·贾姆罗加 :
理性游戏和不确定性下的理性信念。 美国原子能机构协会(1) 2009 : 257-264年 【c7】 Nils斗牛 , 伯恩特·法尔 :
表示基于资源的系统的属性:Logics RTL * 和RTL。 CLIMA公司 2009 : 22至45 【c6】 Nils斗牛 , 科恩·V·欣德里克斯 :
面向Rational Agent通信的验证框架。 MATES公司 2009 : 177-182 2008 [j1] Nils斗牛 , 沃伊西奇·贾姆罗加 , 尤尔根·迪克斯 :
理性游戏的时间属性推理。 安。数学。 Artif公司。 智力。 53 ( 1-4 ) : 51-114 ( 2008 ) 【c5】 Nils斗牛 , 卡洛斯·伊万·切斯尼瓦尔 , 尤尔根·迪克斯 :
使用ATL建模联合体的一种有争议的方法。 ArgMAS公司 2008 : 197-216 【c4】 Nils斗牛 , 尤尔根·迪克斯 , 卡洛斯·伊万·切斯尼瓦尔 :
联盟建模:ATL+论证。 美国原子能机构协会(2) 2008 : 681-688 2007 【c3】 沃伊西奇·贾姆罗加 , Nils斗牛 :
推理理性代理的框架。 美国原子能机构 2007 : 88 【c2】 Nils斗牛 , 沃伊西奇·贾姆罗加 :
时间背景下的代理人、信仰和看似合理的行为。 美国原子能机构 2007 : 146 【c1】 沃伊西奇·贾姆罗加 , Nils斗牛 :
推理理性代理的逻辑。 CLIMA公司 2007 : 42-61