- E-postana.ozaki@uib.no
- Telefon+47 55 58 41 76
- BesøksadresseHIB - Thormøhlens gate 555006 Bergen
- PostadressePostboks 78035020 Bergen
https://dblp.org/pers/o/Ozaki:Ana.html
- (2022). Reasoning in Knowledge Graphs. . I:
- (2022). International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. Dagstuhl Publishing.
- (2022). Preface. OpenAccess Series in Informatics.
- (2022). Learning Zero Noise Extrapolation for Deterministic Quantum Circuits.
- (2022). International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. Dagstuhl Publishing.
- (2022). Extracting Rules from Neural Networks with Partial Interpretations. Proceedings of the Northern Lights Deep Learning Workshop. 7 sider.
- (2021). On Free Description Logics with Definite Descriptions. 11 sider.
- (2021). Mining EL Bases with Adaptable Role Depth. 8 sider.
- (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. 9 sider.
- (2020). Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. Journal of automated reasoning.
- (2020). Provenance for the description logic ELH<sup>r</sup>. CEUR Workshop Proceedings.
- (2020). Provenance for the Description Logic ELHr. 8 sider.
- (2020). On the Learnability of Possibilistic Theories. 7 sider.
- (2020). On the Complexity of Learning Description Logic Ontologies.
- (2020). On the Complexity of Learning Description Logic Ontologies. 17 sider.
- (2020). On free description logics with definite descriptions. CEUR Workshop Proceedings.
- (2020). Metric Temporal Description Logics with Interval-Rigid Names. ACM Transactions on Computational Logic.
- (2020). Living without beth and craig: Explicit definitions and interpolants in description logics with nominals. CEUR Workshop Proceedings.
- (2020). Learning query inseparable ELH ontologies. CEUR Workshop Proceedings.
- (2020). Learning query inseparable ELH ontologies. Proceedings of the AAAI Conference on Artificial Intelligence.
- (2020). Learning Query Inseparable ELH Ontologies. 8 sider.
- (2020). Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? Künstliche Intelligenz. 317-327.
- (2020). Exact Learning: On the Boundary between Horn and CNF. ACM Transactions on Computation Theory.
- (2020). Automated reasoning in temporal DL-lite. CEUR Workshop Proceedings.
- (2020). 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
- (2019). Temporally Attributed Description Logics.
- (2019). Querying Attributed DL-Lite Ontologies Using Provenance Semirings. 8 sider.
- (2019). Learning Ontologies with Epistemic Reasoning: The EL Case.
- (2019). Enriching Ontology-based Data Access with Provenance.
- (2019). Do You Need Infinite Time? 7 sider.
- (2018). Preserving Constraints with the Stable Chase.
- (2018). ExactLearner: A Tool for Exact Learning of EL Ontologies.
- (2018). Exact learning of multivalued dependency formulas. Theoretical Computer Science.
- (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of machine learning research.
- (2018). Consequence-Based Axiom Pinpointing.
- (2018). Attributed Description Logics: Reasoning on Knowledge Graphs.
- (2017). Theorem Proving for Metric Temporal Logic over the Naturals.
- (2017). Metric Temporal Description Logics with Interval-Rigid Names.
- (2017). Attributed Description Logics: Ontologies for Knowledge Graphs.
- (2016). On Metric Temporal Description Logics.
- (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning.
- (2015). Schema.org as a Description Logi.
- (2015). Exact Learning of Multivalued Dependencies.
- (2014). Exact Learning of Lightweight Description Logic Ontologies.
For aktuelle masteroppgaver i maskinlæring, se på engelske sider.