Journal of automated reasoning. 1993;10(2):143-160. doi: 10.1007/bf00881833 Q40.72025

Autoepistemic circumscription and logic programming

自动认识论限制与逻辑编程

DOI: 10.1007/bf00881833

摘要 查看摘要

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