Circumscription—A Form of Non-Monotonic Reasoning 论文
1981Elsevier eBooks引用 228
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAI-based Problem Solving and Planning
Circumscription—A Form of Non-Monotonic Reasoning · 相关事件
暂无数据
暂无数据