Boris Konev

According to our database, Boris Konev authored at least 74 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a methodology for the semi-automatic generation of scientific knowledge graphs from XML documents.

George Hannah, Terry R. Payne, Valentina A. M. Tamma, Andrew Mitchell, Ellen Piercy, Boris Konev

Proceedings of the 18th International Workshop on Ontology Matching co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Data Querying with Ciphertext Policy Attribute Based Encryption.

Maryam Almarwani, Boris Konev, Alexei Lisitsa

CoRR, 2022

Interpolants and Explicit Definitions in Extensions of the Description Logic EL.

Marie Fortin, Boris Konev, Frank Wolter

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Unique Characterisability and Learnability of Temporal Instance Queries.

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Efficient and Secure Encryption Adjustment for JSON Data.

Maryam Almarwani, Boris Konev, Alexei Lisitsa

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

Zero Update Encryption Adjustment on Encrypted Database Queries.

Maryam Almarwani, Boris Konev, Alexei Lisitsa

Proceedings of the Information Systems Security and Privacy, 2022

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Release-aware In-out Encryption Adjustment in MongoDB Query Processing.

Maryam Almarwani, Boris Konev, Alexei Lisitsa

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).

Marie Fortin, Boris Konev, Frank Wolter

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Release-Aware Encryption Adjustment Query processing for Document Database.

Maryam Almarwani, Boris Konev, Alexei Lisitsa

Proceedings of the ICCBDC '20: 2020 4th International Conference on Cloud and Big Data Computing, 2020

2019

Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database.

Maryam Almarwani, Boris Konev, Alexei Lisitsa

Proceedings of the Information Systems Security and Privacy - 5th International Conference, 2019

Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database.

Maryam Almarwani, Boris Konev, Alexei Lisitsa

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Ontology Learning from Twitter Data.

Saad Alajlan, Frans Coenen, Boris Konev, Angrosh Mandya

Proceedings of the 11th International Joint Conference on Knowledge Discovery, 2019

2018

ExactLearner: A Tool for Exact Learning of EL Ontologies.

Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Exact Learning of EL Ontologies.

Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Exact Learning of Lightweight Description Logic Ontologies.

Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter

J. Mach. Learn. Res., 2017

2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Anti-Unification of Concepts in Description Logic EL.

Boris Konev, Temur Kutsia

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Conservative Rewritability of Description Logic TBoxes.

Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Model for Learning Description Logic Ontologies Based on Exact Learning.

Boris Konev, Ana Ozaki, Frank Wolter

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Computer-aided proof of Erdős discrepancy properties.

Boris Konev, Alexei Lisitsa

Artif. Intell., 2015

Collaborating Low Cost Micro Aerial Vehicles: A Demonstration.

Richard Williams, Boris Konev, Frans Coenen

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles.

Richard Williams, Boris Konev, Frans Coenen

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Exact Learning Description Logic Ontologies from Data Retrieval Examples.

Boris Konev, Ana Ozaki, Frank Wolter

Proceedings of the 28th International Workshop on Description Logics, 2015

Conservative Rewritability of Description Logic TBoxes: First Results.

Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Multi-agent Environment Exploration with AR.Drones.

Richard Williams, Boris Konev, Frans Coenen

Proceedings of the Advances in Autonomous Robotics Systems - 15th Annual Conference, 2014

A SAT Attack on the Erdős Discrepancy Conjecture.

Boris Konev, Alexei Lisitsa

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.

Michel Ludwig, Boris Konev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies.

William Gatens, Boris Konev, Frank Wolter

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Deductive temporal reasoning with constraints.

Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi

J. Appl. Log., 2013

Model-theoretic inseparability and modularity of description logic ontologies.

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter

Artif. Intell., 2013

Module Extraction for Acyclic Ontologies.

William Gatens, Boris Konev, Frank Wolter

Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes.

