Keywords: Explainable AI (XAI), knowledge representation, automated reasoning, logics, optimization.
Phone: | +45 65 50 45 60 |
Email: | lcf@imada.sdu.dk |
Webpage: | https://www.sdu.dk/staff/lcf |
Keywords: Explainable AI (XAI), knowledge representation, automated reasoning, logics, optimization.