( en | de | ru )

 

Disambiguation of "Ozaki, Ana"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning with Attributed Description Logics.

, , , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)

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)

Zoran AnÄ elkovi

Dimitra Anastasiou

 

Other publications of authors with the same name

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..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)Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations., , and . J. Autom. Reason., 64 (8): 1553-1610 (2020)Exact Learning: On the Boundary between Horn and CNF., and . ACM Trans. Comput. Theory, 12 (1): 4:1-4:25 (2020)Enriching Ontology-based Data Access with Provenance., , , , and . IJCAI, page 1616-1623. ijcai.org, (2019)Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)., , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)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)Exact Learning Description Logic Ontologies from Data Retrieval Examples., , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)