Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 4.


Konev, B ORCID: 0000-0002-6507-0494, Ozaki, A and Wolter, F
(2015) Exact learning description logic ontologies from data retrieval examples. In: 28th International Workshop on Description Logics, 2015-6-7 - 2015-6-10, Athens.


Duarte, R, Konev, B ORCID: 0000-0002-6507-0494 and Ozaki, A
(2018) Exact learning of EL ontologies. .


Artale, A, Mazzullo, A, Ozaki, A and Wolter, F
(2021) On Free Description Logics with Definite Descriptions. In: International Conference on Principles of Knowledge Representation and Reasoning.


Hustadt, U ORCID: 0000-0002-0455-0267, Ozaki, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017) Theorem Proving for Metric Temporal Logic over the Naturals. In: 26th International Conference on Automated Deduction.

This list was generated on Sat Feb 24 03:34:30 2024 GMT.