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

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

  • 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 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). Metric Temporal Description Logics with Interval-Rigid Names. ACM Transactions on Computational Logic.
  • 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). 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.