Inductive Learning of Answer Set Programs from Noisy Examples
the stable model semantics for logic programming .