Declarative Languages and Artificial Intelligence Laboratoire90314

DTAIDepartement Computerwetenschappen K.U.Leuven Celestijnenlaan 200A - bus 2402 3001 HeverleeBelgiquehttp://www.cs.kuleuven.be/~dtai/

 Université Catholique de Louvain = Catholic University of Louvain Institution92863

UCLPlace de l'Université 1 - 1348 Louvain-La-NeuveROR : https://ror.org/02495e989Belgiquehttp://www.uclouvain.be/