“Neue Chancen durch „Digitale Zwillinge“ – Wissensrepräsentation und logisches Denken für Robotiksysteme” beim Institut für Künstliche Intelligenz (IAI) der Universität Bremen