Journal of automated reasoning. 1995;14(1):93-147. doi: 10.1007/bf00883931 Q40.72025

A logic programming system for nonmonotonic reasoning

一种用于非单调推理的逻辑编程系统

DOI: 10.1007/bf00883931

摘要 查看摘要

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