Efficient , Safe , and Probably Approximately Complete Learning of Action Models
A theory of the learnable