formal logic; nonmonotonic reasoning;
机译:谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
机译:非单调推理的默认逻辑和规范
机译:排序默认理论和非单调逻辑程序
机译:基于默认逻辑的自动非单调推理的认知性编程方法
机译:默认逻辑作为一般的非单调推理范例。
机译:基于路径的动态编程方法基于知识的人脑白质运动自动重建
机译:基于扩展概念逻辑程序的非单调本体论和基于规则的推理
机译:LpNmR 2001 - 逻辑编程和非单调推理。国际会议(第六届)于2001年9月在奥地利维也纳举行