回答集编程相关论文
随着社会的不断发展,对能源的消耗日益加大,尤其是建筑能耗增速迅猛。校园能耗占社会总能耗的8%左右,具有较高的节能减排潜力。因......
并发系统是现实世界中一类重要的复杂系统，已广泛应用于军事、交通、商业和服务业中，纵观现代软件行业，从操作系统到互联网，并发程序无......
计算机网络已经渗入到人们生活的各个领域,微小的错误可能导致无法挽回的损失甚至危及人的生命。通信协议是网络正常发挥作用的基......
CSP(Communicating Sequential Processes)是Hoare提出的一种代数语言，主要用于对并发系统进行描述与验证。主流的CSP模型检测工具......
白从20世纪60年代出现机器人以来,机器人技术已经经历了几十年的快速发展,从最初的传统工业领域向军事、医疗、服务等领域渗透。服......
本文给出了一种基于回答集语义下的归纳学习方法的自适应访问控制系统的冲突解决策略。首先,我们介绍了回答集程序的语法和语义,这......
回答集编程作为人工智能领域中具有非单调推理能力的知识表示及推理工具,在未知情况下具有良好的推理能力,近年来,随着回答集编程......
