Boris Konev

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 31

Top Topics

Temporal Queries

Top Venues

Description Logics

Publications

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI (2023)
George Hannah, Terry R. Payne, Valentina Tamma, Andrew Mitchell, Ellen Piercy, Boris Konev
Towards a methodology for the semi-automatic generation of scientific knowledge graphs from XML documents. OM@ISWC (2023)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR (2023)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Zero Update Encryption Adjustment on Encrypted Database Queries. ICISSP (Revised Selected Papers) (2022)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR (2022)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR (2022)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Data Querying with Ciphertext Policy Attribute Based Encryption. CoRR (2022)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Efficient and Secure Encryption Adjustment for JSON Data. ICISSP (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. KR (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR (2022)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Release-aware In-out Encryption Adjustment in MongoDB Query Processing. ICISSP (2021)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics (2021)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Release-Aware Encryption Adjustment Query processing for Document Database. ICCBDC (2020)
Saad Alajlan, Frans Coenen, Boris Konev, Angrosh Mandya
Ontology Learning from Twitter Data. KEOD (2019)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. ICISSP (2019)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. ICISSP (Revised Selected Papers) (2019)
Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
Exact Learning of EL Ontologies. Description Logics (2018)
Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
ExactLearner: A Tool for Exact Learning of EL Ontologies. KR (2018)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR (2018)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18 (2017)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. CoRR (2017)
Boris Konev, Ana Ozaki, Frank Wolter
A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI (2016)
Boris Konev, Temur Kutsia
Anti-Unification of Concepts in Description Logic EL. KR (2016)
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Conservative Rewritability of Description Logic TBoxes. IJCAI (2016)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Reasoning Web (2016)
Boris Konev, Alexei Lisitsa
Computer-aided proof of Erdős discrepancy properties. Artif. Intell. 224 (2015)
Richard Williams, Boris Konev, Frans Coenen
Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. TAROS (2015)
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics (2015)
Richard Williams, Boris Konev, Frans Coenen
Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles. IROS (2015)
Boris Konev, Ana Ozaki, Frank Wolter
Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics (2015)
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
The Logical Difference for the Lightweight Description Logic EL. CoRR (2014)
William Gatens, Boris Konev, Frank Wolter
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. ECAI (2014)
Richard Williams, Boris Konev, Frans Coenen
Multi-agent Environment Exploration with AR.Drones. TAROS (2014)
Boris Konev, Alexei Lisitsa
A SAT Attack on the Erdos Discrepancy Conjecture. CoRR (2014)
William Gatens, Boris Konev, Frank Wolter
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Description Logics (2014)
Michel Ludwig, Boris Konev
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. KR (2014)
Boris Konev, Alexei Lisitsa
A SAT Attack on the Erdős Discrepancy Conjecture. SAT (2014)
Boris Konev, Alexei Lisitsa
Computer-Aided Proof of Erdos Discrepancy Properties. CoRR (2014)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. KR (2014)
Richard Williams, Boris Konev
Propositional Temporal Proving with Reductions to a SAT Problem. CADE (2013)
William Gatens, Boris Konev, Frank Wolter
Module Extraction for Acyclic Ontologies. WoMO (2013)
Michel Ludwig, Boris Konev
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. Description Logics (2013)
Boris Konev, Carsten Lutz, Frank Wolter
Exact Learning of TBoxes in EL and DL-Lite. Description Logics (2013)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203 (2013)
Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi
Deductive temporal reasoning with constraints. J. Appl. Log. 11 (1) (2013)
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. 44 (2012)
Boris Konev, Michel Ludwig, Frank Wolter
Logical Difference Computation with CEX2.5. IJCAR (2012)
Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC (2012)
Amir Niknafs-Kermani, Boris Konev, Michael Fisher
Symmetric Temporal Theorem Proving. TIME (2012)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics (2011)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI (2011)
Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter
Decomposing Description Logic Ontologies. KR (2010)
Boris Konev, Renate A. Schmidt, Stephan Schulz
Special issue on practical aspects of automated reasoning. AI Commun. 23 (2-3) (2010)
Clare Dixon, Michael Fisher, Boris Konev
Taming the Complexity of Temporal Epistemic Reasoning. FroCoS (2009)
Boris Konev, Dirk Walther, Frank Wolter
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics (2009)
Boris Konev, Dirk Walther, Frank Wolter
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI (2009)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Logical Difference and Module Extraction with CEX and MEX. Description Logics (2008)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Semantic Modularity and Module Extraction in Description Logics. ECAI (2008)
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
Practical First-Order Temporal Reasoning. TIME (2008)
Boris Konev, Dirk Walther, Frank Wolter
The Logical Difference Problem for Description Logic Terminologies. IJCAR (2008)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) (2008)
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
Efficient First-Order Temporal Logic for Infinite-State Systems CoRR (2007)
Clare Dixon, Michael Fisher, Boris Konev
Temporal Logic with Capacity Constraints. FroCoS (2007)
Clare Dixon, Michael Fisher, Boris Konev
Tractable Temporal Reasoning. IJCAI (2007)
Anatoli Degtyarev, Michael Fisher, Boris Konev
Monodic temporal resolution. ACM Trans. Comput. Log. 7 (1) (2006)
Clare Dixon, Michael Fisher, Boris Konev
Is There a Future for Deductive Temporal Verification? TIME (2006)
Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
On Dynamic Topological and Metric Logics. Stud Logica 84 (1) (2006)
Alexander V. Lyaletski, Boris Konev
On Herbrand's Theorem for Intuitionistic Logic. JELIA (2006)
Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic (2006)
Boris Konev, Alexander V. Lyaletski
Tableau Method with Free Variables for Intuitionistic Logic. Intelligent Information Systems (2006)
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
Mechanising first-order temporal resolution. Inf. Comput. 199 (1-2) (2005)
M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
First-Order Temporal Verification in Practice. J. Autom. Reason. 34 (3) (2005)
Boris Konev, Frank Wolter, Michael Zakharyaschev
Temporal Logics over Transitive States. CADE (2005)
Ullrich Hustadt, Boris Konev, Renate A. Schmidt
Deciding Monodic Fragments by Temporal Resolution. CADE (2005)
Michael Fisher, Boris Konev, Alexei Lisitsa
Practical Infinite-State Verification with Temporal Reasoning. VISSAS (2005)
Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
TeMP: A Temporal Monodic Prover. IJCAR (2004)
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME (2003)
Ullrich Hustadt, Boris Konev
TRP++2.0: A Temporal Resolution Prover. CADE (2003)
Anatoli Degtyarev, Michael Fisher, Boris Konev
Monodic Temporal Resolution. CADE (2003)
Boris Konev, Anatoli Degtyarev, Michael Fisher
Handling Equality in Monodic Temporal Resolution. LPAR (2003)
Anatoli Degtyarev, Michael Fisher, Boris Konev
Monodic temporal resolution CoRR (2003)
Anatoli Degtyarev, Michael Fisher, Boris Konev
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX (2002)
Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev
MAX SAT approximation beyond the limits of polynomial-time approximation. Ann. Pure Appl. Log. 113 (1-3) (2001)