KU - SCIENCE - DATALOGISK INSTITUT - UP1 Discussion Assistant Professor in Logic and Symbolic AI for Computational Law and Declarative Business Process Management Show Show