...
机译:谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
Department of Mathematics, Kenyon College, Gambier, OH 43022, USA;
default logic; stable models; autoepistemic logic; sequent calculus;
机译:非单调推理的KLM逻辑的解析Tableaux计算
机译:非单调推理的默认逻辑和规范
机译:将模态非单调逻辑嵌入默认逻辑
机译:谓词默认逻辑中的怀疑推理的后续演算(扩展摘要)
机译:默认逻辑作为一般的非单调推理范例。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:怀疑默认逻辑的后续微积分
机译:正态模态命题逻辑的后续计算