( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Decomposing Description Logic Ontologies.

, , , и . KR, AAAI Press, (2010)

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.

Svetlana Borisova

Nuchim Borissowsky

Bettina Borisch

Dimitriya Borisova

Nikolay Nikolaev Borissov

 

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

Module Extraction for Acyclic Ontologies., , и . WoMO, том 1081 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database., , и . ICISSP (Revised Selected Papers), том 1221 из Communications in Computer and Information Science, стр. 403-425. Springer, (2019)Special issue on practical aspects of automated reasoning., , и . AI Commun., 23 (2-3): 67-68 (2010)Unique Characterisability and Learnability of Temporal Instance Queries., , , , , и . CoRR, (2022)Collaborating Low Cost Micro Aerial Vehicles: A Demonstration., , и . TAROS, том 9287 из Lecture Notes in Computer Science, стр. 296-302. Springer, (2015)Temporal Verification of Fault-Tolerant Protocols., , и . Methods, Models and Tools for Fault Tolerance, том 5454 из Lecture Notes in Computer Science, Springer, (2009)A SAT Attack on the Erdős Discrepancy Conjecture., и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 219-226. Springer, (2014)Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database., , и . ICISSP, стр. 606-614. SciTePress, (2019)A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic., , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 85-99. Springer, (2002)Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies., , и . IJCAI, стр. 830-835. (2009)