Journal of automated reasoning. 1995;15(1):95-165. doi: 10.1007/bf00881832 Q40.72025

A new methodology for query answering in default logics via structure-oriented theorem proving

一种基于结构导向定理证明的缺省逻辑查询回答新方法

DOI: 10.1007/bf00881832

摘要 查看摘要

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