IRIT-CNRS, 118, route de Narbonne, F-31062 Toulouse Cedex;
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:使用一致逻辑的本体合并与推理
机译:基于前后一致的带注释逻辑程序bf-EVALPSN的流程前后关系的逻辑推理系统
机译:通过量化的命题逻辑代表滞假发布
机译:模特量化和模态逻辑的比较
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:注释逻辑简介:超完全和超一致推理的基础