John Paul II Catholic University of Lublin, al. Raclawickie 14, 20-950 Lublin, Poland;
rnJohn Paul II Catholic University of Lublin, al. Raclawickie 14, 20-950 Lublin, Poland;
rnJohn Paul II Catholic University of Lublin, al. Raclawickie 14, 20-950 Lublin, Poland;
rnJohn Paul II Catholic University of Lublin, al. Raclawickie 14, 20-950 Lublin, Poland;
knowledge representation; dynamic epistemic logic; multi-agent systems; prolog;
机译:公开公告,公开任务及其逻辑的复杂性
机译:构建AI系统中的人类知识-可解释AI的神经网络方法
机译:具有共同知识的公共公告逻辑标记自然扣除
机译:除了公共公告逻辑之外:一些AI谜题的替代方法
机译:在黑人公共领域中搜寻黑人的声音:分析公共领域的另一种方法。
机译:映射整个记录 - 来自医疗逻辑模块的数据访问的替代方法
机译:超越公共宣告逻辑是一些aI难题的替代方法
机译:公告,常识和私人怀疑的逻辑。软件211工程