I am an associate professor at the University of Bergen.
My main research interests are:
knowledge representation: with focus on the complexity of reasoning in description logic and related formalisms for knowledge representation; and
computational learning theory: in particular, active and passive learning models, and the complexity of learning logical theories.
My email address is my first name, then dot, then my last name. After that please type the 'at' symbol, followed by 'uib', followed by '.no'. ; )
Invited NORA AI Webinar.
The paper "Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals" has been accepted at AAAI 2021 (joint work with Alessandro Artale, Andrea Mazzullo, Jean Jung, and Frank Wolter).
The paper "Mining EL ⊥ Bases with Adaptable Role Depth" has been accepted at AAAI 2021 (joint work with Ricardo Guimarães, Cosimo Persia, and Baris Sertkaya).
The paper "Provenance for the Description Logic ELHr" has been accepted at IJCAI 2020 (joint work with Camille Bourgaux, Rafael Peñaloza, and Livia Predoiu).
The paper "On the Learnability of Possibilistic Theories" has been accepted at IJCAI 2020 (joint work with Cosimo Persia).
Senior Program Committee member IJCAI 2021