毕建东
【姓名】 毕建东
【职称】
【研究领域】 自动化技术;
【研究方向】
【发表文献关键词】 逆绎推理,缺席逻辑,假设,必要性假设,形式化,必要性,开放逻辑,逆推,逻辑,背景知识,重言式,一阶公式,缺席规则,计算机科学,致性,空子句,公式集,因果网络,函数符号,子集,
【工作单位】 哈尔滨工业大学
【曾工作单位】 哈尔滨工业大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 1 0 7 934
中国期刊全文数据库    共找到2篇
[1]王子涵;邵明光;刘国军;郭茂祖;毕建东;刘扬;.基于实体相似度信息的知识图谱补全算法[J]计算机应用.2018,(11)
[2]叶风,孙希文,钱国良,毕建东.一种形式化逆推的逻辑方法[J]哈尔滨工业大学学报.1997,(04)
更多