逻辑程序论文

柔性访问控制研究
论文摘要信息安全是可信计算的一个领域,访问控制是整个信息安全的基础。访问控制是保护安全系统所维护的数据和资源,以避免未授权访问与不恰当修改,同时确保对合法用户的可用性。访问控制...
基于动态语义的Web服务描述
论文摘要语义Web服务是将语义Web技术和Web服务技术结合起来,引入本体来增强对Web服务的语义描述,使得Web服务的描述成为机器可读和可理解,并利用语义的推理技术使Web服...
有序逻辑程序的回答集语义研究
论文摘要近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序逻辑程序中的规则序进行不同的处理,提出了一类新的...