Ana Ozaki
Stilling
Førsteamanuensis
Tilhørighet
Forskning
Publikasjoner
https://dblp.org/pers/o/Ozaki:Ana.html
2024
- Ozaki Rivera Castillo, Ana Helena; Guimarães, Ricardo; Lacerda, Victor (2024). FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH. (ekstern lenke)
- Ozaki Rivera Castillo, Ana Helena (2024). Probing Machine Learning Models in Angluin’s Style . (ekstern lenke)
- Ozaki Rivera Castillo, Ana Helena (2024). dScience Lunch Seminar: Knowledge Graphs and Ontologies in AI. (ekstern lenke)
- Wesenberg, Grunde Haraldsson; Ozaki Rivera Castillo, Ana Helena (2024). On Road Traffic Prediction with Graph Neural Networks. (ekstern lenke)
- Artale, Alessandro; Mazzullo, Andrea; Ozaki Rivera Castillo, Ana Helena (2024). First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. (ekstern lenke)
2023
- Ozaki, Ana (2023). Extracting Rules from ML models in Angluin’s Style . (ekstern lenke)
- Guimaraes, Ricardo; Ozaki, Ana; S. Ribeiro, Jandson (2023). Finite Based Contraction and Expansion via Models. (ekstern lenke)
- Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana et al. (2023). Non-Normal Modal Description Logics. (ekstern lenke)
- Imenes, Anders; Guimaraes, Ricardo; Ozaki, Ana (2023). Marrying Query Rewriting and Knowledge Graph Embeddings. (ekstern lenke)
- Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana et al. (2023). Non-Normal Modal Description Logics. (ekstern lenke)
- Przybysz, Emilia; Bhattarai, Bimal; Persia, Cosimo Damiano et al. (2023). Verifying Properties of Tsetlin Machines. (ekstern lenke)
- Imenes, Anders; Guimarães, Ricardo; Ozaki, Ana (2023). Marrying Query Rewriting and Knowledge Graph Embeddings. (ekstern lenke)
- Fensel, Anna; Ozaki, Ana; Dumitru, Roman et al. (2023). Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings. (ekstern lenke)
- Guimaraes, Ricardo; Ozaki, Ana; Persia, Cosimo Damiano et al. (2023). Mining EL<sup>⊥</sup> Bases with Adaptable Role Depth. (ekstern lenke)
- Blum, Sophie; Koudijs, Raoul; Ozaki, Ana et al. (2023). Learning Horn envelopes via queries from language models. (ekstern lenke)
- Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea et al. (2023). Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. (ekstern lenke)
- Przybysz, Emilia Katarzyna; Bhattarai, Bimal; Persia, Cosimo Damiano et al. (2023). Verifying Properties of Tsetlin Machines. (ekstern lenke)
- Ozaki Rivera Castillo, Ana Helena (2023). Extracting Rules from Machine Learning Models in Angluin’s Style. (ekstern lenke)
2022
- Bourgaux, Camille; Ozaki, Ana; Peñaloza, Rafael (2022). International Research School in Artificial Intelligence in Bergen, {AIB} 2022, June 7-11, 2022, University of Bergen, Norway. (ekstern lenke)
- Bourgaux, Camille; Ozaki, Ana; Peñaloza, Rafael (2022). Preface. (ekstern lenke)
- Ozaki Rivera Castillo, Ana Helena (2022). Learning Zero Noise Extrapolation for Deterministic Quantum Circuits. (ekstern lenke)
- Persia, Cosimo Damiano; Ozaki, Ana (2022). Extracting Rules from Neural Networks with Partial Interpretations. (ekstern lenke)
- Guimarães, Ricardo; Ozaki Rivera Castillo, Ana Helena (2022). Reasoning in Knowledge Graphs. (ekstern lenke)
2021
- Artale, Alessandro; Mazzullo, Andrea; Ozaki, Ana et al. (2021). On Free Description Logics with Definite Descriptions. (ekstern lenke)
- Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea et al. (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. (ekstern lenke)
- Guimaraes, Ricardo; Ozaki, Ana; Persia, Cosimo Damiano et al. (2021). Mining EL Bases with Adaptable Role Depth. (ekstern lenke)
2020
- Ozaki, Ana (2020). On the Complexity of Learning Description Logic Ontologies. (ekstern lenke)
- Persia, Cosimo Damiano; Ozaki, Ana (2020). Learning query inseparable ELH ontologies. (ekstern lenke)
- Tahrat, Sabiha; Braun, German; Artale, Alessandro et al. (2020). Automated reasoning in temporal DL-lite. (ekstern lenke)
- Bourgaux, Camille; Ozaki, Ana; Peñaloza, Rafael et al. (2020). Provenance for the description logic ELH<sup>r</sup>. (ekstern lenke)
- Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea et al. (2020). Living without beth and craig: Explicit definitions and interpolants in description logics with nominals. (ekstern lenke)
- Ozaki, Ana; Persia, Cosimo Damiano; Mazzullo, Andrea (2020). Learning query inseparable ELH ontologies. (ekstern lenke)
- Artale, Alessandro; Mazzullo, Andrea; Ozaki, Ana et al. (2020). On free description logics with definite descriptions. (ekstern lenke)
- Ullrich, Hustadt; Ozaki, Ana; Dixon, Clare (2020). Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. (ekstern lenke)
- Muñoz-Velasco, Emilio; Ozaki, Ana; Theobald, Martin (2020). 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy.. (ekstern lenke)
- Bourgaux, Camille; Ozaki, Ana; Peñaloza, Rafael et al. (2020). Provenance for the Description Logic ELHr. (ekstern lenke)
- Persia, Cosimo; Ozaki, Ana (2020). On the Learnability of Possibilistic Theories. (ekstern lenke)
- Ozaki, Ana; Persia, Cosimo; Mazzullo, Andrea (2020). Learning Query Inseparable ELH Ontologies. (ekstern lenke)
- Hermo, Montserrat; Ozaki, Ana (2020). Exact Learning: On the Boundary between Horn and CNF. (ekstern lenke)
- Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick et al. (2020). Metric Temporal Description Logics with Interval-Rigid Names. (ekstern lenke)
- Ozaki, Ana (2020). Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?. (ekstern lenke)
- Ozaki, Ana (2020). On the Complexity of Learning Description Logic Ontologies. (ekstern lenke)
2019
- Ozaki, Ana; Bourgaux, Camille (2019). Querying Attributed DL-Lite Ontologies Using Provenance Semirings. (ekstern lenke)
- Artale, Alessandro; Mazzullo, Andrea; Ozaki, Ana (2019). Do You Need Infinite Time?. (ekstern lenke)
- Ozaki, Ana; Troquard, Nicola (2019). Learning Ontologies with Epistemic Reasoning: The EL Case. (ekstern lenke)
- Ozaki, Ana; Krotzsch, Markus; Rudolph, Sebastian (2019). Temporally Attributed Description Logics. (ekstern lenke)
- Calvanese, Diego; Lanti, Davide; Ozaki, Ana et al. (2019). Enriching Ontology-based Data Access with Provenance. (ekstern lenke)
2018
- Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana et al. (2018). Attributed Description Logics: Reasoning on Knowledge Graphs. (ekstern lenke)
- Ozaki, Ana; Peñaloza, Rafael (2018). Consequence-Based Axiom Pinpointing. (ekstern lenke)
- Duarte, Ricardo; Konev, Boris; Ozaki, Ana (2018). ExactLearner: A Tool for Exact Learning of EL Ontologies. (ekstern lenke)
- Konev, Boris; Lutz, Carsten; Ozaki, Ana et al. (2018). Exact Learning of Lightweight Description Logic Ontologies. (ekstern lenke)
- Ozaki, Ana; Hermo, Montserrat (2018). Exact learning of multivalued dependency formulas. (ekstern lenke)
- Carral, David; Krotzsch, Markus; Maximilian, Marx et al. (2018). Preserving Constraints with the Stable Chase. (ekstern lenke)
2017
- Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick et al. (2017). Metric Temporal Description Logics with Interval-Rigid Names. (ekstern lenke)
- Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana et al. (2017). Attributed Description Logics: Ontologies for Knowledge Graphs. (ekstern lenke)
- Hustadt, Ullrich; Ozaki, Ana; Dixon, Clare (2017). Theorem Proving for Metric Temporal Logic over the Naturals. (ekstern lenke)
2016
2015
Masteroppgaver
For aktuelle masteroppgaver i maskinlæring, se på engelske sider.