编译目标语言相关硕士博士期刊学术论文

知识编译是处理命题逻辑知识库常用的一种新技术，知识编译的过程就是把知识转换成易于推理的表示形式。作为一种有效的推理机制，这种......