机译:非单调推理的默认逻辑和规范
机译:谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
机译:将模态非单调逻辑嵌入默认逻辑
机译:基于默认逻辑的自动化非单调推理的认知规划方法
机译:默认逻辑作为一般的非单调推理范例。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:非单调推理的默认逻辑和规范
机译:LpNmR 2001 - 逻辑编程和非单调推理。国际会议(第六届)于2001年9月在奥地利维也纳举行