( en | de | ru )

 

Disambiguation of "Ozaki, Ana"

Author of the publication

copydeleteadd this publication to your clipboard
Happy Ever After: Temporally Attributed Description Logics.

, , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)

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)

Wilhelm Anacker

Gerhard Anacker

 

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..Enriching Ontology-based Data Access with Provenance., , , , and . IJCAI, page 1616-1623. ijcai.org, (2019)Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?. CoRR, (2021)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)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)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)Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)., , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)