Learning Compositional Symbolic Task Rules from Demonstrations with Inductive Logic Programming. - Oleh Borys; Karla Stépánová (CoRR, 2026)