哈尔滨工程大学学报2019，Vol.40Issue(12)：2044-2049,6.DOI:10.11990/jheu.201810017
基于相邻子句规约的求差知识编译算法
Knowledge compilation algorithm for computing differences by reducing adjacent clauses
摘要
关键词
自动推理/知识编译/扩展规则/超扩展规则/子句集/EPCCCL理论/规约规则/相邻子句规约分类
信息技术与安全科学引用本文复制引用
牛当当,吕帅,王金艳..基于相邻子句规约的求差知识编译算法[J].哈尔滨工程大学学报,2019,40(12):2044-2049,6.基金项目
国家自然科学基金项目(61502197,61503044,61763003,61502111) （61502197,61503044,61763003,61502111）
吉林省科技发展计划项目(20180101053JC) （20180101053JC）
广西省自然科学基金项目(2016GXNSFAA380192) （2016GXNSFAA380192）
西北农林科技大学博士科研启动基金项目(Z109021813). （Z109021813）
