Institut fuer Informatik, TU Clausthal, 38678 Clausthal, Germany;
机译:在默认逻辑中使用默认设置进行推理
机译:谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
机译:Coneachive和概率逻辑下的可能性:默认推理和系统P.
机译:广义默认逻辑:最小的知识,自动缺失和默认推理和解
机译:默认逻辑作为一般的非单调推理范例。
机译:推理和宗教信仰之间的负关系由直觉响应的偏见所支撑特别是当直觉和逻辑冲突时
机译:关于隐私的推理与默认逻辑之间的关系
机译:默认推理的模态逻辑