可满足性推理相关论文
描述逻辑(DLS)是一类知识表示的形式系统,其以结构化、形式化的方法定义应用领域的概念及刻画领域内的信息.描述逻辑具有强大的表达......
描述逻辑是知识表示的一种形式,而且在知识表示中,我们一般会假设一个知识表示系统总能在一个合理的时间内回答用户的查询,所以研究描......
基于'逐步展开'模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因......