LW
AI Symbolic Logic Vs Heuristics