机译:多主体证明逻辑:交流和证据消除
Faculty of Philosophy University of Groningen Groningen The Netherlands;
Justification Logic; Dynamic Epistemic Logic; Evidence elimination;
机译:多主体证明逻辑:交流和证据消除
机译:有理有据地削减和消除认知逻辑
机译:证明逻辑中的公共传播
机译:多主体证明逻辑中的证据消除
机译:多主体证明逻辑中的相互作用和复杂性
机译:结合多智能体系统和主观逻辑来开发决策支持系统
机译:多主体证明逻辑:交流和证据消除