Information about tasks used as benchmarks for ILASP


This page provides learning tasks which have been used to evaluate ILASP in our research.


Details of Hypothesis Spaces from the paper "Inductive Learning of Answer Set Programs from Noisy Examples"


Details of the hypothesis spaces used in the above paper are given in this supplementary document.


Tasks from the paper "Iterative Learning of Answer Set Programs from Context Dependent Examples"


We give here encodings of the tasks which were run for the paper "Iterative Learning of Answer Set Programs from Context Dependent Examples", which was presented at ICLP 2016 and published in TPLP. To replicate the experiments in the paper, all tasks should be run with ILASP v2.6.0. The encodings are explained in greater detail in this document.




Noisy Hamilton learning tasks

We give here encodings of the tasks which we use to evaluate the ILASP3 algorithm. All tasks are noisy versions of the Hamilton learning setting, with 5% noise and varying numbers of examples.