机译:从荷航形式的条件到可废止的方式
CSIR-SU CAIR, Stellenbosch University, South Africa;
CRIL, Universite d' Artois & CNRS, Lens, France;
Knowledge representation and reasoning; non-monotonic reasoning; modal logic; preferential semantics; defeasible modalities; tableaux;
机译:KLM风格原则不可取的描述逻辑
机译:KLM样式缺失分析数据算法的算法定义
机译:具有法律条件的不合理的推理
机译:模态规则:用模态运算符扩展可逻辑
机译:日本语情态:对情态助语,条件句和方面类别的研究。
机译:接受各种治疗方式后食管或胃食管连接癌患者的条件存活
机译:用法律条件的不可取的推理