编辑配置文件(在新选项卡中打开) 保罗·托罗尼 合著者距离 作者ID: 意大利面条 发布日期: 保罗·托罗尼;托罗尼,P。 外部链接: ORCID公司 已编制索引的文档: 33出版物自2000年起 17作为编辑的贡献 合著者: 55位合著者具有48联合出版物 954位合作作者 全部的 前5名合著者 2 单作者的 20 保罗·梅洛 15 伊芙琳娜·拉姆 10 马尔科·阿尔贝蒂 10 马可·加瓦内利 9 费德里科·切萨尼 7 约昂·莱特 7 马可·蒙塔利 6 弗朗西丝卡·托尼 5 安娜·齐安波里尼 三 奥祖尔·卡法尔 三 儿子Tran Cao 三 范德托雷,Leendert W.N。 2 托马斯·奥戈特内斯 2 马蒂奥·巴多尼 2 斯蒂法诺·比斯塔雷利 2 圭多·波埃拉 2 陈清亮 2 梅迪·达斯坦尼(Mehdi M.Dastani)。 2 马可·马拉提亚 2 安德烈亚·奥米西尼 2 法里巴·萨德里 2 塞雷娜·维拉塔 2 斯特凡·沃尔特兰 1 胡安·阿尔贝罗拉(Juan M.Alberola)。 1 埃瓦·安德烈祖克 1 拜迪奇,科斯汀 1 克里斯蒂娜·巴罗利奥 1 罗西·巴鲁菲 1 安德烈亚·克拉克·布拉夏利 1 Stefano Bragaglia 1 沃哈·布莱尔 1 阿米特·乔普拉。 1 亚历山德罗·达尔·帕卢 1 El Fallah Seghrouchni,阿马尔 1 阿马尔·塞格鲁奇尼(El Fallah Segrouchni,Amal) 1 贝蒂娜·法辛加 1 安德烈亚·福米萨诺 1 莎拉·爱丽丝·加格尔 1 安德烈亚·加拉西 1 平山、胜都 1 徐,简容珍 1 米尔贾纳·伊万诺维奇 1 雅尼斯·马诺洛普洛斯 1 利安德罗·马可利诺 1 维维亚娜·马斯卡迪 1 米歇拉·米兰 1 胡安·卡洛斯·尼维斯 1 里卡多·罗萨蒂 1 弗朗西斯科·桑蒂尼 1 乔瓦尼·萨托 1 伊凡·塞琳娜 1 塞萨尔·斯特凡内利 1 塞尔吉奥·斯托拉里 1 汉内斯·斯特拉斯 1 尼古拉·赞诺 全部的 前5名系列 9 计算机基础理论 8 计算机科学课堂讲稿 三 数学与人工智能年鉴 2 逻辑与计算杂志 1 计算机语言 1 计算与数学组织理论 1 ACM计算逻辑事务 1 多代理和网格系统 领域 50 计算机科学(68至XX) 17 总体主题;集合(00-XX) 三 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物被引用67中的次42文件 引用人▼ 年份▼ 诱因逻辑编程中的可验证代理交互:SCIFF框架。 Zbl 1367.68273号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 13 2008 使用逻辑编程验证声明性规范。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛 5 2008 使用社会诚信约束规范和验证代理交互。 Zbl 1270.68160号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 5 2004 谈判代理的诱因逻辑编程体系结构。 兹比尔1013.68205 法里巴·萨德里;弗朗西丝卡·托尼;保罗·托罗尼 5 2002 及时的社会承诺:满足或补偿。 Zbl 1274.68592号 保罗·托罗尼;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利 4 2010 多智能体系统中信息交换的诱因框架。 Zbl 1110.68503号 马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 4 2004 一种基于逻辑的、反应式的事件演算。 Zbl 1209.68520号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 4 2010 ALIAS中的合作与竞争:谈判代理的逻辑框架。 Zbl 1023.68095号 安娜·齐安波里尼;伊芙琳娜·拉姆;保罗·梅洛;弗朗西丝卡·托尼;保罗·托罗尼 4 2003 将道义运算符映射到诱拐期望。 Zbl 1103.68665号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼;乔瓦尼·萨托 三 2006 用于监控全局计算应用程序的反应事件演算。 Zbl 1356.68214号 斯特凡诺·布拉加格里亚;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 2 2012 关于将声明性编舞和基于承诺的代理社会集成到SCIFF逻辑编程框架中。 Zbl 1205.68438号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;塞尔吉奥·斯托拉里;保罗·托罗尼 2 2010 开放代理社会的诱拐性解释。 兹比尔1274.68575 阿尔贝蒂,M。;M.加瓦内利。;E.拉姆。;梅洛,P。;托罗尼,P。 2 2003 LAILA:一种用于协调逻辑代理之间的溯因推理的语言。 Zbl 0997.68015号 安娜·齐安波里尼;伊芙琳娜·拉姆;梅洛,保拉;保罗·托罗尼 2 2002 用于规范和验证代理社会的SOCS计算逻辑方法。 Zbl 1111.68494号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2005 CIFF绑架证明程序。 Zbl 1155.68517号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2005 \({\mathcal B}\)-对流层。面向代理的需求工程满足声明性业务流程建模和验证的计算逻辑。 Zbl 1175.68453号 沃哈·布莱尔;保罗·梅洛;马可·蒙塔利;保罗·托罗尼;尼古拉·赞诺 1 2009 使用溯因推理规范和验证代理交互。 Zbl 1236.68252号 费德里科·切萨尼;马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 1 2006 代理、多代理系统和声明式编程:什么、何时、何地、为什么、谁、如何? Zbl 1285.68188号 马蒂奥·巴多尼;克里斯蒂娜·巴罗格里奥;维维亚娜·马斯卡迪;安德烈亚·奥米西尼;保罗·托罗尼 1 2010 基于道义约束的社会ACL语义。 兹比尔1047.68651 马尔科·阿尔贝蒂;安娜·齐安波里尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 1 2003 诱拐逻辑代理的实现。 Zbl 0970.68615号 奇安波里尼,A。;E.拉姆。;梅洛,P。;Stefanelli,C。;托罗尼,P。 1 2000 多智能体系统中的计算逻辑:最新进展和未来方向。 Zbl 1059.68132号 保罗·托罗尼 1 2004 关于合同例外情况的推理。 Zbl 1348.68259号 奥祖尔·卡法尔;弗朗西丝卡·托尼;保罗·托罗尼 1 2011 社会承诺授权和监督。 Zbl 1348.68260号 奥祖尔·卡法尔;保罗·托罗尼 1 2011 用于监控全局计算应用程序的反应事件演算。 Zbl 1356.68214号 斯特凡诺·布拉加格里亚;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 2 2012 关于合同例外情况的推理。 Zbl 1348.68259号 奥祖尔·卡法尔;弗朗西丝卡·托尼;保罗·托罗尼 1 2011 社会承诺授权和监督。 兹比尔1348.68260 奥祖尔·卡法尔;保罗·托罗尼 1 2011 及时的社会承诺:满足或补偿。 Zbl 1274.68592号 保罗·托罗尼;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利 4 2010 基于逻辑的反应式事件演算。 Zbl 1209.68520号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 4 2010 关于将声明性编舞和基于承诺的代理社会集成到SCIFF逻辑编程框架中。 Zbl 1205.68438号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;塞尔吉奥·斯托拉里;保罗·托罗尼 2 2010 代理、多代理系统和声明式编程:什么、何时、何地、为什么、谁、如何? Zbl 1285.68188号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;维维亚娜·马斯卡迪;安德烈亚·奥米西尼;保罗·托罗尼 1 2010 \({\mathcal B}\)-对流层。面向代理的需求工程满足声明性业务流程建模和验证的计算逻辑。 Zbl 1175.68453号 沃哈·布莱尔;保罗·梅洛;马可·蒙塔利;保罗·托罗尼;尼古拉·赞诺 1 2009 诱因逻辑编程中的可验证代理交互:SCIFF框架。 Zbl 1367.68273号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 13 2008 使用逻辑编程验证声明性规范。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛 5 2008 将道义运算符映射到溯因期望。 Zbl 1103.68665号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼;乔瓦尼·萨托 三 2006 使用溯因推理规范和验证代理交互。 Zbl 1236.68252号 费德里科·切萨尼;马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 1 2006 用于规范和验证代理社会的SOCS计算逻辑方法。 Zbl 1111.68494号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2005 CIFF绑架证明程序。 Zbl 1155.68517号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2005 使用社会诚信约束规范和验证代理交互。 Zbl 1270.68160号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 5 2004 多智能体系统中信息交换的诱因框架。 Zbl 1110.68503号 马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 4 2004 多智能体系统中的计算逻辑:最新进展和未来方向。 Zbl 1059.68132号 保罗·托罗尼 1 2004 ALIAS中的合作与竞争:谈判代理的逻辑框架。 Zbl 1023.68095号 安娜·齐安波里尼;伊芙琳娜·拉姆;保罗·梅洛;弗朗西丝卡·托尼;保罗·托罗尼 4 2003 开放代理社会的诱拐性解释。 Zbl 1274.68575号 阿尔伯蒂,M。;M.加瓦内利。;E.拉姆。;梅洛,P。;托罗尼,P。 2 2003 基于道义约束的社会ACL语义。 Zbl 1047.68651号 马尔科·阿尔贝蒂;安娜·齐安波里尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 1 2003 谈判代理的诱因逻辑编程体系结构。 Zbl 1013.68205号 法里巴·萨德里;弗朗西丝卡·托尼;保罗·托罗尼 5 2002 LAILA:一种用于协调逻辑代理之间的溯因推理的语言。 Zbl 0997.68015号 安娜·齐安波里尼;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2002 诱拐逻辑代理的实现。 Zbl 0970.68615号 奇安波里尼,A。;E.拉姆。;梅洛,P。;斯特凡内利,C。;托罗尼,P。 1 2000 所有引用出版物 前5名被引用出版物 全部的 前5名107位作者引用 7 伊芙琳娜·拉姆 6 马尔科·阿尔贝蒂 6 保罗·托罗尼 5 马可·加瓦内利 5 法布里西奥·里古齐 4 保罗·梅洛 4 里卡多·泽斯 三 埃琳娜·贝洛迪 三 奥祖尔·卡法尔 三 法里巴·萨德里 三 恰基萨卡马 三 弗朗西丝卡·托尼 2 高文伯恩 2 海宁·克里斯蒂安森 2 劳拉·佐丹奴 2 罗伯特·A·科瓦尔斯基。 2 阿尔贝托·马泰利 2 尼古拉斯·莫代特 2 马可·蒙塔利 2 恩里科·蓬泰利 2 肯·佐藤 2 儿子Tran Cao 1 亚历克斯·阿布因 1 沃尔夫冈·阿伦特 1 Jean-Marc阿利奥特 1 阿米拉特,亚辛 1 亚历山大·阿提基斯 1 达米亚诺·阿佐利尼 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 亚历山大·博洛托夫 1 Broersen,Jan M。 1 安东尼奥·布罗吉 1 Bryl,沃尔哈 1 阿尔弗雷多·布里耶扎 1 Chen,Jim X。 1 陈,吴 1 费德里科·切萨尼 1 阿卜杜勒加尼·奇巴尼 1 克里斯蒂安·科伦坡 1 斯蒂芬·克雷菲尔德 1 佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达 1 马西米利亚诺·德·利奥尼 1 皮耶朗基罗·德尔·阿夸 1 罗伯特·德莫洛姆 1 里德万·德沃波拉沃 1 马丁·迪格斯 1 尤尔根·迪克斯 1 董泽刚 1 El Fallah Seghrouchni,阿马尔 1 叶希亚·埃尔拉凯比 1 乌尔·恩德里斯 1 伊利耶斯·法尔科内 1 路易斯·法利尼亚斯·德尔·塞罗 1 斯特凡诺·费里利 1 迈克尔·费希尔 1 阿德里安·弗兰卡兰扎 1 Dov M.加巴伊。 1 吉安路易吉·格雷科 1 亚历杭德罗·格雷兹 1 大卫·格罗西 1 韩,杜杜克 1 蒙特塞拉特赫莫 1 Sr Djan Krstić 1 罗伯特·史蒂文·莱德利 1 埃米利亚诺·洛里尼 1 Lourenço,Joáo M。 1 帕基·卢西奥 1 埃文格洛斯·马克里斯 1 保罗·曼卡雷拉 1 费利克斯·曼哈特 1 路易斯·莫尼兹·佩雷拉 1 埃米利奥·穆尼奥斯·韦拉斯科 1 Nguyen、Ngoc-Heeu 1 德扬·尼科维奇 1 纳吉·奥贝德 1 戈登·佩斯。 1 乔治·巴利乌拉斯 1 家长,Xavier 1 西奥多·帕特科斯 1 Phan Minh Dung公司 1 普列克索萨基斯,迪米特里斯 1 Hajo A.Reijers。 1 克里斯蒂安·里维罗斯 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 阿里·萨普塔维贾亚 1 乔瓦尼·萨托 1 杰拉尔多·施奈德 1 弗朗索瓦州施瓦岑特鲁伯 1 卡米拉·施温德。 1 Signoles,朱利安 1 Stathis,科斯塔斯 1 塞尔吉奥·斯托拉里 1 贾科莫·特雷尼 1 潘明·唐恩 1 德米特里·特拉泰尔 1 卢卡·图姆莫里尼 1 保罗·图里尼 1 马丁·乌加特 …还有7位作者 全部的 前5名16篇连载文章中引用 5 数学与人工智能年鉴 4 逻辑程序设计理论与实践 三 应用逻辑杂志 2 计算与数学组织理论 1 计算 1 哲学逻辑杂志 1 国际近似推理杂志 1 机器学习 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 计算智能 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 41 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文