...
机译:通用逻辑简化
Computer Science Department, Holon Institute of Technology, Holon, Israel;
default logic; disjunctive rules; default assumptions;
机译:在默认逻辑中表达默认逻辑变体
机译:在默认逻辑中使用默认设置进行推理
机译:在默认逻辑的某些语义变体中,半规范默认的表达能力
机译:广义默认逻辑:最小的知识,自动缺失和默认推理和解
机译:普遍含义:不要在无信息的环境中消除默认解释。
机译:比较广义逻辑建模揭示了果蝇翼发育中细胞周期退出过程中的差异基因相互作用。
机译:默认逻辑,自然]语言和广义量词