...
机译:具有不可行逻辑的电梯逻辑控制
PROLOG; lifts; logic programming; nonmonotonic reasoning; theorem proving; d-Prolog; defeasible logic programming system; elevator; explicit exceptions; general rules; logical control;
机译:具有不可行逻辑的电梯逻辑控制
机译:加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
机译:BIO逻辑主体:可废止逻辑中的规范,信念,意图
机译:可能的不可行逻辑编程中基于参数的扩展运算符:表征和逻辑属性
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:逻辑林:用于发现二进制标记的逻辑组合的整体分类器
机译:加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性