编辑配置文件（在新选项卡中打开） 阿戈斯蒂诺·多维尔 合著者距离 作者ID： 多维耶·阿戈斯蒂诺 发布日期： 阿戈斯蒂诺·多维尔；A.多维尔。 外部链接： 管理程序·ORCID公司 已编制索引的文档： 53出版物自1993年起 5名编辑的贡献 合著者： 35位合著者具有56联合出版物 622合著作者 全部的 前5名合著者 2 单作者的 27 恩里科·蓬泰利 15 安德烈亚·福米萨诺 12 吉安弗兰科·罗西 8 卡拉广场 8 阿尔贝托，Policriti 5 伊利莎·昆塔雷利 4 亚历山德罗·达尔·帕洛 三 费德里科·福戈拉里 三 奥莫多，尤金尼奥·乔瓦尼 三 法比奥·塔迪沃 2 阿戈斯蒂诺·科尔特斯 2 维托尔·桑托斯·科斯塔 2 弗朗西斯科·法比亚诺 2 安德烈亚·奥米西尼 2 莱蒂齐亚·坦卡 1 达维德·阿里菲 1 大卫·安科纳 1 普里省阿雷纳斯-桑切斯 1 罗马人Barták 1 曼纽尔·比塞戈 1 卢卡·博托卢西 1 亚历山德罗·布里干纳 1 罗伯塔·卡莱加里 1 恩里科·丹蒂 1 费迪南多·菲奥雷托 1 庆蒂里尼、拉斐拉 1 罗伯托·贾科巴齐 1 戈帕尔·古普塔 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 Maria Chiara Meo女士 1 维托里奥·穆里诺 1 尼古拉·里佐 1 里卡多·罗查 1 大卫·索尔达 1 周能发 全部的 前5名系列 9 逻辑程序设计理论与实践 4 计算机基础理论 三 逻辑与计算杂志 2 理论计算机科学 2 函数与逻辑程序设计杂志 2 ACM计算逻辑汇刊 1 信息处理信件 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 波兰数学年鉴。系列IV 1 逻辑程序设计杂志 1 新一代计算 1 杰泰。实验与理论人工智能杂志 1 工程、通信和计算中的应用代数 1 美国计算机学会模型和计算机仿真汇刊 1 约束条件 1 计算机语言、系统和结构 1 多代理和网格系统 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 56 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 5 总体主题；集合（00-XX） 4 生物学和其他自然科学（92-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用179中的次133文件 引用人▼ 年份▼ 一种计算互模拟等价性的有效算法。 Zbl 1070.68101号 阿戈斯蒂诺·多维尔；卡拉广场；阿尔贝托，Policriti 34 2004 \（{\log\}）：一种用有限集进行逻辑编程的语言。 Zbl 0874.68056号 阿戈斯蒂诺·多维尔；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；恩里科·蓬泰利；吉安弗兰科·罗西 22 1996 GASP：用惰性接地回答集合编程。 Zbl 1207.68118号 亚历山德罗·达尔·帕洛；阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 19 2009 设置统一。 Zbl 1108.68104号 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 13 2006 一种快速互模拟算法。 Zbl 0991.68553号 阿戈斯蒂诺·多维尔；卡拉广场；阿尔贝托，Policriti 8 2001 列表、多集合和集合的统一公理视图，以及相关的统一算法。 Zbl 0930.68042号 阿戈斯蒂诺·多维尔；阿尔贝托，Policriti；吉安弗兰科·罗西 8 1998 共导逻辑编程的理论观点。 兹比尔1348.68028 大卫·安科纳；阿戈斯蒂诺·多维尔 8 2015 列表、多集、紧列表和集的约束求解的统一方法。 Zbl 1367.68079号 阿戈斯蒂诺·多维尔；卡拉广场；吉安弗兰科·罗西 6 2008 CLP中的内涵集。 Zbl 1204.68051号 A.多维尔。；彭泰利，E。；罗西，G。 5 2003 组合问题的约束逻辑规划和答案集规划解的实证研究。 Zbl 1193.68073号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 5 2009 NP完全问题的CLP（FD）和ASP解决方案的比较。 Zbl 1165.68486号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 4 2005 逻辑编程25年展望。意大利逻辑编程协会的成就。 Zbl 1191.68008号 4 2010 自治代理协调：动作语言满足CLP（（mathcal{FD}））和Linda。 Zbl 1267.68079号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 4 2013 约束逻辑程序设计中构造性否定的必要条件。 Zbl 1339.68035号 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 4 2000 带集合的构造性否定和约束逻辑编程。 Zbl 0980.68017号 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 三 2001 查询语言G-Log的操作和抽象语义。 Zbl 1026.68089号 阿戈斯蒂诺·科尔特斯；阿戈斯蒂诺·多维尔；伊利莎·昆塔雷利；莱蒂齐亚·坦卡 2 2002 可解集合/超链接上下文。二： 混合案例的目标驱动统一算法。 Zbl 0936.68025号 阿戈斯蒂诺·多维尔；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；阿尔贝托，Policriti 2 1999 2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑编程国际会议（ICLP 2012）的技术交流。论文基于会议上的陈述。 Zbl 1253.68010号 2 2012 带约束的多值动作语言（CLP（FD））。 Zbl 1191.68653号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 2 2010 对基于逻辑的方法进行行动和改变推理的观点。 Zbl 1326.68274号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 2 2011 基于秩的符号互模拟：（和模型检查）。 兹比尔1261.68084 A.多维尔。；Gentilini，R。；C.广场。；Policriti，A。 2 2002 基于模型检查的数据检索。 Zbl 1098.68564号 阿戈斯蒂诺·多维尔；伊利莎·昆塔雷利 2 2002 CLP（FD）中带约束的多值动作语言。 Zbl 1213.68633号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 2 2007 具有经验接触能的CLP（（mathcal{FD}））中的蛋白质折叠。 兹比尔1196.68234 亚历山德罗·达尔·帕洛；阿戈斯蒂诺·多维尔；费德里科·福戈拉里 2 2004 应用模型检查解决半结构化数据的查询。 Zbl 1387.68104号 A.多维尔。；E.昆塔雷利。 2 2009 规划为表格逻辑编程。 Zbl 1379.68287号 周能发；罗马人Barták；阿戈斯蒂诺·多维尔 2 2015 ACI1理论的不统一。 Zbl 1069.68096号 阿戈斯蒂诺·多维尔；卡拉广场；恩里科·蓬泰利 1 2004 集合统一的极小性研究。 Zbl 0924.68044号 普里省阿雷纳斯-桑切斯；阿戈斯蒂诺·多维尔 1 1997 关于逻辑编程。 Zbl 0944.68022号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；阿尔贝托，Policriti 1 1997 关于CLP语言中有限集的表示和管理。 Zbl 0949.68018号 阿戈斯蒂诺·多维尔；卡拉广场；吉安弗兰科·罗西；恩里科·蓬泰利 1 1998 CLP中多智能体规划的研究。 Zbl 1209.68559号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 1 2010 含原子集的可判定性结果。 Zbl 1407.03008号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。 1 2006 ASP中多智能体认知规划建模。 Zbl 1468.68251号 亚历山德罗·布里干纳；弗朗西斯科·法比亚诺；阿戈斯蒂诺·多维尔；恩里科·蓬泰利 1 2020 用标记变量扩展逻辑编程：模型和语义。 Zbl 1396.68031号 罗伯塔·卡莱加里；恩里科·丹蒂；阿戈斯蒂诺·多维尔；安德烈亚·奥米西尼 1 2018 逻辑编程和互模拟。 Zbl 1407.68080号 阿戈斯蒂诺·多维尔 1 2015 基于社区的受限基因调控网络推断。 Zbl 1369.92039号 费迪南多·菲奥雷托；阿戈斯蒂诺·多维尔；恩里科·蓬泰利 1 2015 ASP中多智能体认知规划建模。 Zbl 1468.68251号 亚历山德罗·布里干纳；弗朗西斯科·法比亚诺；阿戈斯蒂诺·多维尔；恩里科·蓬泰利 1 2020 用标记变量扩展逻辑编程：模型和语义。 Zbl 1396.68031号 罗伯塔·卡莱加里；恩里科·丹蒂；阿戈斯蒂诺·多维尔；安德烈亚·奥米西尼 1 2018 共导逻辑编程的理论观点。 Zbl 1348.68028号 大卫·安科纳；阿戈斯蒂诺·多维尔 8 2015 规划为表格逻辑编程。 Zbl 1379.68287号 周能发；罗马人Barták；阿戈斯蒂诺·多维尔 2 2015 逻辑编程和互模拟。 Zbl 1407.68080号 阿戈斯蒂诺·多维尔 1 2015 基于社区的受限基因调控网络推断。 Zbl 1369.92039号 费迪南多·菲奥雷托；阿戈斯蒂诺·多维尔；恩里科·蓬泰利 1 2015 自治代理协调：动作语言满足CLP（\（\mathcal｛FD｝\））和Linda。 Zbl 1267.68079号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 4 2013 2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑编程国际会议（ICLP 2012）的技术交流。论文基于会议上的陈述。 Zbl 1253.68010号 2 2012 对基于逻辑的方法进行行动和改变推理的观点。 Zbl 1326.68274号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 2 2011 逻辑编程25年展望。意大利逻辑编程协会的成就。 Zbl 1191.68008号 4 2010 带约束的多值动作语言（CLP（FD））。 Zbl 1191.68653号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 2 2010 CLP中多智能体规划的研究。 Zbl 1209.68559号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 1 2010 GASP：用惰性接地回答集合编程。 Zbl 1207.68118号 亚历山德罗·达尔·帕洛；阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 19 2009 组合问题的约束逻辑规划和答案集规划解的实证研究。 Zbl 1193.68073号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 5 2009 应用模型检查解决半结构化数据的查询。 Zbl 1387.68104号 A.多维尔。；E.昆塔雷利。 2 2009 列表、多集、紧列表和集的约束求解的统一方法。 Zbl 1367.68079号 阿戈斯蒂诺·多维尔；卡拉广场；吉安弗兰科·罗西 6 2008 CLP（FD）中带约束的多值动作语言。 Zbl 1213.68633号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 2 2007 设置统一。 Zbl 1108.68104号 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 13 2006 含原子集的可判定性结果。 Zbl 1407.03008号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。 1 2006 比较CLP（FD）和ASP解决NP完全问题的方法。 Zbl 1165.68486号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；恩里科·蓬泰利 4 2005 一种计算互模拟等价性的有效算法。 兹比尔1070.68101 阿戈斯蒂诺·多维尔；卡拉广场；阿尔贝托，Policriti 34 2004 具有经验接触能的CLP（（mathcal{FD}））中的蛋白质折叠。 Zbl 1196.68234号 亚历山德罗·达尔·帕洛；阿戈斯蒂诺·多维尔；费德里科·福戈拉里 2 2004 ACI1理论的不统一。 Zbl 1069.68096号 阿戈斯蒂诺·多维尔；卡拉广场；恩里科·蓬泰利 1 2004 CLP中的内涵集。 Zbl 1204.68051号 A.多维尔。；Pontelli，E。；罗西，G。 5 2003 查询语言G-Log的操作和抽象语义。 Zbl 1026.68089号 阿戈斯蒂诺·科尔特斯；阿戈斯蒂诺·多维尔；伊利莎·昆塔雷利；莱蒂齐亚·坦卡 2 2002 基于秩的符号互模拟：（和模型检查）。 Zbl 1261.68084号 A.多维尔。；Gentilini，R。；C.广场。；Policriti，A。 2 2002 基于模型检查的数据检索。 兹比尔1098.68564 阿戈斯蒂诺·多维尔；伊利莎·昆塔雷利 2 2002 一种快速互模拟算法。 Zbl 0991.68553号 阿戈斯蒂诺·多维尔；卡拉广场；阿尔贝托，Policriti 8 2001 带集合的构造性否定和约束逻辑编程。 Zbl 0980.68017号 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 三 2001 约束逻辑程序设计中构造性否定的必要条件。 Zbl 1339.68035号 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 4 2000 可解集合/超链接上下文。二： 混合案例的目标驱动统一算法。 Zbl 0936.68025号 阿戈斯蒂诺·多维尔；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；阿尔贝托，Policriti 2 1999 列表、多集合和集合的统一公理视图，以及相关的统一算法。 Zbl 0930.68042号 阿戈斯蒂诺·多维尔；阿尔贝托，Policriti；吉安弗兰科·罗西 8 1998 关于CLP语言中有限集的表示和管理。 Zbl 0949.68018号 阿戈斯蒂诺·多维尔；卡拉广场；吉安弗兰科·罗西；恩里科·蓬泰利 1 1998 集合统一的极小性研究。 Zbl 0924.68044号 普里省阿雷纳斯-桑切斯；阿戈斯蒂诺·多维尔 1 1997 关于逻辑编程。 Zbl 0944.68022号 阿戈斯蒂诺·多维尔；安德烈亚·福米萨诺；阿尔贝托，Policriti 1 1997 \（{\log\}）：一种用有限集进行逻辑编程的语言。 Zbl 0874.68056号 阿戈斯蒂诺·多维尔；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；恩里科·蓬泰利；吉安弗兰科·罗西 22 1996 所有引用出版物 前5名被引用出版物 全部的 前5名252位作者引用 14 阿戈斯蒂诺·多维尔 11 恩里科·蓬泰利 8 吉安弗兰科·罗西 7 米罗斯拉夫·奇·伊里奇。 6 马克西米利亚诺·克里斯蒂亚 6 安德烈亚·福米萨诺 6 伊格尼亚托维奇（Jelena Ignjatović） 6 奥莫多，尤金尼奥·乔瓦尼 6 阿尔贝托，Policriti 5 弗朗西斯科·卡利默里 5 乔瓦姆巴蒂斯塔·伊安尼 5 卡拉广场 4 坎通纳，多梅尼科 4 弗朗西斯科·达格尼诺 4 彼得·舒勒 4 托尔斯滕·维曼 4 Jessica Zangari 三 大卫·安科纳 三 托马斯·艾特 三 戈帕尔·古普塔 三 皮埃特罗·毛吉里 三 斯特凡·米利厄斯 三 西蒙娜·佩里 三 弗朗西斯科·里卡 三 卢茨施罗德 三 阿列克桑达尔·斯塔门科维奇 三 斯坦尼米罗维奇，斯特凡 三 亚历山德鲁·伊昂·托梅斯库 三 埃琳娜·祖卡 2 华金·阿里亚斯 2 彼得罗·巴比里 2 巴西奇，米兰 2 克里斯托弗·贝亚特里克斯 2 曼纽尔·卡罗 2 Nada Damljanović 2 马里亚纽拉州Dezani-Ciancaglini 2 多达罗，胭脂红 2 乌尔里希多施 2 马里奥弗洛里多 2 格哈德·弗里德里希（Gerhard E.Friedrich）。 2 劳伦特·加西亚 2 马丁·格布瑟 2 盖尔方德，迈克尔 2 斯文·哈特曼 2 伊万娜·扬契奇 2 托马斯·克伦瓦尔纳 2 克莱尔·莱夫雷 2 尤利亚·利勒 2 林克，塞巴斯蒂安 2 马可·马拉提亚 2 伊万娜·米奇 2 马丁·米拉尼奇 2 弗朗西斯科·帕琴察 2 伊利莎·昆塔雷利 2 伊戈尔·斯特芬 2 理查德·塔普 2 安东尼乌斯·温齐尔 2 Yeoh，William威廉 1 佩德罗·安吉洛 1 马可·安东尼奥蒂 1 Franz巴德 1 马塞洛·巴尔杜奇尼 1 穆苏诺里·班巴拉 1 佩德罗·巴拉奥纳 1 佛朗哥·巴巴内拉 1 乔纳斯·巴克伦德 1 罗马人Barták 1 马克西米利安·贝伦斯 1 曼纽尔·比什勒 1 约阿希姆·比斯库普 1 亨德里克·布洛克 1 巴特·博加特 1 Bogdanović，Stojan M。 1 卢卡·博托卢西 1 安娜丽莎·博西 1 亚历山大·布尔加科夫 1 莫里斯·布吕诺格 1 亚历山德罗·布里干纳 1 佩德罗·卡巴拉尔 1 马可·卡多利 1 罗伯塔·卡莱加里 1 阿尔贝托·卡萨格兰德 1 卡塞莱斯·科斯塔，维森特 1 道格拉斯·森泽 1 罗迪卡·塞特基 1 陈卓 1 吉安弗兰科·西亚多 1 泰森·康迪 1 阿戈斯蒂诺·科尔特斯 1 斯特凡妮娅·科斯坦蒂尼 1 苏珊娜·科萨 1 佩皮恩·克鲁森 1 贝尔纳多·卡特里 1 达斯，阿里亚姆 1 马尔科·德·博托利 1 德卡特，布罗斯 1 安德里亚·德·多梅尼科 1 戴维·德·弗鲁托斯·埃斯克里格 1 斯特夫·德·普特 1 埃里克·P·德文克。 …还有152位作者 全部的 前5名35篇连载文章被引用 30 逻辑程序设计理论与实践 10 理论计算机科学 7 模糊集与系统 6 计算机科学中的逻辑方法 5 约束条件 4 新一代计算 4 自动推理杂志 三 人工智能 三 计算的形式方面 三 数学与人工智能年鉴 2 信息处理信件 2 信息科学 2 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 2 信息与计算 2 计算机基础理论 2 计算机语言、系统和结构 1 信息学报 1 离散应用数学 1 计算机与系统科学杂志 1 符号逻辑杂志 1 符号计算杂志 1 国际近似推理杂志 1 杰泰。实验与理论人工智能杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 应用非经典逻辑杂志 1 菲洛马 1 软计算 1 组合优化期刊 1 应用数学杂志 1 应用逻辑杂志 1 符号逻辑述评 1 灵活服务和制造杂志 1 膜计算杂志 全部的 前5名13个领域引用 120 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 5 组合数学（05-XX） 5 概率论与随机过程（60-XX） 5 运筹学、数学规划（90-XX） 2 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 2 生物学和其他自然科学（92-XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 动力系统和遍历理论（37至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文