# Knowledge Representation, Reasoning, and Planning

Canonical: https://manyspace.aporia.systems/subjects/ai/knowledge-representation-reasoning-and-planning-93
Updated: 2026-10-13

Knowledge Representation, Reasoning, and Planning: about 6 hours. Each topic lists what you need first and what it unlocks.

## Logic

- [Propositional Logic for Knowledge-Based Agents](https://manyspace.aporia.systems/topics/propositional-logic-for-knowledge-based-agents-aiml-krr-001)
- [Inference: Resolution and SAT Solving](https://manyspace.aporia.systems/topics/inference-resolution-and-sat-solving-aiml-krr-002)
- [First-Order Logic](https://manyspace.aporia.systems/topics/first-order-logic-aiml-krr-003)

## Representation

- [Knowledge Representation and Ontologies](https://manyspace.aporia.systems/topics/knowledge-representation-and-ontologies-aiml-krr-004)
- [Knowledge Graphs](https://manyspace.aporia.systems/topics/knowledge-graphs-aiml-krr-006)

## Planning

- [Classical Planning](https://manyspace.aporia.systems/topics/classical-planning-aiml-krr-005)