Engelske sider.

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^⊥ 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^r. (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

• Basulto, Víctor; Jung, jean; Ozaki, Ana (2016). On Metric Temporal Description Logics. (ekstern lenke)
• Ozaki, Ana; Konev, Boris; Wolter, Frank (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. (ekstern lenke)

2015

• Hermo, Montserrat; Ozaki, Ana (2015). Exact Learning of Multivalued Dependencies. (ekstern lenke)
• Hernich, André; Lutz, Carsten; Ozaki, Ana et al. (2015). Schema.org as a Description Logi. (ekstern lenke)

2014

• Konev, Boris; Lutz, Carsten; Ozaki, Ana et al. (2014). Exact Learning of Lightweight Description Logic Ontologies. (ekstern lenke)

Se en full oversikt over publikasjoner i Cristin

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