可满足性检测相关论文
提出自认知描述逻辑ALCO@K的一种类命题动态逻辑扩展D-ALCO@K,实现Web开放环境下支持局部闭世界假设的动态推理。它基于自认知逻辑......
提出了一种算法来分析用正则树表示的XML数据中对XPath的决策问题,并用该方法检查XPath静态类型的数据。此外根据对有限顺序树的带......