Logics in Artificial Intelligence: 14th European Conference, ...
Preview
Corapi, D., Russo, A., Lupu, E.: Inductive logic programming in answer set programming. ... Law, M., Russo, A., Broda, K.: Proofs for inductive learning of answer set programs, https://www.doc.ic.ac.uk/~ml1909/ILASP_Proofs.pdf 10. Muggleton ...