( en | de | ru )

 

Disambiguation of "Konev, Boris"

Author of the publication

copydeleteadd this publication to your clipboard
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL.

, , , and . OWLED (Spring), volume 496 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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

Bettina Borisch

Svetlana Borisova

Dimitriya Borisova

Nikolay Nikolaev Borissov

 

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)Special issue on practical aspects of automated reasoning., , and . AI Commun., 23 (2-3): 67-68 (2010)Collaborating Low Cost Micro Aerial Vehicles: A Demonstration., , and . TAROS, volume 9287 of Lecture Notes in Computer Science, page 296-302. Springer, (2015)Unique Characterisability and Learnability of Temporal Instance Queries., , , , , and . KR, (2022)Module Extraction for Acyclic Ontologies., , and . WoMO, volume 1081 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)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)Monodic temporal resolution., , and . ACM Trans. Comput. Log., 7 (1): 108-150 (2006)