BDI Agents; Modal Logic; Nonmonotonic Logic; Belief Revision;
机译:BDI逻辑的模态级别
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:一种用于空间推理的新模态逻辑:空间命题邻域逻辑
机译:推理BDI逻辑中的模态水平
机译:一种用于高效知识表示和推理的模态逻辑形式主义。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:BDI逻辑中的模态级别推理
机译:默认推理的模态逻辑