编辑配置文件（在新选项卡中打开） 马里奥·阿尔维亚诺 合著者距离 作者ID： 阿尔维亚诺马里奥 发布日期： 马里奥·阿尔维亚诺;阿尔维亚诺，M。 外部链接： MGP公司·ORCID公司 已编制索引的文档： 41出版物自2010年起 审查活动： 17评论 合著者： 36位合著者具有37联合出版物 561合著作者 全部的 前5名合著者 4 单作者的 15 卡明·多达罗 12 Leone，尼古拉 11 沃尔夫冈·费伯 8 弗朗西斯科·里卡 4 乔治·巴里扬尼斯 4 巴萨基斯、索蒂利斯 三 弗朗西斯科·卡里梅里 三 吉安路易吉·格雷科 三 马可·马拉提亚 三 亚历山德罗·普雷维蒂 2 格里戈里斯·安东尼奥 2 佛罗伦萨，萨尔瓦多 2 马可·曼纳 2 拉斐尔·佩尼亚洛萨 2 西蒙娜·佩里 2 伊利亚斯·塔赫马齐迪斯 2 皮尔弗朗西斯科·维尔特里 2 Jessica Zangari 1 乔瓦尼·阿蒙多拉 1 约翰·克劳斯·费希特 1 戴维·福斯卡 1 马丁·格布瑟 1 乔瓦尼·格拉索 1 安东尼拉·古佐 1 马库斯·赫彻 1 乔瓦姆巴蒂斯塔·伊安尼 1 萨尔瓦多伊里塔诺 1 马蒂·Järvisalo 1 文森齐诺·里奥 1 Joáo P.塞尔瓦侯爵。 1 Emmanuel N.帕帕达基斯。 1 托拜厄斯·菲利普 1 雅各布·拉特 1 蒂莫斯·塞利斯。 1 蔡培伟 1 斯特凡·沃尔特兰 全部的 前5名系列 18 逻辑程序设计理论与实践 4 计算机基础理论 2 人工智能 2 人工智能通信 1 逻辑与计算杂志 1 人工智能研究杂志 领域 40 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物被引用239中的次116文件 引用人▼ 年份▼ WASP进展。 Zbl 1467.68021号 马里奥·阿尔维亚诺;卡明·多达罗;Leone，尼古拉;弗朗西斯科·里卡 39 2015 ASP系统DLV2。 Zbl 1472.68178号 马里奥·阿尔维亚诺;弗朗西斯科·卡里梅里;卡明·多达罗;戴维·福斯卡;Leone，尼古拉;西蒙娜·佩里;弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari 24 2017 在Gioia-Tauro海港通过答案集编程进行团队建设。 Zbl 1250.90050 F.里卡。;格拉索，G。;阿尔维亚诺，M。;M.曼纳。;V·利奥。;Iiritano，S。;北卡罗来纳州塞拉利昂。 23 2012 通过不可满足的核收缩实现任意时间的答案集优化。 Zbl 1379.68033号 马里奥·阿尔维亚诺;卡明·多达罗 16 2016 答案集编程中任何时候谨慎后果的计算。 Zbl 1307.68012号 马里奥·阿尔维亚诺;卡明·多达罗;弗朗西斯科·里卡 14 2014 析取数据日志程序的魔术集。 Zbl 1251.68051号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;吉安路易吉·格雷科;Leone，尼古拉 11 2012 在答案集编程中重写递归聚合：回到单调性。 Zbl 1379.68034号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 11 2015 WASP中析取程序的评估。 Zbl 1522.68096号 马里奥·阿尔维亚诺;乔瓦尼·阿蒙多拉;卡明·多达罗;Leone，尼古拉;马可·马拉提亚;弗朗西斯科·里卡 10 2019 FLP语义下广义原子答案集编程的复杂性边界。 Zbl 1405.68036号 马里奥·阿尔维亚诺;沃尔夫冈·费伯 8 2013 最优稳定模型搜索：算法和实现。 Zbl 1487.68206号 马里奥·阿尔维亚诺;卡明·多达罗;若昂·西尔瓦侯爵;弗朗西斯科·里卡 8 2020 具有功能的析取ASP：可判定查询和有效计算。 Zbl 1209.68086号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;Leone，尼古拉 7 2010 使用答案集编程进行定性空间推理的轨迹演算。 Zbl 1451.68252号 乔治·巴里扬尼斯;伊利亚斯·塔赫马齐迪斯;巴萨基斯、索蒂利斯;格里戈里斯·安东尼奥;马里奥·阿尔维亚诺;蒂莫斯·塞利斯;蔡培伟 6 2018 答案集编程中GZ聚合的复杂性和编译。 Zbl 1379.68035号 马里奥·阿尔维亚诺;Leone，尼古拉 6 2015 答案集编程中的共享聚合集。 Zbl 1451.68062号 马里奥·阿尔维亚诺;多达罗，胭脂红;马可·马拉提亚 5 2018 ASP中通过最小模型和不满意的核心进行谨慎的推理。 Zbl 1451.68267号 马里奥·阿尔维亚诺;卡明·多达罗;Järvisalo，马蒂;马可·马拉提亚;亚历山德罗·普雷维蒂 5 2018 使用非凸递归聚合评估答案集编程。 Zbl 1374.68096号 马里奥·阿尔维亚诺 5 2016 带存在量词的析取数据日志：语义、可判定性和复杂性问题。 Zbl 1260.68055号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;Leone，尼古拉;马可·曼纳 5 2012 动态魔术集和超相干答案集程序。 Zbl 1215.68211号 马里奥·阿尔维亚诺;沃尔夫冈·费伯 4 2011 具有聚合的答案集程序的无基础集和基础良好的语义。 Zbl 1234.68367号 马里奥·阿尔维亚诺;弗朗西斯科·卡里梅里;沃尔夫冈·费伯;Leone，尼古拉;西蒙娜·佩里 4 2011 通过不可满足核分析在命题限定中进行模型枚举。 Zbl 1422.68217号 马里奥·阿尔维亚诺 4 2017 模糊答案集近似值。 Zbl 1298.68058号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 三 2013 具有单调递归聚合的程序的动态魔术集。 Zbl 1239.68019号 马里奥·阿尔维亚诺;吉安路易吉·格雷科;Leone，尼古拉 2 2011 ASP中超相干问题的复杂性。 Zbl 1312.68034号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;斯特凡·沃尔特兰 2 2014 通过假设文字进行模型枚举。 Zbl 1415.68222号 马里奥·阿尔维亚诺;卡明·多达罗 2 2019 ASP的不一致性证明：ASP-DRUPE格式。 Zbl 1434.68065号 马里奥·阿尔维亚诺;卡明·多达罗;约翰·费希特。;马库斯·赫彻;托拜厄斯·菲利普;雅各布·拉特 2 2019 通过本体论推理的应用增强魔术集。 Zbl 1434.68560号 马里奥·阿尔维亚诺;Leone，尼古拉;皮尔弗朗西斯科·维尔特里;Jessica Zangari 2 2019 答案集编程中使用定性理论进行编码和推理的通用方法。 Zbl 1468.68218号 乔治·巴里扬尼斯;伊利亚斯·塔赫马齐迪斯;巴萨基斯、索蒂利斯;格里戈里斯·安东尼奥;马里奥·阿尔维亚诺;埃马纽埃尔·帕帕达基斯 2 2020 不满意的核心分析和最佳稳定模型搜索的集合。 Zbl 1497.68451号 马里奥·阿尔维亚诺;卡明·多达罗 1 2020 回答集编程中的模态逻辑S5的可满足性。 Zbl 1522.68714号 马里奥·阿尔维亚诺;巴萨基斯、索蒂利斯;乔治·巴里扬尼斯 1 2021 支持具有广义原子的逻辑程序的稳定答案集。 Zbl 1365.68147号 马里奥·阿尔维亚诺;沃尔夫冈·费伯 1 2015 ASP和子集极小性：枚举、谨慎推理和MUS。 Zbl 07702961号 马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨，萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 1 2023 通过限定进行论证推理皮格拉夫. Zbl 1415.68214号 马里奥·阿尔维亚诺 1 2019 WASP中最小模型和MUS的枚举。 Zbl 07671876号 马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨，萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 1 2022 基于可满足性模理论的模糊答案集计算。 Zbl 1379.68036号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 1 2015 通过假设文字回答集合枚举。 Zbl 1430.68326号 马里奥·阿尔维亚诺;卡明·多达罗 1 2016 ASP中的函数符号：概述和透视图。 Zbl 1259.68183号 马里奥·阿尔维亚诺;弗朗西斯科·卡里梅里;沃尔夫冈·费伯;乔瓦姆巴蒂斯塔·伊安尼;Leone，尼古拉 1 2011 ASP和子集极小性：枚举、谨慎推理和MUS。 Zbl 07702961号 马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨，萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 1 2023 WASP中最小模型和MUS的枚举。 Zbl 07671876号 马里奥·阿尔维亚诺;多达罗，胭脂红;佛罗伦萨，萨尔瓦托;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 1 2022 模态逻辑S5在答案集编程中的可满足性。 兹比尔1522.68714 马里奥·阿尔维亚诺;巴萨基斯、索蒂利斯;乔治·巴里扬尼斯 1 2021 最优稳定模型搜索：算法和实现。 Zbl 1487.68206号 马里奥·阿尔维亚诺;卡明·多达罗;若昂·西尔瓦侯爵;弗朗西斯科·里卡 8 2020 答案集编程中使用定性理论进行编码和推理的通用方法。 Zbl 1468.68218号 乔治·巴里扬尼斯;伊利亚斯·塔赫马齐迪斯;巴萨基斯、索蒂利斯;格里戈里斯·安东尼奥;马里奥·阿尔维亚诺;伊曼纽尔·帕帕达基斯 2 2020 最优稳定模型搜索的不满意核心分析和聚合。 Zbl 1497.68451号 马里奥·阿尔维亚诺;卡明·多达罗 1 2020 WASP中析取程序的评估。 Zbl 1522.68096号 马里奥·阿尔维亚诺;乔瓦尼·阿蒙多拉;卡明·多达罗;Leone，尼古拉;马可·马拉提亚;弗朗西斯科·里卡 10 2019 通过假设文字进行模型枚举。 Zbl 1415.68222号 马里奥·阿尔维亚诺;卡明·多达罗 2 2019 ASP的不一致性证明：ASP-DRUPE格式。 Zbl 1434.68065号 马里奥·阿尔维亚诺;卡明·多达罗;约翰·费希特。;马库斯·赫彻;托拜厄斯·菲利普;雅各布·拉特 2 2019 通过本体论推理的应用增强魔术集。 Zbl 1434.68560号 马里奥·阿尔维亚诺;Leone，尼古拉;皮尔弗朗西斯科·维尔特里;Jessica Zangari 2 2019 通过限定进行论证推理皮格拉夫. Zbl 1415.68214号 马里奥·阿尔维亚诺 1 2019 使用答案集编程进行定性空间推理的轨迹演算。 兹比尔1451.68252 乔治·巴里扬尼斯;伊利亚斯·塔赫马齐迪斯;巴特萨基斯，索蒂里斯;格里戈里斯·安东尼奥;马里奥·阿尔维亚诺;蒂莫斯·塞利斯;蔡培伟 6 2018 答案集编程中的共享聚合集。 Zbl 1451.68062号 马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚 5 2018 ASP中通过最小模型和不可满足的核心进行谨慎推理。 Zbl 1451.68267号 马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 5 2018 ASP系统DLV2。 Zbl 1472.68178号 马里奥·阿尔维亚诺;弗朗西斯科·卡里梅里;卡明·多达罗;戴维·福斯卡;Leone，尼古拉;西蒙娜·佩里;弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari 24 2017 通过不可满足核分析在命题限定中进行模型枚举。 Zbl 1422.68217号 马里奥·阿尔维亚诺 4 2017 通过不可满足的核收缩实现任意时间的答案集优化。 Zbl 1379.68033号 马里奥·阿尔维亚诺;卡明·多达罗 16 2016 使用非凸递归聚合评估答案集编程。 Zbl 1374.68096号 马里奥·阿尔维亚诺 5 2016 通过假设文字回答集合枚举。 Zbl 1430.68326号 马里奥·阿尔维亚诺;卡明·多达罗 1 2016 WASP进展。 Zbl 1467.68021号 马里奥·阿尔维亚诺;卡明·多达罗;Leone，尼古拉;弗朗西斯科·里卡 39 2015 在答案集编程中重写递归聚合：回到单调性。 Zbl 1379.68034号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 11 2015 答案集编程中GZ聚合的复杂性和编译。 Zbl 1379.68035号 马里奥·阿尔维亚诺;Leone，尼古拉 6 2015 支持具有广义原子的逻辑程序的稳定答案集。 Zbl 1365.68147号 马里奥·阿尔维亚诺;沃尔夫冈·费伯 1 2015 基于可满足性模理论的模糊答案集计算。 Zbl 1379.68036号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 1 2015 答案集编程中谨慎后果的任意时间计算。 兹比尔1307.68012 马里奥·阿尔维亚诺;卡明·多达罗;弗朗西斯科·里卡 14 2014 ASP中超一致性问题的复杂性。 Zbl 1312.68034号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;斯特凡·沃尔特兰 2 2014 FLP语义下广义原子答案集编程的复杂性边界。 Zbl 1405.68036号 马里奥·阿尔维亚诺;沃尔夫冈·费伯 8 2013 模糊答案集近似值。 Zbl 1298.68058号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 三 2013 在Gioia-Tauro海港通过答案集编程进行团队建设。 Zbl 1250.90050 F.里卡。;格拉索，G。;阿尔维亚诺，M。;M.曼纳。;V·利奥。;伊利塔诺，S。;北卡罗来纳州塞拉利昂。 23 2012 析取数据日志程序的魔术集。 Zbl 1251.68051号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;吉安路易吉·格雷科;Leone，尼古拉 11 2012 带存在量词的析取数据日志：语义、可判定性和复杂性问题。 Zbl 1260.68055号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;Leone，尼古拉;马可·曼纳 5 2012 动态魔术集和超相干答案集程序。 Zbl 1215.68211号 马里奥·阿尔维亚诺;沃尔夫冈·费伯 4 2011 具有聚合的答案集程序的无基础集和基础良好的语义。 Zbl 1234.68367号 马里奥·阿尔维亚诺;弗朗西斯科·卡里梅里;沃尔夫冈·费伯;Leone，尼古拉;西蒙娜·佩里 4 2011 具有单调递归聚合的程序的动态魔术集。 Zbl 1239.68019号 马里奥·阿尔维亚诺;吉安路易吉·格雷科;Leone，尼古拉 2 2011 ASP中的函数符号：概述和透视图。 Zbl 1259.68183号 马里奥·阿尔维亚诺;弗朗西斯科·卡里梅里;沃尔夫冈·费伯;乔瓦姆巴蒂斯塔·伊安尼;Leone，尼古拉 1 2011 具有功能的析取ASP：可判定查询和有效计算。 Zbl 1209.68086号 马里奥·阿尔维亚诺;沃尔夫冈·费伯;Leone，尼古拉 7 2010 所有引用出版物 前5名被引用出版物 全部的 前5名170位作者引用 21 弗朗西斯科·里卡 20 马里奥·阿尔维亚诺 20 卡明·多达罗 11 马可·马拉提亚 10 马丁·格布瑟 9 Leone，尼古拉 8 Jessica Zangari 7 乔瓦尼·阿蒙多拉 7 弗朗西斯科·卡里梅里 7 托马斯·艾特 7 沃尔夫冈·费伯 6 西蒙娜·佩里 6 斯特凡·沃尔特兰 5 约翰·克劳斯·费希特 5 汤米·詹胡宁 5 Schaub，Torsten H。 5 康斯坦丁·舍科提欣 4 马库斯·赫彻 4 玛娜，马可 三 乔治·巴扬尼斯 三 巴萨基斯、索蒂利斯 三 马丁·德·科克 三 格哈德·弗里德里希（Gerhard E.Friedrich）。 三 菲利普·加斯泰格 三 塞尔吉奥·格雷科 三 乔瓦姆巴蒂斯塔·伊安尼 三 罗兰·卡明斯基 三 迈克尔·莫拉克 三 亚历山德罗·普雷维蒂 三 史蒂文·肖卡特 三 彼得·舒勒 三 理查德·塔普 三 伊琳娜·特鲁比西纳 三 特鲁什琴斯基，米洛斯奥 三 安东尼乌斯·温齐尔 三 你，嘉慧 2 哈拉尔德·贝克 2 乔里·博曼森 2 格哈德·布鲁卡 2 马可·卡洛蒂 2 贝尔纳多·卡特里 2 穆罕默德·科拉尼。 2 埃斯拉·埃尔登 2 佛罗伦萨，阿莱西奥 2 佛罗伦萨，萨尔瓦多 2 莎拉·爱丽丝·加格尔 2 乔治·戈特洛布 2 吉安路易吉·格雷科 2 尤素福·伊兹米利奥格鲁 2 本杰明·考夫曼 2 托马斯·克伦瓦尔纳 2 尤利亚·利勒 2 刘燕红安妮 2 克里斯蒂安·莫里纳罗 2 蘑菇、蘑菇 2 本杰明·穆西奇 2 弗朗西斯科·帕琴察 2 安德烈亚斯·皮耶利斯 2 克里斯托夫·雷德尔 2 哈维尔·罗梅罗 2 泽尼普·戈岑·萨里巴特 2 克劳迪娅·舒尔茨 2 克斯特安提恩·什切科提金 2 乔治·特拉西纳 2 张燕 2 张元林 1 Michael Abseher先生 1 阿隆索、何塞·安东尼奥 1 格里戈里斯·安东尼奥 1 华金·阿里亚斯 1 弗农·亚松森 1 克里斯托弗·贝亚特里克斯 1 托拜厄斯·贝雷 1 里卡多·贝尔托卢奇 1 曼纽尔·比什勒 1 伯恩哈德·布利姆 1 巴特·博加特 1 伊丽莎·伯尔 1 皮耶罗·安德里亚·博纳蒂 1 雷米·布罗赫宁 1 阿莱西奥·卡皮塔内利 1 曼纽尔·卡罗 1 弗朗西斯科·考特鲁西奥 1 陈，尹 1 卢卡·西内利 1 伯纳多·昆卡·格劳 1 越南Dao Tran 1 沃尔夫·德·沃尔夫 1 詹姆斯·德尔格兰德。 1 里德万·德沃波拉沃 1 德雷克·德拉海姆 1 弗朗索瓦斯·杜兰德·杜比耶夫 1 斯特凡·埃尔马瑟勒 1 豪尔赫·范丁诺 1 迈克尔·芬克 1 弗利，克里斯蒂安 1 朱利娅·弗朗西斯科托 1 戴维·福斯卡 1 加西亚·马塔，卡门·莱蒂西亚 1 劳伦特·加西亚 …还有70多名作者 全部的 前5名9篇连载文章中引用 57 逻辑程序设计理论与实践 19 人工智能 2 计算机基础理论 2 ACM计算逻辑事务 1 模糊集与系统 1 国际近似推理杂志 1 人工智能通信 1 制约因素 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马蒂卡斯。拉萨姆 全部的 前5名在9个字段中引用 115 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 5 生物学和其他自然科学（92-XX） 2 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文