Hjem
  • E-postana.ozaki@uib.no
  • Telefon+47 55 58 41 76
  • Besøksadresse
    HIB - Thormøhlens gate 55
    5006 Bergen
  • Postadresse
    Postboks 7803
    5020 Bergen

https://dblp.org/pers/o/Ozaki:Ana.html

  • Vis forfatter(e) (2023). Verifying Properties of Tsetlin Machines.
  • Vis forfatter(e) (2023). Verifying Properties of Tsetlin Machines. 8 sider.
  • Vis forfatter(e) (2023). Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings. Springer Publishing Company.
  • Vis forfatter(e) (2023). Non-Normal Modal Description Logics. 16 sider.
  • Vis forfatter(e) (2023). Non-Normal Modal Description Logics.
  • Vis forfatter(e) (2023). Mining EL<sup>⊥</sup> Bases with Adaptable Role Depth. The journal of artificial intelligence research. 883-924.
  • Vis forfatter(e) (2023). Marrying Query Rewriting and Knowledge Graph Embeddings.
  • Vis forfatter(e) (2023). Marrying Query Rewriting and Knowledge Graph Embeddings. 15 sider.
  • Vis forfatter(e) (2023). Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Transactions on Computational Logic. 51 sider.
  • Vis forfatter(e) (2023). Learning Horn envelopes via queries from language models. International Journal of Approximate Reasoning. 20 sider.
  • Vis forfatter(e) (2023). Finite Based Contraction and Expansion via Models. 9 sider.
  • Vis forfatter(e) (2023). Extracting Rules from ML models in Angluin’s Style .
  • Vis forfatter(e) (2022). Reasoning in Knowledge Graphs. . I:
    • Vis forfatter(e) (2022). International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. Dagstuhl Publishing.
  • Vis forfatter(e) (2022). Preface. OpenAccess Series in Informatics.
  • Vis forfatter(e) (2022). Learning Zero Noise Extrapolation for Deterministic Quantum Circuits.
  • Vis forfatter(e) (2022). International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. Dagstuhl Publishing.
  • Vis forfatter(e) (2022). Extracting Rules from Neural Networks with Partial Interpretations. Proceedings of the Northern Lights Deep Learning Workshop. 7 sider.
  • Vis forfatter(e) (2021). On Free Description Logics with Definite Descriptions. 11 sider.
  • Vis forfatter(e) (2021). Mining EL Bases with Adaptable Role Depth. 8 sider.
  • Vis forfatter(e) (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. 9 sider.
  • Vis forfatter(e) (2020). Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. Journal of automated reasoning.
  • Vis forfatter(e) (2020). Provenance for the description logic ELH<sup>r</sup>. CEUR Workshop Proceedings.
  • Vis forfatter(e) (2020). Provenance for the Description Logic ELHr. 8 sider.
  • Vis forfatter(e) (2020). On the Learnability of Possibilistic Theories. 7 sider.
  • Vis forfatter(e) (2020). On the Complexity of Learning Description Logic Ontologies. 17 sider.
  • Vis forfatter(e) (2020). On the Complexity of Learning Description Logic Ontologies.
  • Vis forfatter(e) (2020). On free description logics with definite descriptions. CEUR Workshop Proceedings.
  • Vis forfatter(e) (2020). Metric Temporal Description Logics with Interval-Rigid Names. ACM Transactions on Computational Logic.
  • Vis forfatter(e) (2020). Living without beth and craig: Explicit definitions and interpolants in description logics with nominals. CEUR Workshop Proceedings.
  • Vis forfatter(e) (2020). Learning query inseparable ELH ontologies. Proceedings of the AAAI Conference on Artificial Intelligence.
  • Vis forfatter(e) (2020). Learning query inseparable ELH ontologies. CEUR Workshop Proceedings.
  • Vis forfatter(e) (2020). Learning Query Inseparable ELH Ontologies. 8 sider.
  • Vis forfatter(e) (2020). Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? Künstliche Intelligenz. 317-327.
  • Vis forfatter(e) (2020). Exact Learning: On the Boundary between Horn and CNF. ACM Transactions on Computation Theory.
  • Vis forfatter(e) (2020). Automated reasoning in temporal DL-lite. CEUR Workshop Proceedings.
  • Vis forfatter(e) (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.
  • Vis forfatter(e) (2019). Temporally Attributed Description Logics.
  • Vis forfatter(e) (2019). Querying Attributed DL-Lite Ontologies Using Provenance Semirings. 8 sider.
  • Vis forfatter(e) (2019). Learning Ontologies with Epistemic Reasoning: The EL Case.
  • Vis forfatter(e) (2019). Enriching Ontology-based Data Access with Provenance.
  • Vis forfatter(e) (2019). Do You Need Infinite Time? 7 sider.
  • Vis forfatter(e) (2018). Preserving Constraints with the Stable Chase.
  • Vis forfatter(e) (2018). ExactLearner: A Tool for Exact Learning of EL Ontologies.
  • Vis forfatter(e) (2018). Exact learning of multivalued dependency formulas. Theoretical Computer Science.
  • Vis forfatter(e) (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of machine learning research.
  • Vis forfatter(e) (2018). Consequence-Based Axiom Pinpointing.
  • Vis forfatter(e) (2018). Attributed Description Logics: Reasoning on Knowledge Graphs.
  • Vis forfatter(e) (2017). Theorem Proving for Metric Temporal Logic over the Naturals.
  • Vis forfatter(e) (2017). Metric Temporal Description Logics with Interval-Rigid Names.
  • Vis forfatter(e) (2017). Attributed Description Logics: Ontologies for Knowledge Graphs.
  • Vis forfatter(e) (2016). On Metric Temporal Description Logics.
  • Vis forfatter(e) (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning.
  • Vis forfatter(e) (2015). Schema.org as a Description Logi.
  • Vis forfatter(e) (2015). Exact Learning of Multivalued Dependencies.
  • Vis forfatter(e) (2014). Exact Learning of Lightweight Description Logic Ontologies.

Se fullstendig oversikt over publikasjoner i CRIStin.

For aktuelle masteroppgaver i maskinlæring, se på engelske sider.