Researcher at Logic and Intelligent Data (LogID) Department of Informatics (Ifi) The Faculty of Mathematics and Natural Sciences (MatNat) University of Oslo (UiO) Publications (DBLP)