( en | de | ru )

 

Disambiguation of "Ozaki, Ana"

Author of the publication

copydeleteadd this publication to your clipboard
Temporally Attributed Description Logics.

, , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 441-474. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ana Hanstedt

Beurteilung der Entwicklungskompetenz boviner Oozyten aus Follikeln mit unterschiedlicher Durchblutung der Follikelwand. TierH Hannover, (2009)

Ana-Sun ana Smith

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Dimitra Anastasiou

Zoran AnÄ elkovi

 

Other publications of authors with the same name

Enriching Ontology-based Data Access with Provenance., , , , and . IJCAI, page 1616-1623. ijcai.org, (2019)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions., , , , and . ACM Trans. Comput. Log., 24 (4): 34:1-34:51 (October 2023)Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?. CoRR, (2021)On the Learnability of Possibilistic Theories., and . IJCAI, page 1870-1876. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Exact Learning: On the Boundary between Horn and CNF., and . ACM Trans. Comput. Theory, 12 (1): 4:1-4:25 (2020)Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations., , and . J. Autom. Reason., 64 (8): 1553-1610 (2020)Finite Based Contraction and Expansion via Models., , and . AAAI, page 6389-6397. AAAI Press, (2023)Non-Normal Modal Description Logics., , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 306-321. Springer, (2023)On Free Description Logics with Definite Descriptions., , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Temporal Description Logics over Finite Traces., , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)