张永刚 李爱中 于海鸿 凌兴宏 刘叙华 刘科成 高振海 朱兴军

TableauTAP系统 传播规则 子句集 负子句 集合的上集下集 不等式析取 知识表示 广义量词

吉林大学计算机科学系 东北师范大学计算机学院 苏州大学计算机科学与技术学院 吉林大学计算机科学与技术学院 长春工业大学计算机科学与工程学院 吉林大学符号计算与知识工程教育部重点实验... 长春130012吉林大学符号计算与知识工... 吉林大学计算机科学与技术学院符号计算与知...