Ana Ozaki
16 papers · 2015–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🗺️ Taxonomy Completionist (20) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(2)
🧬
Topic Evolution
📈
Trend Setter
❓
The Questioner
🚀
Conference Pioneer
💎
Century Club · Bronze
🗃️
Keyword Collector
(58)
Top co-authors
Research topics
Machine Learning
(7)
Knowledge & Reasoning
(6)
Artificial Intelligence
(5)
Core AI
(5)
Optimization & Theory
(5)
Reasoning
(5)
Representation
(5)
Computer Science
(2)
Mathematics & Optimization
(2)
Applications
(2)
Core Methods
(2)
Learning Types
(2)
Mathematics
(2)
Learning Paradigms
(1)
Systems
(1)
Keywords
description logic
(9)
exact learning
(3)
pac learning
(2)
query learning
(2)
membership query
(2)
ontology learning
(2)
query answering
(2)
provenance semiring
(2)
knowledge base
(2)
knowledge representation
(2)
formal concept analysis
(1)
decision tree
(1)
knowledge graph
(1)
temporal logic
(1)
bert language model
(1)
first-order logic
(1)
concept learning
(1)
ontology-based data access
(1)
conjunctive query
(1)
query language
(1)
Papers
Model Change for Description Logic Concepts
AAAI 2026
Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Study Case on BERT-based Language Models
AAAI 2025
On Middle Grounds for Preference Statements
IJCAI 2025
On the Power and Limitations of Examples for Description Logic Concepts
IJCAI 2024
Finite Based Contraction and Expansion via Models
AAAI 2023
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
AAAI 2021
Mining EL Bases with Adaptable Role Depth
AAAI 2021
Learning Query Inseparable εℒℋ Ontologies
AAAI 2020
On the Learnability of Possibilistic Theories
IJCAI 2020
Provenance for the Description Logic ELHr
IJCAI 2020
Do You Need Infinite Time?
IJCAI 2019
Enriching Ontology-based Data Access with Provenance
IJCAI 2019
Querying Attributed DL-Lite Ontologies Using Provenance Semirings
AAAI 2019
Attributed Description Logics: Reasoning on Knowledge Graphs
IJCAI 2018
Exact Learning of Lightweight Description Logic Ontologies
JMLR 2018
Schema.org as a Description Logic
IJCAI 2015