Learning Abduction under Partial Observability
A theory of the learnable