Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Integrated Algorithms for HEX-Programs and Applications in Machine Learning
Tobias Kaminski
This paper summarizes my doctoral research on evaluation algorithms for HEX-programs, which extend Answer Set Programming with means for interfacing external computations. The focu…
cs.LO2018
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
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 a…