编辑配置文件(在新选项卡中打开) 恩里科Giunchilia 合著者距离 作者ID: giunchiglia.enrico公司 发布日期: 恩里科Giunchilia;Giunchiglia,E。 已编制索引的文档: 49出版物自1993年起 2作为编辑的贡献 合著者: 40位合著者具有51联合出版物 884位合作作者 全部的 前5名合著者 0 单作者的 24 阿曼多·塔切拉 14 马可·马拉提亚 11 马西莫·纳里扎诺 8 福斯托·金奇利亚 7 亚历山德罗·阿曼多 5 克劳迪奥·卡斯泰里尼 4 罗伯托·塞巴斯蒂亚尼 2 亚历山德罗·西马蒂 2 伊曼纽尔·迪·罗莎 2 弗拉基米尔·利夫希茨 2 马林,保罗 2 马可·皮斯托雷 2 卢卡·普利纳 2 马可·罗维里 1 马西莫·贝内雷切蒂 1 迈克尔·卡什莫尔 1 克拉克(Edmund Melson jun Clarke)。 1 科普提,费迪 1 菲克斯,利莫 1 玛丽亚·福克斯 1 拉南·弗雷尔 1 伊恩·菲利普·根特 1 马西莫·伊迪尼 1 吉拉·卡米 1 G.Neelakantan Kartha 1 Lee,Joohyng先生 1 尼古拉·利昂 1 尤利亚·利勒 1 马西莫马拉提亚 1 诺曼·麦凯恩 1 保罗·佩奇亚里 1 塞雷娜·伊丽莎·蓬塔 1 安德鲁·罗利(Andrew G.D.Rowley)。 1 卢西亚诺·塞拉菲尼 1 保罗·特拉弗索 1 哈德森·特纳 1 莫西·亚亚科夫·瓦尔迪 1 阿道夫·维拉菲奥里塔 1 沃尔什,托比 1 达维德·赞博宁 全部的 前5名系列 4 人工智能 4 数学与人工智能年鉴 3 自动推理杂志 2 国际智能系统杂志 2 逻辑与计算杂志 2 约束条件 1 计算机与系统科学杂志 1 人工智能通信 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 计算机基础理论 1 计算机科学课堂讲稿 领域 49 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 3 运筹学、数学规划(90-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 43出版物有被引用517中的次391文件 引用人▼ 年份▼ NuSMV 2:用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科Giunchilia;福斯托·金奇利亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 114 2002 非单调因果理论。 Zbl 1085.68161号 恩里科Giunchilia;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 68 2004 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科Giunchilia;尤利亚·利勒;马可·马拉提亚 44 2006 量化布尔公式评估中的子句/术语解析和学习。 Zbl 1183.68475号 Giunchiglia,E。;纳里扎诺,M。;塔切拉,A。 29 2006 用偏好解决可满足性问题。 Zbl 1208.68199号 伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 27 2010 量化布尔逻辑可满足性的回跳。 Zbl 1082.68795号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 21 2003 基于SAT的自动推理决策程序:统一的观点。 Zbl 1098.68693号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 19 2005 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普提,费迪;菲克斯,利莫;拉南·弗雷尔;恩里科Giunchilia;吉拉·卡姆希 18 2001 复杂领域中基于SAT的规划:并发、约束和不确定性。 Zbl 1082.68799号 克劳迪奥·卡斯泰里尼;恩里科Giunchilia;阿曼多·塔切拉 17 2003 代表行动:不确定性和后果。 Zbl 0894.68140号 恩里科Giunchilia;G.Neelakantan Kartha;弗拉基米尔·利夫希茨 15 1997 QUBE:确定量化布尔公式可满足性的系统。 Zbl 0988.68598号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 12 2001 sQueezeBF:基于等价推理的有效QBF预处理器。 Zbl 1306.68157号 恩里科Giunchilia;马林,保罗;马西莫·纳里扎诺 12 2010 规划为量化布尔公式。 Zbl 1327.68211号 迈克尔·卡什莫尔;玛丽亚·福克斯;恩里科Giunchilia 11 2012 关于答案集求解者之间的关系。 兹比尔1165.68333 恩里科Giunchilia;尼古拉·利昂;马可·马拉提亚 10 2008 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 QuBE++:一个高效的QBF解算器。 Zbl 1117.68488号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 8 2004 基于SAT的经典模态逻辑决策程序。 Zbl 1003.03011号 恩里科Giunchilia;阿曼多·塔切拉;福斯托·金奇利亚 8 2002 结合定性偏好解决可满足性问题的方法。 Zbl 1296.68164号 伊曼纽尔·迪·罗莎;恩里科Giunchilia 7 2013 关于答案集和SAT程序之间的关系(或CMODELS和SMODELS之间的关系)。 Zbl 1165.68488号 恩里科Giunchilia;马可·马拉提亚 6 2005 将Davis-Putnam程序应用于非子句公式。 Zbl 0961.03014号 恩里科Giunchilia;罗伯托·塞巴斯蒂亚尼 5 2000 在交互式定理证明器中嵌入复杂的决策过程。 Zbl 1034.68541号 亚历山德罗·阿曼多;恩里科Giunchilia 5 1993 评估命题可满足性中的搜索启发式和优化技术。 Zbl 0988.68608号 恩里科Giunchilia;马西莫,马拉泰阿;阿曼多·塔切拉;达维德·赞博宁 5 2001 观察QBF解算器的数据结构。 Zbl 1204.68195号 伊恩·根特;恩里科Giunchilia;马西莫·纳里扎诺;安德鲁·罗利;阿曼多·塔切拉 5 2004 命题可满足性中的因变量和自变量。 Zbl 1014.68528号 恩里科Giunchilia;马可·马拉提亚;阿曼多·塔切拉 5 2002 OptSAT:解决SAT相关优化问题的工具。 Zbl 1152.68553号 恩里科Giunchilia;马可·马拉提亚 5 2006 模态逻辑的SAT与基于翻译的决策程序:比较评估。 Zbl 1033.03500号 恩里科Giunchilia;福斯托·金奇利亚;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 4 2000 模态逻辑中可满足性的子匹配大小边界缓存。 Zbl 0963.68178号 恩里科Giunchilia;阿曼多·塔切拉 3 2000 集成了基于BDD和基于SAT的符号模型检查。 Zbl 1057.68623号 亚历山德罗·西马蒂;恩里科Giunchilia;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 3 2002 满意度测试的理论与应用。2003年5月5日至8日,意大利圣玛格丽塔·利古雷,第六届国际SAT会议。选定的修订论文。 Zbl 1030.00034号 2 2004 在规划中引入偏好作为可满足性。 兹比尔1216.68245 恩里科Giunchilia;马可·马拉提亚 2 2011 TSAT公司++:可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 基于真实世界实例的QBF推理。 Zbl 1122.68596号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 2 2005 定量布尔公式可满足性中的回跳和平凡真值分析。 Zbl 1007.68577号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 2 2001 十二年的QBF评估:QSAT是PSPACE-困难的,它表明了这一点。 Zbl 1373.68380号 马林,保罗;马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉;恩里科Giunchilia 2 2016 求解具有定性偏好的可满足性问题的算法。 Zbl 1357.68206号 恩里科Giunchilia;马可·马拉提亚 2 2012 关于信仰的理想信念和真实信念。 Zbl 1004.03011号 恩里科Giunchilia;福斯托·金奇利亚 1 2001 系统描述:*SAT。开发模态决策程序的平台。 Zbl 0963.68538号 恩里科Giunchilia;阿曼多·塔切拉 1 2000 用于形式化复杂推理的多上下文体系结构。 Zbl 0826.68111号 恩里科Giunchilia;保罗·特拉弗索 1 1995 基于SAT的经典模态逻辑决策程序。 Zbl 0980.03010号 恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 1 2000 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 多智能体系统中信念的形式化描述。 Zbl 0937.68113号 马西莫·贝内雷切蒂;恩里科Giunchilia;卢西亚诺·塞拉菲尼;阿道夫·维拉菲奥里塔 1 1999 评估搜索策略和启发式,以实现高效的答案集编程。 Zbl 1155.68509号 恩里科Giunchilia;马可·马拉提亚 1 2005 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 1 2012 十二年的QBF评估:QSAT是PSPACE硬的,它表明了这一点。 Zbl 1373.68380号 马林,保罗;马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉;恩里科Giunchilia 2 2016 结合定性偏好解决可满足性问题的方法。 Zbl 1296.68164号 伊曼纽尔·迪·罗莎;恩里科Giunchilia 7 2013 规划为量化布尔公式。 Zbl 1327.68211号 迈克尔·卡什莫尔;玛丽亚·福克斯;恩里科Giunchilia 11 2012 求解具有定性偏好的可满足性问题的算法。 Zbl 1357.68206号 恩里科Giunchilia;马可·马拉提亚 2 2012 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 1 2012 在规划中引入偏好作为可满足性。 Zbl 1216.68245号 恩里科Giunchilia;马可·马拉提亚 2 2011 用偏好解决可满足性问题。 Zbl 1208.68199号 伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 27 2010 sQueezeBF:基于等价推理的有效QBF预处理器。 Zbl 1306.68157号 恩里科Giunchilia;马林,保罗;马西莫·纳里扎诺 12 2010 关于答案集求解者之间的关系。 兹比尔1165.68333 恩里科Giunchilia;尼古拉·利昂;马可·马拉提亚 10 2008 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科Giunchilia;尤利亚·利勒;马可·马拉提亚 44 2006 量化布尔公式评估中的子句/术语解析和学习。 Zbl 1183.68475号 Giunchiglia,E。;纳里扎诺,M。;塔切拉,A。 29 2006 OptSAT:解决SAT相关优化问题的工具。 Zbl 1152.68553号 恩里科Giunchilia;马可·马拉提亚 5 2006 基于SAT的自动化推理决策程序:一个统一的视角。 Zbl 1098.68693号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 19 2005 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 关于答案集和SAT程序之间的关系(或CMODELS和SMODELS之间的关系)。 Zbl 1165.68488号 恩里科Giunchilia;马可·马拉提亚 6 2005 TSAT公司++:可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 基于真实世界实例的QBF推理。 Zbl 1122.68596号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 2 2005 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 评估搜索策略和启发式,以实现高效的答案集编程。 Zbl 1155.68509号 恩里科Giunchilia;马可·马拉提亚 1 2005 非单调因果理论。 Zbl 1085.68161号 恩里科Giunchilia;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 68 2004 QuBE++:一个高效的QBF解算器。 Zbl 1117.68488号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 8 2004 观察QBF解算器的数据结构。 Zbl 1204.68195号 伊恩·根特;恩里科Giunchilia;马西莫·纳里扎诺;安德鲁·罗利;阿曼多·塔切拉 5 2004 满意度测试的理论与应用。2003年5月5日至8日,意大利圣玛格丽塔·利古雷,第六届国际SAT会议。选定的修订论文。 Zbl 1030.00034号 2 2004 量化布尔逻辑可满足性的后跳。 Zbl 1082.68795号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 21 2003 复杂领域中基于SAT的规划:并发、约束和不确定性。 Zbl 1082.68799号 克劳迪奥·卡斯泰里尼;恩里科Giunchilia;阿曼多·塔切拉 17 2003 NuSMV 2:用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科Giunchilia;福斯托·金奇利亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 114 2002 基于SAT的经典模态逻辑决策程序。 Zbl 1003.03011号 恩里科Giunchilia;阿曼多·塔切拉;福斯托·金奇利亚 8 2002 命题可满足性中的因变量和自变量。 Zbl 1014.68528号 恩里科Giunchilia;马可·马拉提亚;阿曼多·塔切拉 5 2002 集成了基于BDD和基于SAT的符号模型检查。 Zbl 1057.68623号 亚历山德罗·西马蒂;恩里科Giunchilia;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 3 2002 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普特语,法迪语;菲克斯,利莫;拉南·弗雷尔;恩里科Giunchilia;吉拉·卡米 18 2001 QUBE:确定量化布尔公式可满足性的系统。 Zbl 0988.68598号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 12 2001 评估命题可满足性中的搜索启发式和优化技术。 Zbl 0988.68608号 恩里科Giunchilia;马西莫马拉提亚;阿曼多·塔切拉;达维德·赞博宁 5 2001 定量布尔公式可满足性中的回跳和平凡真值分析。 Zbl 1007.68577号 恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 2 2001 关于信仰的理想信念和真实信念。 Zbl 1004.03011号 恩里科Giunchilia;福斯托·金奇利亚 1 2001 将Davis-Putnam程序应用于非子句公式。 Zbl 0961.03014号 恩里科Giunchilia;罗伯托·塞巴斯蒂亚尼 5 2000 模态逻辑的SAT与基于翻译的决策程序:比较评估。 Zbl 1033.03500号 恩里科Giunchilia;福斯托·金奇利亚;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 4 2000 模态逻辑中可满足性的子匹配大小边界缓存。 Zbl 0963.68178号 恩里科Giunchilia;阿曼多·塔切拉 3 2000 系统描述:*SAT。开发模态决策程序的平台。 Zbl 0963.68538号 恩里科Giunchilia;阿曼多·塔切拉 1 2000 基于SAT的经典模态逻辑决策程序。 Zbl 0980.03010号 恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 1 2000 多智能体系统中信念的形式化描述。 Zbl 0937.68113号 马西莫·贝内雷切蒂;恩里科Giunchilia;卢西亚诺·塞拉菲尼;阿道夫·维拉菲奥里塔 1 1999 代表行动:不确定性和后果。 Zbl 0894.68140号 恩里科Giunchilia;Kartha,G.尼拉坎坦;弗拉基米尔·利夫希茨 15 1997 用于形式化复杂推理的多上下文体系结构。 Zbl 0826.68111号 恩里科Giunchilia;保罗·特拉弗索 1 1995 在交互式定理证明器中嵌入复杂的决策过程。 Zbl 1034.68541号 亚历山德罗·阿曼多;恩里科Giunchilia 5 1993 所有引用出版物 前5名被引用出版物 全部的 前5名691位作者引用 15 马可·马拉提亚 11 马丁·格布瑟 11 恩里科Giunchilia 11 Joáo P.塞尔瓦侯爵。 11 托尔斯滕·绍布(Torsten H.Schaub)。 11 莫西·亚亚科夫·瓦尔迪 10 亚历山德罗·西马蒂 10 Lee,Joohyng先生 10 尤利亚·利勒 10 弗洛里安·朗辛 9 马里奥·阿尔维亚诺 9 奥拉夫·拜尔斯多夫 9 卡明·多达罗 8 马蒂娜·塞德尔 7 阿明·比尔 7 埃格利,乌韦 7 托马斯·艾特 7 埃斯拉·埃尔登 6 亚历山德罗·普雷维蒂 6 马可·罗维里 6 儿子Tran Cao 5 奇塔·R·巴拉尔。 5 乔舒亚·布林霍恩 5 玛丽安·盖奥吉 5 米科拉什·亚诺塔 5 马蒂·Järvisalo 5 汤米·A·琼蒂拉。 5 萨瓦斯·科努尔 5 弗朗西斯科·里卡 5 哈维尔·罗梅罗 5 罗伯托·塞巴斯蒂亚尼 5 斯泽德,斯特凡 5 阿曼多·塔切拉 5 迈克尔·泰尔舍尔 5 斯特凡·沃尔特兰 4 拜伦·库克 4 沃尔夫冈·费伯 4 迈克尔·芬克 4 佛罗伦萨伊帕特 4 蒋洁红·罗兰 4 罗兰·卡明斯基 4 本杰明·考夫曼 4 卡洛斯·门西娅 4 沃尔坎州帕托格鲁 4 恩里科·蓬泰利 4 卢卡·普利纳 4 杨芳凯 3 亚历山德罗·阿曼多 3 亚历山大·阿提基斯 3 瓦莱里·巴拉巴诺夫 3 贝恩德·贝克尔 3 本杰明·伯姆 3 马可·波扎诺 3 卢博什·布里姆 3 陈小平 3 Jean-Paul彗星 3 詹姆斯·德尔格兰德。 3 阿戈斯蒂诺·多维尔 3 安德烈亚·福米萨诺 3 迈克尔·盖尔芬德 3 劳拉·佐丹奴 3 福斯托·金奇利亚 3 阿尔贝托·格里乔 3 Heule,Marijn J.H。 3 卢克·欣德 3 丹尼尔·科宁 3 拉卢卡左翼 3 尼古拉·利昂 3 弗拉基米尔·利夫希茨 3 米纳·马哈扬 3 克劳迪奥·蒙吉 3 克里斯托夫·斯科尔 3 马雷克·塞尔戈特。 3 弗里德里希·斯利沃夫斯基 3 索菲涅·塔哈尔 3 斯特凡诺·托内塔 3 保罗·特拉弗索 3 特鲁什琴斯基,米洛斯奥 3 Tu,Phan Huy先生 3 王毅 3 Christoph M.温特斯泰格。 2 萨伊德·阿贝德 2 奥特曼·阿伊特·穆罕默德 2 乔瓦尼·阿蒙多拉 2 埃亚尔·埃米尔 2 约塞普·阿格利奇 2 法希姆·巴克斯 2 克拉克·W·巴雷特。 2 尼古拉·贝内什 2 安娜·伯纳斯科尼 2 贝尔托利 2 亚历山大·波奇曼 2 玛丽亚·保拉(Maria Paola Bonacina) 2 博尔祖·博纳克达尔普尔 2 格哈德·布鲁卡 2 罗伯特·布鲁托梅索 2 Randal E.布莱恩特。 2 西蒙·布萨 2 佩德罗·卡巴拉 2 马可·卡多利 …还有591名作者 全部的 前5名在45篇连载文章中被引用 64 人工智能 34 逻辑程序设计理论与实践 20 系统设计中的形式化方法 18 数学与人工智能年鉴 14 自动推理杂志 14 约束条件 13 理论计算机科学 10 信息与计算 9 计算的形式方面 6 应用逻辑杂志 4 信息学报 4 国际近似推理杂志 4 离散事件动态系统 4 ACM计算逻辑事务 3 计算机与系统科学杂志 3 工程中的数学问题 3 可满足性、布尔建模与计算杂志 3 计算机科学中的逻辑方法 2 Studia Logica公司 2 符号计算杂志 2 计算机科学与技术杂志 2 逻辑、语言与信息杂志 2 应用非经典逻辑杂志 2 计算系统理论 2 计算机科学前沿 2 程序设计中的逻辑和代数方法杂志 2 膜计算杂志 1 信息处理信件 1 信息科学 1 哲学逻辑杂志 1 编程和计算机软件 1 合成 1 计算机程序设计科学 1 计算机与运筹学 1 运筹学年鉴 1 吉泰。实验与理论人工智能杂志 1 分布式计算 1 控制论与系统分析 1 混乱 1 动力系统的数学和计算机建模 1 计算机基础理论 1 中国的科学。F系列 1 理论计算机科学电子笔记 1 泛逻辑 1 计算机科学评论 全部的 前5名13个领域引用 361 计算机科学(68至XX) 88 数学逻辑和基础(03-XX) 16 生物学和其他自然科学(92-XX) 14 运筹学、数学规划(90-XX) 10 博弈论、经济学、金融和其他社会和行为科学(91-XX) 9 系统论;控制(93至XX) 3 信息与通信理论、电路(94-XX) 2 组合数学(05-XX) 2 动力系统和遍历理论(37至XX) 1 历史和传记(01-XX) 1 有序,格,有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文