机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:在默认逻辑中使用默认设置进行推理
机译:在破坏坏的欺骗性推理:Doxastic Logic中的默认推理
机译:默认逻辑作为一般的非单调推理范例。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:将破坏性欺骗性推理形式化:在Doxastic逻辑中的默认推理
机译:默认推理的模态逻辑