Circumscription—A Form of Non-Monotonic Reasoning 论文

1981Elsevier eBooks引用 228

Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAI-based Problem Solving and Planning

Logic, Reasoning, and Knowledge AI-based Problem Solving and Planning Logic, programming, and type systems

1

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (1)

John McCarthy

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据