Nonmonotonic Reasoning: Logical Foundations of Commonsense 论文

1991引用 270

Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicSemantic Web and Ontologies

Semantic Web and Ontologies Advanced Algebra and Logic Logic, Reasoning, and Knowledge

作者

摘要

1. Introduction 2. Formalizing nonmonotonic reasoning 3. Nonmonotonic theorem proving 4. Inheritance systems 5. Nonmonotonic rule based systems 6. What has been achieved?

作者查看全部 (1)

Gerhard Brewka

Nonmonotonic Reasoning: Logical Foundations of Commonsense 论文

摘要

作者查看全部 (1)

相关技术

相关事件

相关文章