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