Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000261
Abstract: Abstract Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems as combinatorial search problems, they can alternatively be solved by employing… read more here.
Keywords: set programming; answer set; interpretive learning; exploiting answer ... See more keywords