( en | de | ru )

 

Disambiguation of "Konev, Boris"

Author of the publication

copydeleteadd this publication to your clipboard
A Model for Learning Description Logic Ontologies Based on Exact Learning.

, , and . AAAI, page 1008-1015. AAAI Press, (2016)

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.

Nuchim Borissowsky

Svetlana Borisova

Bettina Borisch

Nikolay Nikolaev Borissov

Dimitriya Borisova

 

Other publications of authors with the same name

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