Ana Ozaki
I work an associate professor at the University of Bergen and at the University of Oslo.
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.
I organize the activities of the Logic and Learning Study Group.
Contact Information:
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'. ; )
News:
The paper "Finite Based Contraction and Expansion via Models" has been accepted at AAAI 2023 (joint work with Ricardo Guimarães and Jandson Ribeiro).
The paper "Mining EL ⊥ Bases with Adaptable Role Depth" (long-version) has been accepted at JAIR 2023 (joint work with Ricardo Guimarães, Cosimo Persia, and Baris Sertkaya).
PC-chair and local organizer of the research school AI in Bergen 2022: Knowledge Graphs and Machine Learning
Program Committee member KR 2023, IJCAI 2023, AAAI 2023, ECAI 2023, DL 2023.