迈克尔·韦塞尔
人员信息
其他同名人员
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 【c6】 维奈·K·乔德里 , 斯迪恩·海曼斯 , 亚当·奥弗霍尔泽 , 亚伦·斯波尔丁 , 迈克尔·A·威塞尔 :
大规模类比推理。 AAAI公司 2014 : 359-365 【c5】 维奈·K·乔德里 , 拉胡尔·卡特拉加达 , 杰夫·什拉杰 , 迈克尔·韦塞尔 :
大型科学知识库中的不一致性监测。 EKAW公司 2014 : 66-79 【c4】 维奈·K·乔德里 , 丹尼尔·埃利纽斯 , Sue Hinojoza女士 , 迈克尔·韦塞尔 :
KB_Bio_101:内容和挑战。 FOIS公司 2014 : 415-420 2013 [j1] 维奈·K·乔德里 , 斯蒂恩·海曼斯 , Son Tran公司 , 迈克尔·A·威塞尔 :
逻辑程序设计中面向对象的知识库。 理论与实践。 日志。 程序。 13 ( 4-5在线供应 ) ( 2013 ) 【c3】 维奈·K·乔德里 , 尼基尔·迪内什 , 斯迪恩·海曼斯 , 迈克尔·韦塞尔 :
图结构知识库的自动增强——或者:如何识别概念图中的继承内容。 GKR公司 2013 : 180-210 【c2】 维奈·K·乔德里 , 迈克尔·韦塞尔 , 斯迪恩·海曼斯 :
KB_Bio_101:OWL推理师面临的挑战。 矿石 2013 : 114-120 [i1] 维奈·K·乔德里 , 斯迪恩·海曼斯 , 迈克尔·韦塞尔 , Tran Cao儿子 :
逻辑编程中面向对象知识库中的问答:ASP的描述和挑战。 CoRR公司 腹肌/1312.6138 ( 2013 ) 2012 【c1】 维奈·K·乔德里 , 迈克尔·韦塞尔 , 斯迪恩·海曼斯 :
KB_Bio_101:图形结构知识库。 电子LKR 2012
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)