Ana Ozaki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning Horn envelopes via queries from language models International Journal of Approximate Reasoning	2024-07-24	Paper
Non-normal Modal description logics	2024-05-29	Paper
First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications ACM Transactions on Computational Logic	2024-04-25	Paper
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ACM Transactions on Computational Logic	2023-11-03	Paper
Mining ℰℒ⊥ Bases with Adaptable Role Depth Journal of Artificial Intelligence Research	2023-08-28	Paper
Consequence-based axiom pinpointing Lecture Notes in Computer Science	2023-07-28	Paper
On the Complexity of Learning Description Logic Ontologies	2023-03-24	Paper
Exact learning: on the boundary between Horn and CNF ACM Transactions on Computation Theory	2022-12-05	Paper
Theorem proving for pointwise metric temporal logic over the naturals via translations Journal of Automated Reasoning	2021-02-17	Paper
Metric temporal description logics with interval-rigid names ACM Transactions on Computational Logic	2020-09-11	Paper
Preserving constraints with the stable chase	2020-08-06	Paper
Temporally attributed description logics	2020-06-04	Paper
Learning ontologies with epistemic reasoning: the \(\mathcal{EL}\) case (available as arXiv preprint)	2020-02-18	Paper
Exact learning of lightweight description logic ontologies	2018-11-22	Paper
Exact learning of lightweight description logic ontologies (available as arXiv preprint)	2018-11-22	Paper
On metric temporal description logics	2018-07-12	Paper
Exact learning of multivalued dependency formulas Theoretical Computer Science	2018-03-12	Paper
Metric temporal description logics with interval-rigid names	2018-01-04	Paper
Theorem proving for metric temporal logic over the naturals	2017-09-22	Paper
Exact Learning of Multivalued Dependencies Lecture Notes in Computer Science	2016-11-30	Paper

Research outcomes over time

This page was built for person: Ana Ozaki