编辑配置文件（在新选项卡中打开） 马可·马拉提亚 合著者距离 作者ID： maratea.marco公司 发布日期： 马可·马拉提亚 已编制索引的文档： 46出版物自2002年起 作为编辑的10份贡献 合著者： 66位合著者具有55联合出版物 1194位联合作者 全部的 前5名合著者 1 单作者的 15 弗朗西斯科·里卡 14 恩里科Giunchilia 9 尼古拉·利昂 8 卡明·多达罗 6 马丁·格布瑟 5 拉米·布罗切宁 5 卢卡·普利纳 4 亚历山德罗·阿曼多 4 沃尔夫冈·费伯 4 尤利亚·利勒 3 马里奥·阿尔维亚诺 3 克劳迪奥·卡斯泰里尼 3 达尼埃拉·因利赞 3 托马斯·林斯比勒 3 毛罗·瓦拉蒂 3 斯特凡·沃尔特兰 2 乔瓦尼·阿蒙多拉 2 里卡多·贝尔托卢奇 2 弗朗西斯科·卡利默里 2 阿莱西奥·卡皮塔内利 2 朱塞佩·加拉特 2 富尔维奥·马斯特罗吉奥瓦尼 2 保罗·托罗尼 2 约翰·彼得·沃纳 1 乔瓦尼·阿多尼 1 大卫·安科纳 1 亚历山大·阿提基斯 1 马塞洛·巴尔杜奇尼 1 斯特凡诺·比斯塔雷利 1 斯特凡诺·卡格诺尼 1 马泰奥·卡德利尼 1 伊曼纽尔·迪·罗莎 1 托马斯·艾特 1 保罗·福多 1 安德烈亚·福米萨诺 1 格哈德·弗里德里希（Gerhard E.Friedrich）。 1 莎拉·爱丽丝·加格尔 1 安娜·贾迪尼 1 马可·戈里 1 乔治·戈特洛布 1 塞尔吉奥·格雷科 1 乔瓦姆巴蒂斯塔·伊安尼 1 马西莫·伊迪尼 1 马蒂·Järvisalo 1 罗兰·卡明斯基 1 安吉丽卡·基米格 1 托马斯·克伦瓦尔纳 1 艾米丽·勒布朗（Emily C.Leblanc）。 1 弗朗西丝卡·亚历山德拉（Francesca Alessandra Lisi） 1 丹尼尔·马加泽尼 1 托尼·曼奇尼 1 V.Wiktor马雷克 1 维维亚娜·马斯卡迪 1 亚历山德拉·米利奥 1 马可·莫奇 1 安德烈亚斯·尼斯卡宁 1 尼古拉斯·尼索波利 1 阿尔贝托·佩特罗西 1 塞雷娜·伊丽莎·蓬塔 1 伊万·波罗 1 亚历山德罗·普雷维蒂 1 法布里西奥·里古齐 1 亚历山德拉·拉索。 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 伊凡·塞琳娜 1 阿曼多·塔切拉 全部的 前5名系列 8 逻辑程序设计理论与实践 6 计算机基础理论 5 逻辑与计算杂志 3 人工智能 3 AI通信 2 自动推理杂志 2 约束条件 2 计算机科学课堂讲稿 1 计算机与系统科学杂志 1 算法杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 理论计算机科学电子论文集（EPTCS） 领域 56 计算机科学（68至XX） 10 总体主题；集合（00-XX） 4 运筹学、数学规划（90-XX） 3 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用321中的次187文件 引用人▼ 年份▼ 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科Giunchilia;尤利亚·利勒;马可·马拉提亚 44 2006 ASP-Core-2输入语言格式。 Zbl 1472.68180号 弗朗西斯科·卡利默里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;托马斯·克伦瓦尔纳;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布 38 2020 第五届答案集编程竞赛的设计和结果。 Zbl 1344.68042号 弗朗西斯科·卡利默里;马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 33 2016 用偏好解决可满足性问题。 Zbl 1208.68199号 伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 27 2010 Cmodels-2：基于SAT的答案集求解器增强为非轻型程序。 Zbl 1122.68377号 尤利亚·利勒;马可·马拉提亚 25 2004 第六届答案集编程竞赛。 Zbl 1418.68030号 马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 19 2017 第七届答案集编程竞赛：设计与结果。 Zbl 1472.68026号 马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 11 2020 第二届国际辩论计算模型竞赛的设计和结果。 Zbl 1478.68353号 莎拉·加格尔（Sarah A.Gaggl）。;托马斯·林斯比勒;马可·马拉提亚;斯特凡·沃尔特兰 11 2020 关于答案集求解者之间的关系。 兹比尔1165.68333 恩里科Giunchilia;尼古拉·利昂;马可·马拉提亚 10 2008 第七届答案集编程竞赛的设计。 兹比尔1418.68029 马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 10 2017 WASP中析取程序的评估。 Zbl 1522.68096号 马里奥·阿尔维亚诺;乔瓦尼·阿蒙多拉;卡明·多达罗;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 10 2019 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 第六届答案集编程竞赛的设计——报告。 Zbl 1418.68028号 马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 8 2015 关于答案集和SAT程序之间的关系（或CMODELS和SMODELS之间的关系）。 Zbl 1165.68488号 恩里科Giunchilia;马可·马拉提亚 6 2005 命题可满足性中的因变量和自变量。 Zbl 1014.68528号 恩里科Giunchilia;马可·马拉提亚;阿曼多·塔切拉 5 2002 DLV中的回顾技术和启发式：实现、评估和与QBF求解器的比较。 兹比尔1162.68668 马可·马拉提亚;弗朗西斯科·里卡;沃尔夫冈·费伯;尼古拉·利昂 5 2008 OptSAT：解决SAT相关优化问题的工具。 Zbl 1152.68553号 恩里科Giunchilia;马可·马拉提亚 5 2006 答案集编程中的共享聚合集。 Zbl 1451.68062号 马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚 5 2018 ASP中通过最小模型和不可满足的核心进行谨慎推理。 Zbl 1451.68267号 马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 5 2018 ASP的多级算法选择。 Zbl 1467.68027号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 4 2015 抽象析取答案集求解器。 Zbl 1366.68016号 雷米·布罗奇宁;尤利亚·利勒;马可·马拉提亚 4 2014 Dung论证框架的抽象求解器。 Zbl 1335.68246号 雷米·布罗奇宁;托马斯·林斯比勒;马可·马拉提亚;约翰·彼得·沃纳;斯特凡·沃尔特兰 3 2015 在规划中引入偏好作为可满足性。 兹比尔1216.68245 恩里科Giunchilia;马可·马拉提亚 2 2011 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 用于混合域规划的CASP解决方案。 Zbl 1379.68039号 马塞洛·巴尔杜奇尼;丹尼尔·马加泽尼;马可·马拉提亚;艾米丽·勒布朗（Emily C.Leblanc）。 2 2017 求解具有定性偏好的可满足性问题的算法。 Zbl 1357.68206号 恩里科Giunchilia;马可·马拉提亚 2 2012 用于谨慎推理的抽象答案集求解器。 Zbl 1407.68077号 雷米·布罗奇宁;马可·马拉提亚 2 2015 基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 Zbl 07505991号 托马斯·林斯比勒;马可·马拉提亚;安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;斯特凡·沃尔特兰 2 2022 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 对硬ASP程序进行lookback启发式实验。 Zbl 1149.68330号 沃尔夫冈·费伯;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 1 2007 评估搜索策略和启发式，以实现高效的答案集编程。 Zbl 1155.68509号 恩里科Giunchilia;马可·马拉提亚 1 2005 用于计算ASP程序的谨慎后果的抽象解算器。 Zbl 1434.68066号 乔瓦尼·阿蒙多拉;卡明·多达罗;马可·马拉提亚 1 2019 一种基于操作的方法，用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 1 2012 使用聚合的ASP程序的回溯技术。 Zbl 1245.68051号 沃尔夫冈·费伯;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 1 2011 通过答案集编程安排护士。 Zbl 1491.90082号 卡明·多达罗;马可·马拉提亚 1 2017 基于ASP的框架，用于使用双臂机器人操纵铰接对象。 Zbl 1522.68594号 里卡多·贝尔托卢奇;阿莱西奥·卡皮塔内利;卡明·多达罗;尼古拉·利昂;马可·马拉提亚;富尔维奥·马斯特罗吉奥瓦尼;毛罗·瓦拉蒂 1 2019 使用最大可满足性解决带有偏好的析取时态问题。 Zbl 1248.68459号 马可·马拉提亚;卢卡·普利纳 1 2012 规划符合IPC简单偏好和行动成本。 Zbl 1248.68458号 马可·马拉提亚 1 2012 多引擎ASP解决与策略调整。 Zbl 1328.68042号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 1 2015 第36届逻辑编程（技术通信）国际会议记录，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。 Zbl 1466.68027号 1 2020 基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 Zbl 07505991号 托马斯·林斯比勒;马可·马拉提亚;安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;斯特凡·沃尔特兰 2 2022 ASP-Core-2输入语言格式。 Zbl 1472.68180号 弗朗西斯科·卡利默里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;托马斯·克伦瓦尔纳;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布 38 2020 第七届答案集编程竞赛：设计与结果。 Zbl 1472.68026号 马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 11 2020 第二届国际辩论计算模型竞赛的设计和结果。 Zbl 1478.68353号 莎拉·加格尔（Sarah A.Gaggl）。;托马斯·林斯比勒;马可·马拉提亚;斯特凡·沃尔特兰 11 2020 第36届逻辑编程（技术通信）国际会议记录，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。 Zbl 1466.68027号 1 2020 WASP中析取程序的评估。 Zbl 1522.68096号 马里奥·阿尔维亚诺;乔瓦尼·阿蒙多拉;卡明·多达罗;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 10 2019 用于计算ASP程序的谨慎后果的抽象解算器。 Zbl 1434.68066号 乔瓦尼·阿蒙多拉;卡明·多达罗;马可·马拉提亚 1 2019 基于ASP的框架，用于使用双臂机器人操纵铰接对象。 Zbl 1522.68594号 里卡多·贝尔托卢奇;阿莱西奥·卡皮塔内利;卡明·多达罗;尼古拉·利昂;马可·马拉提亚;富尔维奥·马斯特罗吉奥瓦尼;毛罗·瓦拉蒂 1 2019 答案集编程中的共享聚合集。 Zbl 1451.68062号 马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚 5 2018 ASP中通过最小模型和不可满足的核心进行谨慎推理。 Zbl 1451.68267号 马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 5 2018 第六届答案集编程竞赛。 Zbl 1418.68030号 马丁·盖布瑟;马可·马拉提亚;弗朗西斯科·里卡 19 2017 第七届答案集编程竞赛的设计。 Zbl 1418.68029号 马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 10 2017 用于混合域规划的CASP解决方案。 Zbl 1379.68039号 马塞洛·巴尔杜奇尼;丹尼尔·马加泽尼;马可·马拉提亚;艾米丽·勒布朗（Emily C.Leblanc）。 2 2017 通过答案集编程安排护士。 兹比尔1491.90082 卡明·多达罗;马可·马拉提亚 1 2017 第五届答案集编程竞赛的设计和结果。 Zbl 1344.68042号 弗朗西斯科·卡利默里;马丁·盖布瑟;马可·马拉提亚;弗朗西斯科·里卡 33 2016 第六届答案集编程竞赛的设计——报告。 Zbl 1418.68028号 马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 8 2015 ASP的多级算法选择。 Zbl 1467.68027号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 4 2015 Dung论证框架的抽象求解器。 Zbl 1335.68246号 雷米·布罗奇宁;托马斯·林斯比勒;马可·马拉提亚;约翰·彼得·沃纳;斯特凡·沃尔特兰 3 2015 用于谨慎推理的抽象答案集求解器。 Zbl 1407.68077号 雷米·布罗奇宁;马可·马拉提亚 2 2015 多引擎ASP解决与策略调整。 Zbl 1328.68042号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 1 2015 抽象析取答案集求解器。 Zbl 1366.68016号 雷米·布罗奇宁;尤利亚·利勒;马可·马拉提亚 4 2014 求解具有定性偏好的可满足性问题的算法。 Zbl 1357.68206号 恩里科Giunchilia;马可·马拉提亚 2 2012 一种基于操作的方法，用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 1 2012 使用最大可满足性解决带有偏好的析取时态问题。 Zbl 1248.68459号 马可·马拉提亚;卢卡·普利纳 1 2012 规划符合IPC简单偏好和行动成本。 Zbl 1248.68458号 马可·马拉提亚 1 2012 在规划中引入偏好作为可满足性。 兹比尔1216.68245 恩里科Giunchilia;马可·马拉提亚 2 2011 使用聚合的ASP程序的回溯技术。 Zbl 1245.68051号 沃尔夫冈·费伯;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 1 2011 用偏好解决可满足性问题。 Zbl 1208.68199号 伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 27 2010 关于答案集求解者之间的关系。 兹比尔1165.68333 恩里科Giunchilia;尼古拉·利昂;马可·马拉提亚 10 2008 DLV中的Look-back技术和启发式：与QBF解算器的实现、评估和比较。 Zbl 1162.68668号 马可·马拉提亚;弗朗西斯科·里卡;沃尔夫冈·费伯;尼古拉·利昂 5 2008 对硬ASP程序进行lookback启发式实验。 Zbl 1149.68330号 沃尔夫冈·费伯;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 1 2007 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科Giunchilia;尤利亚·利勒;马可·马拉提亚 44 2006 OptSAT：解决SAT相关优化问题的工具。 Zbl 1152.68553号 恩里科Giunchilia;马可·马拉提亚 5 2006 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 关于答案集和SAT程序之间的关系（或CMODELS和SMODELS之间的关系）。 Zbl 1165.68488号 恩里科Giunchilia;马可·马拉提亚 6 2005 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 评估搜索策略和启发式，以实现高效的答案集编程。 Zbl 1155.68509号 恩里科Giunchilia;马可·马拉提亚 1 2005 Cmodels-2：基于SAT的答案集求解器增强为非轻型程序。 Zbl 1122.68377号 尤利亚·利勒;马可·马拉提亚 25 2004 命题可满足性中的因变量和自变量。 Zbl 1014.68528号 恩里科Giunchilia;马可·马拉提亚;阿曼多·塔切拉 5 2002 所有引用出版物 前5名被引用出版物 全部的 前5名293位作者引用 21 弗朗西斯科·里卡 18 卡明·多达罗 17 马可·马拉提亚 16 马里奥·阿尔维亚诺 16 马丁·格布瑟 12 托尔斯滕·绍布（Torsten H.Schaub）。 11 尼古拉·利昂 10 尤利亚·利勒 8 乔瓦尼·阿蒙多拉 8 弗朗西斯科·卡利默里 8 Joáo P.塞尔瓦侯爵。 8 特鲁什琴斯基，米洛斯奥 7 沃尔夫冈·费伯 7 汤米·詹胡宁 7 西蒙娜·佩里 6 恩里科Giunchilia 6 Jessica Zangari 5 托马斯·艾特 5 马蒂·Järvisalo 5 罗兰·卡明斯基 5 亚历山德罗·普雷维蒂 5 哈维尔·罗梅罗 5 康斯坦丁·舍科提欣 5 斯特凡·沃尔特兰 4 汤米·A·琼蒂拉。 4 林方珍 4 卡洛斯·门西娅 4 恩里科·蓬泰利 3 乔里·博曼森 3 马可·波扎诺 3 格哈德·布鲁卡 3 亚历山德罗·西马蒂 3 阿戈斯蒂诺·多维尔 3 埃斯拉·埃尔登 3 约翰·克劳斯·费希特 3 安德烈亚·福米萨诺 3 格哈德·弗里德里希（Gerhard E.Friedrich）。 3 莎拉·爱丽丝·加格尔 3 迈克尔·盖尔芬德 3 乔瓦姆巴蒂斯塔·伊安尼 3 米科拉什·亚诺塔 3 本杰明·考夫曼 3 托马斯·克伦瓦尔纳 3 萨阿德（Emad W.Saad）。 3 理查德·塔普 3 毛罗·瓦拉蒂 3 安东尼乌斯·温齐尔 3 张元林 2 约塞普·阿格利奇 2 巴特·博加特 2 玛丽亚·保拉（Maria Paola Bonacina） 2 Krysia B.布罗达。 2 罗伯特·布鲁托梅索 2 詹姆斯·德尔格兰德。 2 亚尼斯·迪莫普洛斯 2 穆纳乔·埃切宁 2 穆罕默德·科拉尼。 2 穆罕默德·埃拉鲁西 2 佛罗伦萨，萨尔瓦多 2 劳伦特·加西亚 2 菲利普·加斯泰格 2 马库斯·赫彻 2 Lee，Joohyng先生 2 克莱尔·莱夫雷 2 托马斯·林斯比勒 2 刘，刘 2 V.Wiktor马雷克 2 努林，Lhouari 2 杰拉尔德·菲弗 2 飞机，乔迪 2 卢卡·普利纳 2 穆罕默德·赛义德·拉杰夫 2 杰弗里·布赖恩·雷梅尔 2 亚历山德拉·拉索。 2 泽尼普·戈岑·萨里巴特 2 彼得·舒勒 2 罗伯托·塞巴斯蒂亚尼 2 儿子Tran Cao 2 间谍，大卫 2 伊戈尔·斯特芬 2 斯泽德，斯特凡 2 谭丽星 2 汉斯·托姆皮茨 2 米雷克·特鲁兹琴斯基 2 彼得·范·罗苏姆 2 Yang、Zhun 2 你，嘉慧 2 张金金 2 朱兆辉 1 罗伯托·阿马迪尼 1 法布里西奥·安吉乌利 1 安蒂奇，克里斯蒂安 1 格里戈里斯·安东尼奥 1 阿里夫·M·法里德 1 亚历山德罗·阿曼多 1 伊娃·阿蒙戈尔 1 达米亚诺·阿佐利尼 1 马塞洛·巴尔杜奇尼 1 克拉克·W·巴雷特。 1 乔治·巴里扬尼斯 …还有193多名作者 全部的 前5名18篇连载文章中引用 50 逻辑程序设计理论与实践 31 人工智能 10 数学与人工智能年鉴 7 约束条件 5 自动推理杂志 4 国际近似推理杂志 3 机器学习 3 ACM计算逻辑事务 2 应用非经典逻辑杂志 2 人工智能研究杂志 2 计算机基础理论 1 信息处理信件 1 符号计算杂志 1 信息与计算 1 AI通信 1 吉泰。实验与理论人工智能杂志 1 工程中的数学问题 1 应用逻辑杂志 全部的 前5名在9个字段中引用 181 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 4 运筹学、数学规划（90-XX） 4 生物学和其他自然科学（92-XX） 2 总体主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 有序，格，有序代数结构（06-XX） 1 统计学（62-XX） 按年份列出的引文