Symbolic AI

A curated sequence of courses. These seed drafts can be refined by the course generation pipeline later.

Loading status...

Logic and Reasoning (Prolog)

Inference, unification, and declarative problem solving.

Knowledge Representation (Neo4j)

Graphs, Cypher, and retrieval over structure.

Planning and Search (STRIPS, A*)

Classical planning and heuristic search.

Expert Systems (CLIPS)

Rules, inference engines, and reliability.

Neural-Symbolic Integration

Differentiable logic and probabilistic programs.