Luis Cruz-Filipe Associate Professor Phone: +45 65 50 45 60 Email: lcf@imada.sdu.dk Webpage: Keywords: Explainable AI (XAI), knowledge representation, automated reasoning, logics, optimization.