Ana Ozaki

Ana Ozaki is an Associate Professor at the University of Oslo (full-time) and holds a part-time position at the University of Bergen. Her research focuses on Artificial Intelligence, particularly knowledge representation, machine learning theory, and algorithms for learning logical theories in description logic.

Her primary research interests include the formalization of learning phenomena to investigate questions of learnability, complexity, and reducibility. Ozaki specializes in algorithms for learning logical theories using description logic and related formalisms. Her work bridges theoretical foundations with practical applications in knowledge representation.

Ozaki's publications predominantly explore themes in computational logic, knowledge representation, and machine learning theory. Recent works focus on ethical AI applications, hybrid logic systems, and knowledge extraction techniques from language models, demonstrating consistent innovation at the intersection of formal methods and practical AI systems.

She has led significant research projects including 'Learning Description Logic Ontologies' (funded by RCN) and 'Apprendimento PAC di Ontologie in Logica Descrittiva' (PACO), and has collaborated internationally on graph-based computation models.

Ozaki serves the AI community through editorial roles at the Journal of Machine Learning Research and Journal of Web Semantics, and has chaired program committees for major conferences including the International Joint Conference on Rules and Reasoning and the International Description Logic Workshop.