Department of Computer Science, RWTH Aachen University, Aachen, Germany;
Department of Computer Science and Engineering, York University, Toronto, Canada;
机译:无知与矛盾的推理:多值逻辑与认知逻辑
机译:无知与矛盾的推理:多值逻辑与认知逻辑
机译:编译用于多主体系统的认知逻辑
机译:多元认知逻辑中有效推理
机译:一种用于高效知识表示和推理的模态逻辑形式主义。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:基于Tableau的程序,用于完全确定可满足性 联合多智能体认知逻辑