ILP
2004
Springer
14 years 11 months ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...