编辑配置文件(在新选项卡中打开) 安德烈亚·福米萨诺 合著者距离 作者ID: 福米萨诺·安德里亚 发布日期: 安德烈亚·福米萨诺;A.福米萨诺。 外部链接: MGP公司·ORCID公司 已编制索引的文档: 47出版物自1997年起 8作为编辑的贡献 合著者: 44位合著者具有54份联合出版物 929合作作者 全部的 前5名合著者 1 单作者的 15 阿戈斯蒂诺·多维尔 14 斯特凡妮娅·科斯坦蒂尼 13 恩里科·蓬泰利 11 奥莫多,尤金尼奥·乔瓦尼 4 阿尔贝托,Policriti 三 亚历克斯·布里克 三 刘燕红安妮 三 法比奥·塔迪沃 三 马可·坦佩里尼 三 Joost Vennekens 2 斯特凡诺·比斯塔雷利 2 巴特·博加特 2 坎通纳,多梅尼科 2 安德烈亚·卡波托蒂 2 埃斯拉·埃尔登 2 保罗·福多 2 玛丽安娜·尼科洛西·阿斯蒙多 2 德国维达尔 2 杨芳凯 1 佩德罗·卡巴拉 1 特法尼亚科斯坦蒂尼 1 达尔,维罗妮卡 1 乔瓦尼·德·加斯佩里斯 1 玛丽娜·德沃斯 1 卡明·多达罗 1 戈帕尔·古普塔 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 乔瓦姆巴蒂斯塔·伊安尼 1 达尼埃拉·因利赞 1 马可·马拉提亚 1 Gianfranco Murador 1 阿尔弗雷多·纳瓦拉 1 或者艾瓦·奥斯卡。 1 阿尔贝托·佩特罗西 1 大卫·佩图里蒂 1 克里斯蒂娜·皮诺蒂。 1 瓦伦蒂娜·皮托尼 1 吉安·卢卡(Gian Luca),披萨 1 里卡多·罗查 1 玛尔塔·西蒙 1 保罗·托罗尼 1 艾丽西亚·维拉纽埃娃 1 卡拉戈罗·扎尔巴。 1 周能发 全部的 前5名系列 7 计算机基础理论 7 逻辑程序设计理论与实践 三 理论计算机科学 2 逻辑与计算杂志 2 应用非经典逻辑杂志 2 理论计算机科学电子论文集(EPTCS) 1 符号逻辑杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 算法杂志 1 符号计算杂志 1 自动推理杂志 1 强迫 1 吉泰。实验与理论人工智能杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 离散算法杂志 1 RAIRO公司。理论信息学及其应用 全部的 前5名领域 52 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 8 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 光学、电磁理论(78-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用105中的次56文件 引用人▼ 年份▼ ASP中具有首选项的权重约束。 Zbl 1327.68061号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 7 2011 将并元一阶规范编译成映射代数。 Zbl 1025.68053号 坎通纳,D。;A.福米萨诺。;Omodeo,E.G.公司。;C.G.扎尔巴。 7 2003 集合理论的等式重建。 Zbl 0955.03016号 安德烈亚·福米萨诺;尤金尼奥·奥莫多 6 2000 自动地图推理的目标和基准。 Zbl 0965.03014号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;马可·坦佩里尼 6 2000 ASP中资源消耗和生产的建模偏好和条件偏好。 Zbl 1182.68037号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 6 2009 组合问题的约束逻辑规划和答案集规划解的实证研究。 Zbl 1193.68073号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 5 2009 否定作为一种资源:关于答案集语义的新观点。 Zbl 1352.68036号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 5 2015 三个变量的set-pairing语句。 Zbl 1058.03028号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;阿尔贝托,Policriti 4 2004 比较CLP(FD)和ASP解决NP完全问题的方法。 Zbl 1165.68486号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 4 2005 指导与水獭进行等式设置推理。 Zbl 0988.68164号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;马可·坦佩里尼 4 2001 扩展和实施RASP。 Zbl 1211.68059号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺;大卫·佩图里蒂 4 2010 用资源回答集合编程。 Zbl 1200.68065号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 4 2010 命题非经典逻辑的一个有效的关系演绎系统。 Zbl 1186.03044号 安德烈亚·福米萨诺;玛丽安娜·尼科洛西·阿斯蒙多 4 2006 基于资源的答案集语义中的查询回答。 Zbl 1379.68052号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 4 2016 自治代理协调:动作语言满足CLP((mathcal{FD}))和Linda。 Zbl 1267.68079号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 4 2013 \(T\)-分辨率:细化和模型消除。 兹比尔0929.68112 安德烈亚·福米萨诺;阿尔贝托,Policriti 三 1999 分层地图推理:一种在场景中进行试验的实验方法。 Zbl 1263.03008号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;马可·坦佩里尼 三 2001 安Agg公司支持可视化推理的应用程序。 Zbl 1262.68078号 安德烈亚·福米萨诺;玛尔塔·西蒙 三 2001 带约束的多值动作语言(CLP(FD))。 Zbl 1191.68653号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 2 2010 对基于逻辑的方法进行行动和改变推理的观点。 Zbl 1326.68274号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 2 2011 具有预算和成本的多智能体系统的认知逻辑。 Zbl 07437036号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺;瓦伦蒂娜·皮托尼 2 2021 CLP(FD)中带约束的多值动作语言。 Zbl 1213.68633号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 2 2007 皮尔士可表达性边缘的初等集合公理。 Zbl 1100.03042号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;阿尔贝托,Policriti 2 2005 关于逻辑编程。 Zbl 0944.68022号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;阿尔贝托,Policriti 1 1997 反静磁问题的正则化:可能性和陷阱。 Zbl 1115.78344号 A.福米萨诺。 1 2005 CLP中多智能体规划的研究。 Zbl 1209.68559号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 1 2010 比较不确定性:理论与自动化。 Zbl 1141.68056号 安德烈亚·卡波托蒂;安德烈亚·福米萨诺 1 2008 ASP中的嵌套权重约束。 Zbl 1268.68158号 特法尼亚科斯坦蒂尼;安德烈亚·福米萨诺 1 2013 否定作为一种资源:关于答案集语义的新观点。 Zbl 1352.68035号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 1 2013 特定于理论的自动推理。 Zbl 1285.68146号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 1 2010 RASP和ASP是线性逻辑的一部分。 Zbl 1400.68047号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 1 2013 动态环境中的多控制系统。 兹比尔1485.68246 佩德罗·卡巴拉尔;斯特凡妮娅·科斯坦蒂尼;乔瓦尼·德·加斯佩里斯;安德烈亚·福米萨诺 1 2019 RASP程序的强等效性。 Zbl 1357.68030号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺;大卫·皮尔斯 1 2012 以下沉为中心的传感器网络中用于无碰撞路由的分布式着色。 Zbl 1247.68029号 阿尔弗雷多·纳瓦拉;克里斯蒂娜·皮诺蒂。;安德烈亚·福米萨诺 1 2012 具有原子的集合的可判定性结果。 兹比尔1407.03008 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 1 2006 向知识表示语言添加元逻辑功能。 Zbl 1519.68260号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 1 2021 具有预算和成本的多智能体系统的认知逻辑。 Zbl 07437036号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺;瓦伦蒂娜·皮托尼 2 2021 向知识表示语言添加元逻辑功能。 Zbl 1519.68260号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 1 2021 动态环境中的多控制系统。 Zbl 1485.68246号 佩德罗·卡巴拉尔;斯特凡妮娅·科斯坦蒂尼;乔瓦尼·德·加斯佩里斯;安德烈亚·福米萨诺 1 2019 基于资源的答案集语义中的查询回答。 Zbl 1379.68052号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 4 2016 否定作为一种资源:关于答案集语义的新观点。 Zbl 1352.68036号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 5 2015 自治代理协调:动作语言满足CLP((mathcal{FD}))和Linda。 Zbl 1267.68079号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 4 2013 ASP中的嵌套权重约束。 Zbl 1268.68158号 特法尼亚科斯坦蒂尼;安德烈亚·福米萨诺 1 2013 否定作为一种资源:关于答案集语义的新观点。 Zbl 1352.68035号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 1 2013 RASP和ASP是线性逻辑的一部分。 Zbl 1400.68047号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 1 2013 RASP程序的强等效性。 Zbl 1357.68030号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺;大卫·皮尔斯 1 2012 以下沉为中心的传感器网络中用于无碰撞路由的分布式着色。 Zbl 1247.68029号 阿尔弗雷多·纳瓦拉;克里斯蒂娜·皮诺蒂。;安德烈亚·福米萨诺 1 2012 ASP中具有首选项的权重约束。 Zbl 1327.68061号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 7 2011 对基于逻辑的方法进行行动和改变推理的观点。 Zbl 1326.68274号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 2 2011 扩展和实施RASP。 Zbl 1211.68059号 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺;大卫·佩图里蒂 4 2010 用资源回答集合编程。 兹比尔1200.68065 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 4 2010 带约束的多值动作语言(CLP(FD))。 Zbl 1191.68653号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 2 2010 CLP中多智能体规划的研究。 Zbl 1209.68559号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 1 2010 特定于理论的自动推理。 Zbl 1285.68146号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 1 2010 ASP中资源消耗和生产的建模偏好和条件偏好。 兹比尔1182.68037 斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 6 2009 组合问题的约束逻辑规划和答案集规划解的实证研究。 Zbl 1193.68073号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 5 2009 比较不确定性:理论与自动化。 Zbl 1141.68056号 安德烈亚·卡波托蒂;安德烈亚·福米萨诺 1 2008 CLP(FD)中带约束的多值动作语言。 Zbl 1213.68633号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 2 2007 命题非经典逻辑的有效关系演绎系统。 Zbl 1186.03044号 安德烈亚·福米萨诺;玛丽亚娜·尼科洛西·阿斯蒙多 4 2006 含原子集的可判定性结果。 Zbl 1407.03008号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 1 2006 比较CLP(FD)和ASP解决NP完全问题的方法。 Zbl 1165.68486号 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 4 2005 皮尔士可表达性边缘的初等集合公理。 Zbl 1100.03042号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;阿尔贝托,Policriti 2 2005 反静磁问题的正则化:可能性和陷阱。 Zbl 1115.78344号 A.福米萨诺。 1 2005 三个变量的set-pairing语句。 Zbl 1058.03028号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;阿尔贝托,Policriti 4 2004 将并元一阶规范编译成映射代数。 Zbl 1025.68053号 坎通纳,D。;A.福米萨诺。;Omodeo,E.G.公司。;C.G.扎尔巴。 7 2003 指导与水獭进行等式设置推理。 Zbl 0988.68164号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;马可·坦佩里尼 4 2001 分层地图推理:一种在场景中进行试验的实验方法。 Zbl 1263.03008号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;马可·坦佩里尼 三 2001 安Agg公司支持可视化推理的应用程序。 Zbl 1262.68078号 安德烈亚·福米萨诺;玛尔塔·西蒙 三 2001 集合理论的等式重建。 Zbl 0955.03016号 安德烈亚·福米萨诺;尤金尼奥·奥莫多 6 2000 自动化地图推理的目标和基准。 Zbl 0965.03014号 安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;马可·坦佩里尼 6 2000 \(T)-分辨率:优化和模型消除。 Zbl 0929.68112号 安德烈亚·福米萨诺;阿尔贝托,Policriti 三 1999 On \(T\)逻辑编程。 兹比尔0944.68022 阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;阿尔贝托,Policriti 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名92位作者引用 19 安德烈亚·福米萨诺 10 奥莫多,尤金尼奥·乔瓦尼 9 斯特凡妮娅·科斯坦蒂尼 7 阿戈斯蒂诺·多维尔 7 恩里科·蓬泰利 5 坎通纳,多梅尼科 4 玛丽安娜·尼科洛西·阿斯蒙多 三 乔安娜·戈林斯卡·皮拉雷克 2 de Freitas、Renata P。 2 Ernst-Erich Doberkat 2 埃米利奥·穆尼奥斯·韦拉斯科 2 阿尔贝托,Policriti 2 Daniele Francesco Santamaria 2 马可·坦佩里尼 2 Paulo Augusto S.维洛索。 2 Sheila R.M.维洛索。 2 彼得鲁西奥·维亚纳 2 Yeoh,William威廉 1 乔瓦尼·阿蒙多拉 1 华金·阿里亚斯 1 马塞洛·巴尔杜奇尼 1 罗马人Barták 1 亚历山德罗·布里干纳 1 佩德罗·卡巴拉尔 1 马可·卡多利 1 曼努埃尔·卡罗 1 陈秋元 1 罗伯托·孔瓦洛尼埃里 1 斯特凡妮亚·康斯坦蒂尼 1 马尔科·德·博托利 1 马丁·德·科克 1 乔瓦尼·德·加斯佩里斯 1 洛伦佐·德劳雷蒂斯 1 丽娜·德希特 1 塞巴斯蒂安·德斯特克 1 卡明·多达罗 1 康拉德·德雷舍尔 1 弗朗西斯科·法比亚诺 1 所罗门·费弗曼 1 费迪南多·菲奥雷托 1 迈克尔·盖尔芬德 1 戈帕尔·古普塔 1 雅各布·M·豪。 1 塔内利·休斯科宁 1 达尼埃拉·因利赞 1 杰夫·肯特 1 国王,安迪 1 罗伯特·A·科瓦尔斯基。 1 科尔汗·科赞 1 勒·蒂普 1 李文江 1 尤利亚·利勒 1 林方珍 1 林武雄 1 罗世明 1 克里斯蒂亚诺·隆戈 1 马骏 1 托尼·曼奇尼 1 凯尔·马普尔 1 马哈茂德·马苏德 1 伊莱·梅赫吉 1 大卫·米卡莱托 1 米库拉斯(Mikulás,Szabolcs) 1 恩里克·米兰达 1 安杰尔·莫拉 1 胡安·卡洛斯·尼维斯 1 或者艾瓦·奥斯卡。 1 毛里西奥·奥索里奥。 1 法比奥·帕特里齐 1 瓦伦蒂娜·皮托尼 1 弗朗西斯科·里卡 1 阮,达 1 法里巴·萨德里 1 伊尔迪科·塞恩 1 埃尔默·萨拉扎 1 史蒂文·肖卡特 1 玛尔塔·西蒙 1 安德烈斯·西蒙 1 儿子Tran Cao 1 法比奥·塔迪沃 1 迈克尔·泰尔舍尔 1 亚历山德鲁·伊昂·托梅斯库 1 曾裕熙 1 彼得罗·乌西诺 1 哈维尔·Vázquez-Salceda 1 王一松 1 徐,杨 1 你,嘉慧 1 袁丽燕 1 卡拉戈罗·扎尔巴。 1 张明义 1 周能发 全部的 前5名22篇连载文章中引用 12 逻辑程序设计理论与实践 5 理论计算机科学 三 数学与人工智能年鉴 2 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 2 信息与计算 2 应用非经典逻辑杂志 2 约束条件 2 计算机基础理论 1 模糊集与系统 1 信息科学 1 数学心理学杂志 1 符号逻辑杂志 1 合成 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 新一代计算 1 自动推理杂志 1 国际近似推理杂志 1 吉泰。实验与理论人工智能杂志 1 国际计算机数学杂志 1 RAIRO公司。理论信息学及其应用 1 灵活服务和制造杂志 全部的 前5名在9个字段中引用 44 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 概率论与随机过程(60-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文