杜建峰
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元55年] 海湾 , 梁平佳 , 杜建峰 , 罗伟林 , 叶荣臻 , 薄鹏 :
通过忠实的LTLf编码对LTLf公式进行端到端学习。 AAAI公司 2024 : 9071-9079 2023 [c54] 叶荣臻 , 天曲庄 , 海湾 , 杜建峰 , 罗伟林 , 梁平佳 :
一种用于具有交错的单出现正则表达式的耐噪可微学习方法。 AAAI公司 2023 : 4809-4817 [公元53年] 罗伟林 , 余杭郑 , 叶荣臻 , 海湾 , 杜建峰 , 梁平佳 , 陈波龙 :
通过图表示学习进行SAT-Veriable LTL可满足性检查。 ASE公司 2023 : 1761-1765 [第52条] 薄鹏 , 梁平佳 , 韩廷晨 , 罗伟林 , 杜建峰 , 海湾 , 叶荣臻 , 余杭郑 :
PURLTL:从测试中的不完整痕迹中挖掘LTL规范。 ASE公司 2023 : 1766-1770 [第51条] 昆士奇 , 杜建峰 , 海湾 :
从结构和文本知识中学习,以完成归纳知识图。 NeurIPS公司 2023 2022 [公元50年] 罗伟林 , 梁平佳 , 杜建峰 , 海湾 , 薄鹏 , 张德龙 :
为了学习LTLf公式,将LTLf推理桥接到GNN推理。 AAAI公司 2022 : 9849-9857 [公元49年] 昆士奇 , 海湾 , 杜建峰 , 陈浩兰 :
通过从跨语言模板中快速学习来增强跨语言自然语言推理。 ACL(1) 2022 : 1910-1923 [公元48年] 罗伟林 , 海湾 , 杜建峰 , 李晓达 , 玉泽府 , 叶荣臻 , 张德龙 :
向神经网络教授LTLf满意度检查。 国际JCAI 2022 : 3292-3298 [公元47年] 罗伟林 , 海湾 , 张德龙 , 杜建峰 , 苏恒迪 :
通过端到端学习检查LTL可满足性。 ASE公司 2022 : 21:1-21:13 [i2] 叶荣珍 , 天曲庄 , 海湾 , 杜建峰 , 罗伟林 , 梁平佳 :
带交错的单次正则表达式的一种容错差分学习方法。 CoRR公司 abs/2212.00373 ( 2022 ) 2021 [j6] 海湾 , 梁金瑞 , 杜建峰 , 刘延安(Yanan Liu) , 欧嘉陵 , 王宝仪 , 杰夫·Z·潘 , 曾娟 :
基于常识知识图的迭代视觉关系检测。 大数据研究。 23 : 100175 ( 2021 ) [公元46年] 海湾 , 张曼荣 , 杜建峰 , 黄子陵 , 杨宇飞 , 杰夫·Z·潘 :
FL-MSRE:一种基于少量学习的多模态社会关系提取方法。 AAAI公司 2021 : 13916-13923 [公元45年] 海湾 , 陈海诚 , 杜建峰 , 罗伟林 , 叶荣臻 :
一种基于DQN的为事实验证寻找精确证据的方法。 ACL/IJCNLP(1) 2021 : 1030-1039 [公元44年] 海湾 , 林金霞 , 杜建峰 , 沈大伟 , 张曼荣 :
通过基于词汇的解释增强隐喻检测。 ACL/IJCNLP(调查结果) 2021 : 1971-1981 2020 [公元43年] 昆士奇 , 杜建峰 :
用于跨语言自然语言推理的基于翻译的匹配对手网络。 AAAI公司 2020 : 8632-8639 [公元42年] 海湾 , 杨宇飞 , 杜建峰 , 刘延安(Yanan Liu) , 昆士奇 , 杰夫·Z·潘 :
基于方面的情感分析的目标-光谱-成分联合检测。 AAAI公司 2020 : 9122-9129
2010 – 2019
2019 [公元41年] 杜建峰 , 杰夫·Z·潘 , 西尔维娅·王 , 昆训气 , 沈玉铭 , 于登 :
通过诱因文本证据验证增长知识图。 AAAI公司 2019 : 2784-2791 [公元40年] 海湾 , 欧嘉陵 , 王宝仪 , 杜建峰 , 杰夫·Z·潘 , 曾娟 :
基于常识知识图的迭代视觉关系检测。 JIST标准 2019 : 210-225 [r1] 杰夫·Z·潘 , 杜建峰 :
自动推理。 大数据技术百科全书 2019 2018 [公元39年] 昆士奇 , 杜建峰 , 齐齐欧 , 林锡金 , 钟敬兰 :
汉语句子匹配中的双向语义匹配和深层语境词嵌入。 CCKS任务 2018 : 69-76 [公元38年] 杜建峰 , 昆士奇 , 沈玉铭 :
具有逻辑一致性的知识图嵌入。 CCL公司 2018 : 123-135 [公元37年] 杨钊 , 吴志强 , 郭明霞 , 秦石 , Yu Wang(王宇) , 安平秋 , 王海英(Haiying Wang) , 杜建峰 :
一种用于FM MEMS陀螺的超低功耗三阶频率-数字转换器。 IEEE传感器 2018 : 1-4 [公元36年] 杜建峰 :
基于表示学习的不一致知识图排序诊断。 JIST标准 2018 : 52-67 2017 [公元35年] 杜建峰 , 海湾 , 花冠马 :
基于正当化模式的实用TBox诱拐。 AAAI公司 2017 : 1100-1106 [公元34年] 杜建峰 , 昆士奇 , 海湾 , 薄鹏 , 生宾路 , 沈玉铭 :
从逻辑角度增强知识图嵌入。 JIST标准 2017 : 232-247 [电子3] 李娟子 , 明州 , 桂林奇 , 倪老 , 童阮 , 杜建峰 :
知识图和语义计算。 语言、知识和智力——第二届中国会议,2017年8月26日至29日,中国成都,CCKS 2017,修订论文集。 计算机与信息科学中的通信 784, 施普林格 2017 ,十亿 978-981-10-7358-8 [目录] 2016 [公元33年] 杜建峰 , 昆士奇 , 坎林(Can Lin) :
一个基于轻松问答的租房查询系统。 APWeb(2) 2016 : 542-546 [公元32年] 苏晓恒 , 海湾 , 陈瑞斌(Ruibin Chen) , 齐柳 , 张文轩 , 杜建峰 :
基于可伸缩语料库的中文文本非层次关系提取。 JIST标准 2016 : 231-238 2015 [公元31年] 杜建峰 , 王克文(Kewen Wang) , Yi Dong Shen(沈益东) :
面向不一致描述逻辑本体的可牵引和实用ABox诱拐。 AAAI公司 2015 : 1489-1495 [c30] 杜建峰 , Jun Zhao(赵军) , 程嘉怡 , 苏庆超 , 梁嘉诚 :
ONCAPS:基于本体论的汽车购买指导系统。 APWeb(APWeb) 2015 : 863-866 [c29] 王哲(Zhe Wang) , 马哈萨·奇萨兹 , 王克文(Kewen Wang) , 杜建峰 :
使用OWL 2 EL本体论实现可扩展和完整的查询解释。 CIKM公司 2015 : 743-752 [公元28年] 杜建峰 , Can Lin(林灿) , 昆士奇 :
基于距离的否定答案排名。 JIST标准 2015 : 280-288 [公元27年] 杜建峰 , 桂林齐 :
描述逻辑本体中典型ABox修复的可追踪计算。 KSEM公司 2015 : 28-39 [公元26年] 杜建峰 , 杰夫·Z·潘 :
描述逻辑本体中否定概念的基于重写的实例检索。 ISWC(1) 2015 : 339-355 2014 [公元25年] 杜建峰 , 王克文(Kewen Wang) , Yi Dong Shen(沈益东) :
描述逻辑本体上ABox诱拐的可追踪方法。 AAAI公司 2014 : 1034-1040 [公元24年] 杜建峰 , 桂林齐 , 傅雪峰 :
解决非相干OWL 2 DL术语的实用细粒度方法。 CIKM公司 2014 : 919-928 【c23】 杜建峰 , 刘德谦 , 坎林(Can Lin) , 徐志周 , 梁嘉琪 :
连词查询否定答案的可追踪计算系统。 CSWS公司 2014 : 56-66 [公元22年] 杜建峰 , 徐志周 , 坎林(Can Lin) , 刘德谦 , 程嘉怡 :
基于本体的数学试卷生成系统。 CSWS公司 2014 : 237-244 【c21】 杜建峰 , 李志伟 :
一种优化二维独立天线电气调整的方法。 CyberC公司 2014 : 435-440 [电子2] 赵东燕 , 杜建峰 , 王浩芬 , 王鹏(音译) , 东虹记 , 杰夫·Z·潘 :
语义网络和网络科学-第八届中国会议,CSWS 2014,中国武汉,2014年8月8日至12日,修订论文集。 计算机与信息科学中的通信 480, 施普林格 2014 ,十亿 978-3-662-45494-7 [目录] 2013 [j5] 胡勇 , 杜建峰 , 张香洲 , 郝晓玲 , E.W.T.Ngai公司 , 明凡 , 刘梅(音) :
智能软件项目风险规划的集成框架。 Decis公司。 支持系统。 55 ( 4 ) : 927-937 ( 2013 ) 【j4】 杜建峰 , 桂林齐 , Yi Dong Shen(沈益东) :
不一致$${\mathcal{SHIQ}}$$知识库上基于权重的一致查询应答。 知识。 信息系统。 34 ( 2 ) : 335-371 ( 2013 ) [公元20年] 杜建峰 , 姜荣峰 , 胡勇 :
基于层次分析法的多准则公理排序。 CSWS公司 2013 : 118-131 [电子1] 桂林齐 , 唐杰 , 杜建峰 , 杰夫·Z·潘 , Yong Yu(永余) :
链接数据和知识图——第七届中国语义Web研讨会和第二届中国Web科学会议,CSWS 2013,中国上海,2013年8月12-16日。 修订论文集。 计算机与信息科学中的通信 406, 施普林格 2013 ,十亿 978-3-642-54024-0 [目录] 2012 [j3] 杜建峰 , 桂林齐 , Yi Dong Shen(沈益东) , 杰夫·Z·潘 :
大描述逻辑本体论中的实用ABox推理。 国际语义网络信息系统杂志。 8 ( 2 ) : 1-33 ( 2012 ) [注2] 胡勇 , 西珠墨 , 张香洲 , 曾玉然 , 杜建峰 , 康熙 :
基于约束贝叶斯网络的外包软件项目风险智能分析模型。 J.软件。 7 ( 2 ) : 440-449 ( 2012 ) [c19] 杜建峰 , 王帅(Shuai Wang) , 林波鸿 , 姚晓丽 , 胡勇 :
基于概念学习的主动推荐。 CSWS公司 2012 : 41-53 [第18条] 桂林齐 , 杜建峰 :
使用不确定和不一致的OWL本体论进行推理。 推理Web 2012 : 211-244 [第17条] 杜建峰 , 桂林奇 , 杰夫·Z·潘 , Yi Dong Shen(沈益东) :
用Horn编译逼近OWL 2 DL中的线性顺序推理。 Web智能 2012 : 97-104 [i1] 桂林齐 , 杜建峰 , 刘伟如 , 大卫·A·贝尔 :
通过词汇聚合合并可能性逻辑中的知识库。 CoRR公司 abs/1203.3508 ( 2012 ) 2011 [j1] 桂林齐 , 邱吉 , 杰夫·Z·潘 , 杜建峰 :
用可能性逻辑中的不确定性推理扩展描述逻辑。 《国际情报杂志》。 系统。 26 ( 4 ) : 353-381 ( 2011 ) [第16条] 杜建峰 , 桂林齐 , Yi Dong Shen(沈益东) , 杰夫·Z·潘 :
大型OWL DL本体论中实用的ABox推理。 AAAI公司 2011 : 1160-1165 [第15条] 杜建峰 , 王帅(Shuai Wang) , 桂林齐 , 杰夫·Z·潘 , 胡勇 :
一种新的基于外展式联合查询回答的匹配方法。 JIST标准 2011 : 144-159 [第14条] 杜建峰 , 王帅(Shuai Wang) , 桂林齐 , 杰夫·Z·潘 , 车秋 :
基于诱拐性CQA的租房配对系统。 JIST标准 2011 : 394-401 [第13条] 吴刚 , 桂林齐 , 杜建峰 :
使用TMS和MapReduce查找OWL包含的所有理由。 CIKM公司 2011 : 1425-1434 [第12条] 杜建峰 , 桂林齐 , 杰夫·Z·潘 , Yi Dong Shen(沈益东) :
一种基于分解的OWL DL本体诊断方法。 国际通信技术协会 2011 : 659-664 [第11条] 杜建峰 , 胡勇 , Charles X.Ling(查尔斯·X·林) , 明凡 , 刘梅(音) :
动作与特征之间存在多对多关系的高效动作提取。 LORI公司 2011 : 384-385 2010 [c10] 桂林齐 , 邱吉 , 杰夫·Z·潘 , 杜建峰 :
PossDL-一种用于不确定性推理和不一致处理的可能性DL推理器。 ESWC(2) 2010 : 416-420 【c9】 杜建峰 , 桂林齐 :
基于分解的不一致OWL-DL本体调试优化。 KSEM公司 2010 : 88-100 【c8】 桂林齐 , 杜建峰 , 刘伟如 , 大卫·A·贝尔 :
通过词汇聚合合并可能性逻辑中的知识库。 阿拉伯联合酋长国 2010 : 458-465
2000 – 2009
2009 【c7】 桂林齐 , 杜建峰 :
描述逻辑中术语的基于模型的修订运算符。 国际JCAI 2009 : 891-897 【c6】 杜建峰 , 桂林齐 , 杰夫·Z·潘 , Yi Dong Shen(沈益东) :
一种基于分解的OWL DL关联查询答案优化方法。 ISWC公司 2009 : 146-162 【c5】 杜建峰 , 桂林奇 , 邱吉 :
用于解释OWL DL蕴涵的目标定向模块提取。 ISWC公司 2009 : 163-179 2008 【c4】 杜建峰 , 桂林齐 , Yi Dong Shen(沈益东) :
基于DL的不一致本体的词汇推理。 右后 2008 : 58-73 【c3】 杜建峰 , Yi Dong Shen(沈益东) :
计算最小成本诊断以修复填充的基于DL的本体。 万维网 2008 : 565-574 2007 【c2】 杜建峰 , Yi Dong Shen(沈益东) :
基于将DL转换为纯数据日志的ABboxes分区。 描述逻辑 2007 2001 【c1】 杜建峰 , 宋俊德 :
模糊案例专家系统的实现与应用。 冰岛(1) 2001 : 366-369