Authorization Policy; Information Security; Logic Program; Modal Logic;
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:一种用于空间推理的新模态逻辑:空间命题邻域逻辑
机译:用于普适计算的非单调模式授权逻辑
机译:授权规范和推理的模态逻辑
机译:一种用于高效知识表示和推理的模态逻辑形式主义。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:建设性授权逻辑中的主中心推理