机译:球菌属的形式本体论与高血压症的悖论
The University of Iowa, Iowa City, IA, USA;
Modal logic; Intensionality; Frege; Russell; Kripke semantics; Russell’s paradox; Bozon; Orilia; Primary; Semantics; Possible worlds; Paradox of propositions;
机译:关于形式本体的计算实现:以Isabelle / HOL为例,对时空实例化本体进行形式化
机译:将轨迹本体与基本正式本体匹配
机译:不同工程域本体使用基本形式本体的互操作性
机译:正式的语义和本体:正式语义的本体论叙述
机译:人类智能和机器智能决策治理正式本体
机译:基于形式概念分析的生物医学本体匹配
机译:校正:炒作:超敏感逻辑系统(具有语义悖论的应用程序)