Logical
Statistical
Semantic
Understanding
Scaling Up
(via learning)
PRMs
Noise &
Ambiguity
Desiderata:
Complementary
Approaches