时间表问题是典型的组合优化和NP完全问题，时间表的实际应用非常广泛。排课问题是时间表问题的一个典型实例，在研究领域中，排课问题常......

模型检测是通信顺序进程（communicating sequential processes,简称CSP）形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需......

针对现有模型检测工具对活性描述不足、模型转换复杂,提出一种基于ASP及稳定失败语义的CSP模型检测方法。该方法采用时态逻辑LTL刻......

针对求解复杂度为NP难问题的Slater选举,提出一种回答集程序设计(ASP)方法用于求解选举结果。通过ASP构造尽可能少的无回路锦标赛,......

回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了......

针对顺序协商模型中的资源浪费问题,以及电子商务中间人模型的适用性低问题,提出一个基于ASP的中间人协商模型。利用回答集给出了......

以描述逻辑为基础的本体是语义Web中重要的知识表示形式,随着本体描述语言OWL成为W3C的标准,本体层在语义Web体系结构中已渐趋成熟......

哈密尔顿回路问题是图论的经典NP-难解问题之一，在计算机科学中被广泛用作测试用例以测试算法／系统的有效性，包括可满足性（SAT）、回答集......