Project: Research
https://www.cee.ed.tum.de/cms/research/research-groups/knowledge-representation-and-reasoning/ai4cadcam/