( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Theorem Proving for Metric Temporal Logic over the Naturals.

, , и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 326-343. Springer, (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.

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

 

Другие публикации лиц с тем же именем

On the Learnability of Possibilistic Theories., и . IJCAI, стр. 1870-1876. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Non-Normal Modal Description Logics., , , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 306-321. Springer, (2023)Exact Learning: On the Boundary between Horn and CNF., и . ACM Trans. Comput. Theory, 12 (1): 4:1-4:25 (2020)Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)., , , и . Description Logics, том 2954 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)On Free Description Logics with Definite Descriptions., , , и . Description Logics, том 2663 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Temporal Description Logics over Finite Traces., , и . Description Logics, том 2211 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)Exact Learning Description Logic Ontologies from Data Retrieval Examples., , и . Description Logics, том 1350 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)Enriching Ontology-based Data Access with Provenance., , , , и . IJCAI, стр. 1616-1623. ijcai.org, (2019)Finite Based Contraction and Expansion via Models., , и . AAAI, стр. 6389-6397. AAAI Press, (2023)Eviction and Reception for Description Logic Concepts (Extended Abstract)., и . Description Logics, том 3739 из CEUR Workshop Proceedings, CEUR-WS.org, (2024)