机译:具有约束组合运算符的关系逻辑的基于双表格的决策程序
University of Catania, Department of Mathematics and Computer Science viale A. Doria 6, 95125, Catania (Italy);
University of Catania, Department of Mathematics and Computer Science viale A. Doria 6, 95125, Catania (Italy);
National Institute of Telecommunications ul. Szachowa 1, 04894, Warszawa (Poland);
relational logic; dual tableaux; decision procedures; composition operator;
机译:基于表格的多主体系统中战略能力逻辑的决策程序
机译:基于Tableau的混合逻辑决策程序
机译:关系双表格决策程序及其在模态和直觉逻辑中的应用
机译:基于Tableau的决定程序,为多种Agent认知逻辑与共同和分布式知识的运营商
机译:基于树的工作流验证框架,用于计算树逻辑(CTL)。
机译:基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
机译:基于Tableau的多智能体认知逻辑的决策过程 与所有联盟运营商共同分享知识