机译:逻辑环境中的证明本体
Fitting models; Justification Logic; Kripke models;
机译:逻辑环境中的证明本体
机译:逻辑基因本体注释(GOAL):使用OWL探索基因本体注释
机译:动态算法中逻辑缩回的约束处理规则的理由:理论,实现和复杂性
机译:有理由的约束处理规则中逻辑撤消的实现
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:逻辑基因本体论注释(GOAL):使用OWL探索基因本体论注释
机译:逻辑设置中的理由本体论