编辑配置文件(在新选项卡中打开) 费德里科·切萨尼 合著者距离 作者ID: 切萨尼·费德里科 发布日期: 费德里科·切萨尼 已编制索引的文档: 13出版物自2005年以来 合著者: 15位合著者具有12联合出版物 144位合作作者 全部的 前5名合著者 1 单作者的 12 保罗·梅洛 9 马可·蒙塔利 9 保罗·托罗尼 6 伊芙琳娜·拉姆 5 马尔科·阿尔贝蒂 5 马可·加瓦内利 2 迪弗朗切斯科马里诺,奇亚拉 2 基亚拉·吉迪尼 2 塞尔吉奥·特萨利斯 1 斯特凡诺·布拉加格里亚 1 里卡多·德·马塞利斯 1 朱利亚·格兰德勒 1 达妮埃拉·洛雷蒂 1 法布里奇奥·玛丽亚·马吉 1 塞尔吉奥·斯托拉里 系列 4 计算机基础理论 1 ACM计算逻辑事务 1 多代理和网格系统 字段 13 计算机科学(68至XX) 2 运筹学、数学编程(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用33中的次25文件 引用人▼ 年份▼ 诱因逻辑编程中的可验证代理交互:SCIFF框架。 Zbl 1367.68273号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 13 2008 使用逻辑编程验证声明性规范。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛 5 2008 基于逻辑的反应式事件演算。 Zbl 1209.68520号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 4 2010 及时的社会承诺:满足或补偿。 Zbl 1274.68592号 保罗·托罗尼;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利 4 2010 用于监控全局计算应用程序的反应事件演算。 Zbl 1356.68214号 斯特凡诺·布拉加格里亚;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 2 2012 用于规范和验证代理社会的SOCS计算逻辑方法。 Zbl 1111.68494号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2005 关于将声明性编舞和基于承诺的代理社会集成到SCIFF逻辑编程框架中。 Zbl 1205.68438号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;塞尔吉奥·斯托拉里;保罗·托罗尼 2 2010 使用溯因推理规范和验证代理交互。 Zbl 1236.68252号 费德里科·切萨尼;马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 1 2006 用于监控全局计算应用程序的反应事件演算。 Zbl 1356.68214号 斯特凡诺·布拉加格里亚;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 2 2012 基于逻辑的反应式事件演算。 Zbl 1209.68520号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 4 2010 及时的社会承诺:满足或补偿。 Zbl 1274.68592号 保罗·托罗尼;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利 4 2010 关于将声明性编舞和基于承诺的代理社会集成到SCIFF逻辑编程框架中。 Zbl 1205.68438号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;塞尔吉奥·斯托拉里;保罗·托罗尼 2 2010 诱因逻辑编程中的可验证代理交互:SCIFF框架。 Zbl 1367.68273号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 13 2008 使用逻辑编程从声明性规范进行验证。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛 5 2008 使用溯因推理规范和验证代理交互。 Zbl 1236.68252号 费德里科·切萨尼;马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 1 2006 用于规范和验证代理社会的SOCS计算逻辑方法。 Zbl 1111.68494号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名74位作者引用 7 伊芙琳娜·拉姆 6 马尔科·阿尔贝蒂 6 保罗·托罗尼 5 马可·加瓦内利 5 法布里西奥·里古齐 4 保罗·梅洛 4 里卡多·泽斯 三 埃琳娜·贝洛迪 三 奥祖尔·卡法尔 2 马可·蒙塔利 2 萨德里,法里巴 2 弗朗西丝卡·托尼 1 亚历克斯·阿布因 1 沃尔夫冈·阿伦特 1 亚西内·阿米拉特 1 亚历山大·阿提基斯 1 达米亚诺·阿佐利尼 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 亚历山大·博洛托夫 1 Broersen,Jan M。 1 沃哈·布莱尔 1 费德里科·切萨尼 1 阿卜杜勒加尼·奇巴尼 1 海宁·克里斯蒂安森 1 克里斯蒂安·科伦坡 1 斯蒂芬·克雷菲尔德 1 皮耶朗基罗·德尔·阿夸 1 里德万·德沃波拉沃 1 尤尔根·迪克斯 1 叶希亚·埃尔拉凯比 1 乌尔·恩德里斯 1 伊利耶斯·法尔科内 1 斯特凡诺·费里利 1 迈克尔·费希尔 1 阿德里安·弗兰卡兰扎 1 Dov M.加巴伊。 1 劳拉·佐丹奴 1 亚历杭德罗·格雷斯 1 大卫·格罗西 1 蒙特塞拉特赫莫 1 罗伯特·A·科瓦尔斯基。 1 Sr Djan Krstić 1 埃米利亚诺·洛里尼 1 Lourenço,Joáo M。 1 帕基·卢西奥 1 埃文格洛斯·马克里斯 1 保罗·曼卡雷拉 1 阿尔贝托·马泰利 1 路易斯·莫尼兹·佩雷拉 1 德扬·尼科维奇 1 戈登·佩斯。 1 乔治·巴利乌拉斯 1 家长,Xavier 1 西奥多·帕特科斯 1 普列克索萨基斯,迪米特里斯 1 克里斯蒂安·里维罗斯 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 亚利桑那州Saptawijaya 1 乔瓦尼·萨托 1 佐藤,肯 1 杰拉尔多·施奈德 1 弗朗索瓦州施瓦岑特鲁伯 1 辛戈尔斯,朱利安 1 塞尔吉奥·斯托拉里 1 贾科莫·特雷尼 1 德米特里·特拉泰尔 1 卢卡·图莫利尼 1 保罗·图里尼 1 马丁·乌加特 1 范德托雷,Leendert W.N。 1 亚历山大·韦斯 1 尼古拉·赞诺 全部的 前5名8篇连载文章中引用 4 数学与人工智能年鉴 4 逻辑程序设计理论与实践 1 国际近似推理杂志 1 机器学习 1 系统设计中的形式化方法 1 计算与数学组织理论 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 25 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 运筹学、数学编程(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文