chance discovery; temporal logics; kripke/hintikka models; inference rules; admissible rules.;
机译:尼尔森逻辑中的推理规则,可容许性和弱可容许性
机译:具有不传递时间关系的知识和时间LTK(r)的线性逻辑中的容许推理规则
机译:宽度2的表模态逻辑中的可推论规则的显式基础
机译:诠释时间逻辑,可接受推理规则的机会发现
机译:自组织知识发现,基于规则的推理和分布式学习
机译:制度逻辑是否可以预测牙科椅方面对合同规则的解释?
机译:基于整数的时间线性逻辑中的容许推理规则