单元归结相关硕士博士期刊学术论文 - 搜论网

单元归结相关论文

信念非修正原型系统解释器的设计与实现

生活中的知识通常具有不确定性、不一致性和不完全性,这些知识被统称为信念。怎样解决信念间的不一致性是计算机模拟人类推理过程......

学位

信念非修正单元归结解释器子句图谓词逻辑

基于Horn集的工作流过程执行有效性判断*

为了判定工作流管理系统中过程定义的执行有效性，本文在深入分析工作流过程中基本关系的基础上，给出了一系列将过程定义转化为Horn集......

会议

工作流过程过程执行不可满足性有效性过程定义工作流管理系统输入归结判定对应关系单元归结证明基础规则分析方法

看过本文同时还关注