Best-effort inductive logic programming via fine-grained cost-based hypothesis generation
answer set solving in practice .