编辑配置文件（在新选项卡中打开） 马尔科·加瓦内利 合著者距离 作者ID： 加瓦内利·马尔科 发布日期： 马可·加瓦内利;M.加瓦内利。 外部链接： ORCID公司 编入索引的文档： 37出版物自1999年以来 6作为编辑的贡献 合著者： 35位合著者具有41联合出版物 442合著者 全部的 前5名合著者 2 单作者的 23 伊芙琳娜·拉姆玛 15 马尔科·阿尔贝蒂 14 保罗·梅洛 10 保罗·托罗尼 8 法布里西奥·里古齐 7 马达莱娜·诺纳托 5 费德里科·切萨尼 5 米歇拉·米兰 5 里卡多·泽斯 4 托尼·曼奇尼 4 安德烈亚·皮亚诺 三 斯特凡诺·阿尔维西 三 埃琳娜·贝洛迪 三 马可·弗朗西尼 三 亚历山德罗·帕森蒂诺 三 圭多·西亚维科 2 亚历山德罗·贝尔塔尼翁 2 马西米利亚诺·卡塔菲 2 朱塞佩·科塔 2 马可·蒙塔利 2 阿尔贝托·佩特罗西 2 斯特凡诺·特雷维萨尼 1 大卫·贝尔托齐 1 保罗·卡尼奥利 1 保罗·卡帕内拉 1 安娜·齐安波里尼 1 丽塔·库奇亚拉 1 罗莎·埃雷罗 1 费德里科·马卢塞利 1 马西莫·皮卡迪 1 胡安·何塞·拉莫斯 1 罗马，马尔科 1 弗朗西丝卡·罗西 1 乔瓦尼·萨托 1 肯·佐藤 全部的 前5名系列 6 计算机基础理论 4 逻辑程序设计理论与实践 2 逻辑与计算杂志 1 算法杂志 1 新一代计算 1 信息与计算 1 人工智能通信 1 数学与人工智能年鉴 1 计算与数学组织理论 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 全部的 前5名领域 41 计算机科学（68至XX） 6 总体主题；集合（00-XX） 5 运筹学、数学规划（90-XX） 三 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用69中的次49文件 引用人▼ 年份▼ 诱因逻辑编程中的可验证代理交互：SCIFF框架。 Zbl 1367.68273号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 13 2008 Datalog（^\pm）本体的诱因框架。 Zbl 1407.68479号 马可·加瓦内利;伊芙琳娜·拉姆玛;法布里西奥·里古齐;埃琳娜·贝洛迪;里卡多·泽斯;朱塞佩·科塔 6 2015 使用逻辑编程验证声明性规范。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛 5 2008 使用社会诚信约束规范和验证代理交互。 Zbl 1270.68160号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 5 2004 用于调度配水系统中设备运行以响应污染事件的遗传算法。 兹比尔1292.90329 马可·加瓦内利;马达莱娜·诺纳托;安德烈亚·皮亚诺;Stefano阿尔维斯;马可·弗朗西尼 5 2012 多智能体系统中信息交换的诱因框架。 兹比尔1110.68503 马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 4 2004 将道义运算符映射到诱拐期望。 Zbl 1103.68665号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼;乔瓦尼·萨托 三 2006 日志支持将CSP编码为SAT。 Zbl 1145.68512号 马可·加瓦内利 三 2007 利用溯因逻辑编程对Datalog（^\pm）本体进行推理。 Zbl 1390.68621号 马可·加瓦内利;伊芙琳娜·拉姆玛;法布里西奥·里古齐;埃琳娜·贝洛迪;里卡多·泽斯;朱塞佩·科塔 三 2018 CIFF绑架证明程序。 Zbl 1155.68517号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 2 2005 用于规范和验证代理社会的SOCS计算逻辑方法。 Zbl 1111.68494号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 2 2005 开放代理社会的诱拐性解释。 Zbl 1274.68575号 阿尔贝蒂，M。;M.加瓦内利。;E.拉姆。;梅洛，P。;托罗尼，P。 2 2003 使用CLP（FD）优化配水管网中阀门的位置。 Zbl 1222.68052号 马西米利亚诺·卡塔菲;马可·加瓦内利;马达莱娜·诺纳托;斯特凡诺·阿尔维西;马可·弗朗西尼 2 2011 判定分支时间间隔网络的一致性。 Zbl 1487.68212号 马尔科·加瓦内利;亚历山德罗·帕森蒂诺;圭多·西亚维科 2 2018 给水系统中阀门位置优化的ASP方法。 兹比尔1344.68267 马可·加瓦内利;马达莱娜·诺纳托;安德烈亚·皮亚诺 2 2015 使用溯因推理对代理交互进行规范和验证。 Zbl 1236.68252号 费德里科·切萨尼;马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 1 2006 在处理延迟评估时需要不同的回溯规则。 Zbl 0959.68018号 马可·加瓦内利;米歇拉·米兰 1 1999 部分有序约束优化问题。 Zbl 1067.68637号 马可·加瓦内利 1 2001 基于道义约束的社会ACL语义。 Zbl 1047.68651号 马尔科·阿尔贝蒂;安娜·齐安波里尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 1 2003 提高家庭保健的质量和效率：Ferrara NHS部门约束逻辑编程的应用。 Zbl 1281.90019号 马西米利亚诺·卡塔菲;罗莎·埃雷罗;马可·加瓦内利;马达莱娜·诺纳托;费德里科·马卢塞利;胡安·何塞·拉莫斯 1 2012 用遗传算法调度污染事件对策。 Zbl 1373.68374号 马可·加瓦内利;马达莱娜·诺纳托;安德烈亚·皮亚诺;斯特凡诺·阿尔维西;马可·弗朗西尼 1 2015 诱因逻辑编程中的可解除义务。 Zbl 1490.68207号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;法布里西奥·里古齐;里卡多·泽斯 1 2017 在SCIFF中集成溯源推理和约束优化。 Zbl 1251.68058号 马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆玛 1 2009 分支区间代数：一幅几乎完整的图画。 Zbl 1518.68356号 A.Bertagnon。;加瓦内利，M。;A.帕森蒂诺。;Sciavicco，G。;特雷维萨尼，S。 1 2021 具有概率完整性约束的非地外推逻辑规划。 Zbl 1522.68099号 埃琳娜·贝洛迪;马可·加瓦内利;里卡多·泽斯;伊芙琳娜·拉姆玛;法布里西奥·里古齐 1 2021 分支区间代数：一幅几乎完整的图画。 Zbl 1518.68356号 A.Bertagnon。;M.加瓦内利。;A.帕森蒂诺。;Sciavicco，G。;Trevisani，S。 1 2021 具有概率完整性约束的非地外推逻辑规划。 Zbl 1522.68099号 埃琳娜·贝洛迪;马可·加瓦内利;里卡多·泽斯;伊芙琳娜·拉姆玛;法布里西奥·里古齐 1 2021 利用溯因逻辑编程对Datalog（^\pm）本体进行推理。 Zbl 1390.68621号 马可·加瓦内利;伊芙琳娜·拉姆玛;法布里西奥·里古齐;埃琳娜·贝洛迪;里卡多·泽斯;朱塞佩·科塔 三 2018 判定分支时间间隔网络的一致性。 Zbl 1487.68212号 马可·加瓦内利;亚历山德罗·帕森蒂诺;圭多·西亚维科 2 2018 诱因逻辑编程中的可解除义务。 Zbl 1490.68207号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;法布里西奥·里古齐;里卡多·泽斯 1 2017 Datalog（^\pm）本体的诱因框架。 Zbl 1407.68479号 马可·加瓦内利;伊芙琳娜·拉姆玛;法布里西奥·里古齐;埃琳娜·贝洛迪;里卡多·泽斯;朱塞佩·科塔 6 2015 给水系统中阀门位置优化的ASP方法。 Zbl 1344.68267号 马可·加瓦内利;马达莱娜·诺纳托;安德烈亚·皮亚诺 2 2015 用遗传算法调度污染事件对策。 兹比尔1373.68374 马可·加瓦内利;马达莱娜·诺纳托;安德烈亚·皮亚诺;Stefano阿尔维斯;马可·弗朗西尼 1 2015 用于调度配水系统中设备运行以响应污染事件的遗传算法。 兹比尔1292.90329 马可·加瓦内利;马达莱娜·诺纳托;安德烈亚·皮亚诺;斯特凡诺·阿尔维西;马可·弗朗西尼 5 2012 提高家庭保健的质量和效率：Ferrara NHS部门约束逻辑编程的应用。 Zbl 1281.90019号 马西米利亚诺·卡塔菲;罗莎·埃雷罗;马可·加瓦内利;马达莱娜·诺纳托;费德里科·马卢塞利;胡安·何塞·拉莫斯 1 2012 使用CLP（FD）优化配水管网中阀门的位置。 Zbl 1222.68052号 马西米利亚诺·卡塔菲;马可·加瓦内利;马达莱娜·诺纳托;斯特凡诺·阿尔维西;马可·弗朗西尼 2 2011 在SCIFF中集成溯源推理和约束优化。 Zbl 1251.68058号 马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆玛 1 2009 诱因逻辑编程中的可验证代理交互：SCIFF框架。 Zbl 1367.68273号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 13 2008 使用逻辑编程验证声明性规范。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛 5 2008 日志支持将CSP编码为SAT。 Zbl 1145.68512号 马可·加瓦内利 三 2007 将道义运算符映射到诱拐期望。 Zbl 1103.68665号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼;乔瓦尼·萨托 三 2006 使用溯因推理规范和验证代理交互。 兹比尔1236.68252 费德里科·切萨尼;马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 1 2006 CIFF绑架证明程序。 兹比尔1155.68517 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 2 2005 用于规范和验证代理社会的SOCS计算逻辑方法。 兹比尔1111.68494 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 2 2005 使用社会诚信约束规范和验证代理交互。 Zbl 1270.68160号 马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 5 2004 多智能体系统中信息交换的诱因框架。 Zbl 1110.68503号 马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 4 2004 开放代理社会的诱拐性解释。 Zbl 1274.68575号 阿尔贝蒂，M。;M.加瓦内利。;E.拉姆。;梅洛，P。;托罗尼，P。 2 2003 基于道义约束的社会ACL语义。 Zbl 1047.68651号 马尔科·阿尔贝蒂;安娜·齐安波里尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛;保罗·托罗尼 1 2003 部分有序约束优化问题。 Zbl 1067.68637号 马可·加瓦内利 1 2001 在处理延迟评估时需要不同的回溯规则。 Zbl 0959.68018号 马可·加瓦内利;米歇拉·米兰 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名137位作者引用 10 伊芙琳娜·拉姆玛 8 马可·加瓦内利 7 法布里西奥·里古齐 6 马尔科·阿尔贝蒂 6 里卡多·泽斯 5 埃琳娜·贝洛迪 5 保罗·梅洛 4 保罗·托罗尼 三 弗朗西斯科·里卡 三 法里巴·萨德里 2 亚历山德罗·贝尔塔尼翁 2 海宁·克里斯蒂安森 2 朱塞佩·科塔 2 卡明·多达罗 2 劳拉·佐丹奴 2 罗伯特·A·科瓦尔斯基。 2 马可·马拉提亚 2 阿尔贝托·马泰利 2 米歇拉·米兰 2 马可·蒙塔利 2 亚历山德罗·帕森蒂诺 2 肯·佐藤 2 圭多·西亚维科 2 弗朗西丝卡·托尼 2 斯特凡诺·特雷维萨尼 1 塞尔吉奥·阿布里奥拉 1 亚历克斯·阿布因 1 沃尔夫冈·阿伦特 1 Jean-Marc阿利奥特 1 约塞普·阿格利奇 1 达米亚诺·阿佐利尼 1 马可·巴奥莱蒂 1 埃齐奥·巴托西 1 安德烈亚·巴托里尼 1 帕特里齐亚·贝拉尔迪 1 多梅尼科·比安库利 1 亚历山大·博洛托夫 1 高文伯恩 1 Broersen，Jan M。 1 玛丽亚·埃琳娜·布鲁尼 1 沃哈·布莱尔 1 阿尔巴州卡比斯科 1 蔡俊毅 1 帕诺拉卡帕内拉 1 费德里科·切萨尼 1 圣地亚哥Cifuentes 1 克里斯蒂安·科伦坡 1 多梅尼科·孔福尔蒂 1 斯蒂芬·克雷菲尔德 1 丽塔·库奇亚拉 1 Konrad Kazimierz达布罗斯基 1 Giso H.达尔。 1 马西米利亚诺·德·利奥尼 1 皮耶朗基罗·德尔·阿夸 1 罗伯特·德莫洛姆 1 里德万·德沃波拉沃 1 加布里埃尔·迪巴里 1 马丁·迪格斯 1 尤尔根·迪克斯 1 El Fallah Seghrouchni，阿马尔 1 叶希亚·埃尔拉凯比 1 乌尔·恩德里斯 1 伊利耶斯·法尔科内 1 路易斯·法利尼亚斯·德尔·塞罗 1 斯特凡诺·费里利 1 迈克尔·费希尔 1 阿德里安·弗兰卡兰扎 1 加贝，多夫·M。 1 菲利普·加斯泰格 1 马丁·格布瑟 1 恩里科·金西格里亚 1 龚文银 1 吉安路易吉·格雷科 1 大卫·格罗西 1 韩，杜杜克 1 蒙特塞拉特赫莫 1 胡成玉 1 彼得·琼森 1 奥祖尔·卡法尔 1 克里斯蒂安·克里斯蒂奇 1 李志强 1 米歇尔·伦巴第 1 埃米利亚诺·洛里尼 1 Lourenço，Joáo M。 1 Peter J.F.卢卡斯。 1 帕基，卢西奥 1 林奇，因斯 1 保罗·曼卡雷拉 1 费利克斯·曼哈特 1 很多，费利普 1 菲利普·马里奇 1 Martinez、Maria Vanina 1 安德烈亚·马塔 1 尼古拉斯·莫代特 1 阿尔弗雷多·米拉尼 1 路易斯·莫尼兹·佩雷拉 1 德扬·尼科维奇 1 纳吉·奥贝德 1 塞巴斯蒂安·奥德尼亚克 1 乔治·奥西波夫 …和另外37位作者 全部的 前5名19篇连载文章中引用 6 逻辑程序设计理论与实践 5 数学与人工智能年鉴 三 国际近似推理杂志 三 应用逻辑杂志 2 人工智能 2 计算与数学组织理论 2 计算机基础理论 1 计算 1 哲学逻辑杂志 1 新一代计算 1 信息与计算 1 计算机与运筹学 1 机器学习 1 系统设计中的形式化方法 1 顶部 1 约束条件 1 工程中的数学问题 1 数学生物科学与工程 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 45 计算机科学（68至XX） 7 运筹学、数学规划（90-XX） 三 数学逻辑和基础（03-XX） 2 系统论；控制（93至XX） 1 概率论与随机过程（60-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文