Relational data factorization
Answer set programming at a glance