HORN逻辑相关硕士博士期刊学术论文 - 搜论网

HORN逻辑相关论文

基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础，利用Prolog在计算机上可实现机械化，从而使自动化求解问题和定理证明......

期刊

谓词逻辑 PROLOG HORN逻辑 SLD-归结 predicate logic Prolog Horn logic SLD resolution

安全协议形式化验证技术的研究与实现

协议是指两个或者两个以上的参与者为完成某一项特定任务相互约定的执行步骤和执行规则。协议的定义包含三层含义:(1)协议至少有两......

学位

安全协议安全性质形式化验证反例构造 Horn逻辑 ACUN理论合一化算法 XOR安全协议

看过本文同时还关注