可满足性推理相关论文
描述逻辑（DLS)是一类知识表示的形式系统，其以结构化、形式化的方法定义应用领域的概念及刻画领域内的信息.描述逻辑具有强大的表达......
描述逻辑是知识表示的一种形式，而且在知识表示中，我们一般会假设一个知识表示系统总能在一个合理的时间内回答用户的查询，所以研究描......
