巴巴克·巴盖里·哈里里
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2015 [i4] 巴巴克·巴盖里·哈里里 , 瓦尔·坦宁 :
合计计数差异查询等价性的判定。 CoRR公司 abs/1509.00100 ( 2015 ) 2014 [第11条] 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 阿林·德意志 , 马可·蒙塔利 :
人驱动数据中心动态系统的验证。 AAAI春季研讨会 2014 [第10条] 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 马可·蒙塔利 , 阿林·德意志 :
数据软件动态系统中的状态边界。 韩国 2014 [i3] 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 马可·蒙塔利 , 朱塞佩·德贾科莫 , 里卡多·德马塞利斯 , 保罗·费利 :
说明逻辑知识和行动基础。 CoRR公司 abs/1402.0569 ( 2014 ) 2013 【j4】 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 马可·蒙塔利 , 朱塞佩·德贾科莫 , 里卡多·德马塞利斯 , 保罗·费利 :
说明逻辑知识和行动基础。 J.阿蒂夫。 智力。 物件。 46 : 651-686 ( 2013 ) 【c9】 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 马尔科·蒙塔利 , 阿里奥·桑托索 , 德米特里·索洛马金 :
语义增强工件系统的验证。 国际社会理事会 2013 : 600-607 【c8】 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 阿林·德意志 , 马可·蒙塔利 :
使用外部服务验证以关系数据为中心的动态系统。 豆荚 2013 : 163-174 [i2] 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 马可·蒙塔利 , 阿里奥·桑托索 , 德米特里·索洛马金 :
语义增强工件系统的验证(扩展版)。 CoRR公司 abs/1308.6292 ( 2013 ) 2012 【c7】 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 里卡多·德马塞利斯 , 保罗·费利 , 马可·蒙塔利 :
验证描述逻辑知识和动作库。 ECAI公司 2012 : 103-108 [i1] 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦尼斯 , 朱塞佩·德贾科莫 , 阿林·德意志 , 马可·蒙塔利 :
使用外部服务验证以关系数据为中心的动态系统。 CoRR公司 腹肌/1203.0024 ( 2012 ) 2011 【c6】 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 里卡多·德马塞利斯 , 保罗·费利 :
关系工件验证的基础。 业务流程管理 2011 : 379-395 【c5】 巴巴克·巴盖里·哈里里 , 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 里卡多·德马塞利斯 :
基于连接查询的语义伪像的验证。 描述逻辑 2011
2000 – 2009
2008 [j3] 瓦希德·卡兹维尼亚语 , 哈桑·阿博拉萨尼 , Seyed H.Haeri(侯赛因) , 巴巴克·巴盖里·哈里里 :
基于进化一致性的本体映射提取。 专家系统。 J.诺尔。 工程师。 25 ( 三 ) : 221-236 ( 2008 ) 2007 [注2] Seyed H.Haeri(侯赛因) , 哈桑·阿博拉萨尼 , 瓦希德·卡兹维尼安 , 巴巴克·巴盖里·哈里里 :
本体对齐中基于重合度的映射评分。 高级计算杂志。 智力。 智力。 信息学 11 ( 7 ) : 803-816 ( 2007 ) 2006 [j1] 哈桑·阿博拉萨尼 , 巴巴克·巴盖里·哈里里 , 赛义德·海瑞(Seyed H.Haeri) :
本体对齐实验。 网站学 三 ( 三 ) ( 2006 ) 【c4】 巴巴克·巴盖里·哈里里 , 哈桑·阿博拉萨尼 :
一种新的本体对齐度量评估方法。 ASWC公司 2006 : 249-255 【c3】 巴巴克·巴盖里·哈里里 , 哈桑·萨亚迪 , 哈桑·阿博拉萨尼 , Kyumars Sheykh Esmaili公司 :
使用数据挖掘技术组合本体对齐度量。 ECAI的C&O 2006 【c2】 巴巴克·巴盖里·哈里里 , 哈桑·阿博拉萨尼 , 阿里·科戴伊 :
一种新的本体对齐结构相似性度量。 西南水务局 2006 : 36-42 【c1】 莫森·贾马里 , 哈桑·萨亚迪 , 巴巴克·巴盖里·哈里里 , 哈桑·阿博拉萨尼 :
一种结合链接结构和内容相似性的聚焦爬行方法。 Web智能 2006 : 753-756
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)