We are DTAI, the Declarative Languages and Artificial Intelligence Research Group at KU Leuven. More info here: https://dtai.cs.kuleuven.be