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 · 相关事件

暂无数据