theorem proving

Logical Agents 101: Slaying the Wumpus with Pure Reason

Knowledge bases, entailment, resolution and SAT solving, learned by staying alive in the Wumpus World, with runnable PySAT code.

AI Foundations07