...
机译:社会影响推理的STIT逻辑
STIT logic; Axiomatics; Influence;
机译:社会影响推理的STIT逻辑
机译:在机构的战略性STIT逻辑中嵌入时空逻辑
机译:突发事件下游戏的社会规范与均衡选择的逻辑模糊逻辑推理模型
机译:社会影响力分析
机译:确定性归纳逻辑:用于推理类别的多值逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:时间性STIT逻辑及其在规范推理中的应用