Knowledge representation

How a system stores facts and rules, and how it reasons with them.

• Propositional and first-order logic for AI0 pages
• Description logics and ontologies0 pages
• Semantic web0 pages
• Knowledge graphs0 pages
• Frames and semantic networks0 pages
• Commonsense knowledge0 pages
• Nonmonotonic reasoning0 pages
• Belief revision0 pages
• Reasoning about action and change0 pages
• Spatial and temporal reasoning0 pages
• Answer set programming0 pages
• Argumentation frameworks0 pages
• Neuro-symbolic AI0 pages

This area has no pages yet. The coverage plan lists the pages that it needs. You can write one of them. Read how to contribute.