Michel Ludwig, Boris Konev

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Exact Learning of TBoxes in EL and DL-Lite.

Boris Konev, Carsten Lutz, Frank Wolter

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Propositional Temporal Proving with Reductions to a SAT Problem.

Richard Williams, Boris Konev

Proceedings of the Automated Deduction - CADE-24, 2013

2012

The Logical Difference for the Lightweight Description Logic EL.

Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter

J. Artif. Intell. Res., 2012

Symmetric Temporal Theorem Proving.

Amir Niknafs-Kermani, Boris Konev, Michael Fisher

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Labelled Tableaux for Temporal Logic with Cardinality Constraints.

Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Logical Difference Computation with CEX2.5.

Boris Konev, Michel Ludwig, Frank Wolter

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Module Extraction via Query Inseparability in OWL 2 QL.

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Special issue on practical aspects of automated reasoning.

Boris Konev, Renate A. Schmidt, Stephan Schulz

AI Commun., 2010

Decomposing Description Logic Ontologies.

Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

Formal Properties of Modularisation.

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter

Proceedings of the Modular Ontologies: Concepts, 2009

Temporal Verification of Fault-Tolerant Protocols.

Michael Fisher, Boris Konev, Alexei Lisitsa

Proceedings of the Methods, 2009

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.

Boris Konev, Dirk Walther, Frank Wolter

Proceedings of the IJCAI 2009, 2009

Taming the Complexity of Temporal Epistemic Reasoning.

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL.

Boris Konev, Dirk Walther, Frank Wolter

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Practical First-Order Temporal Reasoning.

Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL.

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Semantic Modularity and Module Extraction in Description Logics.

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter

Proceedings of the ECAI 2008, 2008

Logical Difference and Module Extraction with CEX and MEX.

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Logical Difference Problem for Description Logic Terminologies.

Boris Konev, Dirk Walther, Frank Wolter

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Efficient First-Order Temporal Logic for Infinite-State Systems

Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa

CoRR, 2007

Tractable Temporal Reasoning.

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the IJCAI 2007, 2007

Temporal Logic with Capacity Constraints.

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

Monodic temporal resolution.

Anatoli Degtyarev, Michael Fisher, Boris Konev

ACM Trans. Comput. Log., 2006

On Dynamic Topological and Metric Logics.

Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Stud Logica, 2006

Is There a Future for Deductive Temporal Verification?

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

On Herbrand's Theorem for Intuitionistic Logic.

Alexander V. Lyaletski, Boris Konev

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Tableau Method with Free Variables for Intuitionistic Logic.

Boris Konev, Alexander V. Lyaletski

Proceedings of the Intelligent Information Processing and Web Mining, 2006

Dynamic topological logics over spaces with continuous functions.

Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 6, 2006

2005

First-Order Temporal Verification in Practice.

M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev

J. Autom. Reason., 2005

Mechanising first-order temporal resolution.

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Inf. Comput., 2005

Practical Infinite-State Verification with Temporal Reasoning.

Michael Fisher, Boris Konev, Alexei Lisitsa

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Temporal Logics over Transitive States.

Boris Konev, Frank Wolter, Michael Zakharyaschev

Proceedings of the Automated Deduction, 2005

Deciding Monodic Fragments by Temporal Resolution.

Ullrich Hustadt, Boris Konev, Renate A. Schmidt

Proceedings of the Automated Deduction, 2005

2004

TeMP: A Temporal Monodic Prover.

Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Handling Equality in Monodic Temporal Resolution.

Boris Konev, Anatoli Degtyarev, Michael Fisher

Proceedings of the Logic for Programming, 2003

TRP++2.0: A Temporal Resolution Prover.

Ullrich Hustadt, Boris Konev

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.

Anatoli Degtyarev, Michael Fisher, Boris Konev

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001

MAX SAT approximation beyond the limits of polynomial-time approximation.

Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev

Ann. Pure Appl. Log., 2001