机译:时间性STIT逻辑及其在规范推理中的应用
IRIT-CNRS, Toulouse, France;
STIT logic; temporal logic; axiomatisation; deontic logic;
机译:在机构的战略性STIT逻辑中嵌入时空逻辑
机译:社会影响推理的STIT逻辑
机译:模糊逻辑推理在动态过程GIS时间建模中的应用
机译:规范系统的输入/输出STIT逻辑
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:时间推理框架工具在医疗器械不良事件分析中的应用
机译:时间性STIT逻辑及其在规范推理中的应用
机译:模糊逻辑中的三段论推理及其在处理推理中的应用