Journal of automated reasoning. 1995;14(1):3-42. doi: 10.1007/bf00883929 Q40.72025

A decision method for nonmonotonic reasoning based on autoepistemic reasoning

一种基于自动认识推理的非单调推理决策方法

DOI: 10.1007/bf00883929

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！