Ana Ozaki

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.

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:

  • 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

  • Program Committee member KR 2021, AAAI 2021, ECAI 2020, ESWC 2020, DL 2020.