A. Ozaki
发表
Camille Bourgaux,
A. Ozaki,
2018
.
A. Ozaki,
Ricardo Guimarães,
2022
.
A. Ozaki,
Ricardo Guimarães,
Johanna Josang,
2022,
2206.00983.
A. Ozaki,
Ricardo Guimarães,
Johanna Josang,
2022,
ArXiv.
Tiziano Dalmonte,
A. Ozaki,
Andrea Mazzullo,
2022,
ARQNL@IJCAR.
A. Artale,
A. Ozaki,
Andrea Mazzullo,
2019
.
M. Slavkovik,
A. Ozaki,
Anum Rehman,
2022,
ArXiv.
L. Predoiu,
R. Peñaloza,
Camille Bourgaux,
2021
.
A. Ozaki,
Philip Turk,
2022,
2022 IEEE International Conference on Quantum Computing and Engineering (QCE).
S. Gleeson,
A. Ozaki,
Tao Leigh Goffe,
2022,
Asian Diasporic Visual Cultures and the Americas.
Boris Konev,
Frank Wolter,
Ana Ozaki,
2015,
Description Logics.
A. Artale,
A. Ozaki,
Andrea Mazzullo,
2022,
ArXiv.
Alessandro Artale,
Andrea Mazzullo,
Ana Ozaki,
2019,
IJCAI.
Alessandro Artale,
Andrea Mazzullo,
Ana Ozaki,
2018,
Description Logics.
P. Ridker,
T. Ohida,
A. Ozaki,
2010
.
Cosimo Persia,
Ana Ozaki,
A. Ozaki,
2020,
IJCAI.
A. Ozaki,
2021,
Journal of Latin American Geography.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2017,
Description Logics.
Jean Christoph Jung,
Ana Ozaki,
Víctor Gutiérrez-Basulto,
2016,
ECAI.
Samia Touileb,
A. Ozaki,
R. Koudijs,
2023,
ArXiv.
A. Ozaki,
Andrea Mazzullo,
Cosimo Persia,
2019,
Description Logics.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2014,
KR.
Rafael Peñaloza,
Ana Ozaki,
R. Peñaloza,
2018,
Description Logics.
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2020,
ACM Transactions on Computational Logic.
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2021,
AAAI.
Ana Ozaki,
A. Ozaki,
2020,
KI - Künstliche Intelligenz.
Markus Krötzsch,
Veronika Thost,
Ana Ozaki,
2018,
IJCAI.
Clare Dixon,
Ullrich Hustadt,
Ana Ozaki,
2020,
J. Autom. Reason..
Ana Ozaki,
Baris Sertkaya,
Cosimo Persia,
2021,
AAAI.
A. Artale,
F. Wolter,
A. Ozaki,
2021,
Description Logics.
A. Ozaki,
Ricardo Guimarães,
Jandson S. Ribeiro University of Bergen,
2023,
AAAI Conference on Artificial Intelligence.
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)
pdf
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2020,
Description Logics.
Tiziano Dalmonte,
Andrea Mazzullo,
Ana Ozaki,
2019,
Description Logics.
Ana Ozaki,
A. Ozaki,
2021,
Reasoning Web.
Carsten Lutz,
Frank Wolter,
André Hernich,
2015,
Description Logics.
Nicolas Troquard,
Ana Ozaki,
N. Troquard,
2019,
Description Logics.
N. Troquard,
Tiziano Dalmonte,
A. Ozaki,
2023,
ArXiv.
Samia Touileb,
A. Ozaki,
R. Koudijs,
2023,
International Journal of Approximate Reasoning.
A. Artale,
F. Wolter,
A. Ozaki,
2020,
ACM Trans. Comput. Log..
Boris Konev,
Frank Wolter,
Ana Ozaki,
2016,
AAAI.
Camille Bourgaux,
A. Ozaki,
2019,
AAAI.
Markus Krötzsch,
Veronika Thost,
Ana Ozaki,
2017,
SEMWEB.