MAX SAT approximation beyond the limits of polynomial-time approximation. - Evgeny Dantsin; Michael Gavrilovich; Edward A. Hirsch; Boris Konev (Ann. Pure Appl. Log., 2001)

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. - Anatoli Degtyarev; Michael Fisher 001; Boris Konev (TABLEAUX, 2002)

TRP++2.0: A Temporal Resolution Prover. - Ullrich Hustadt; Boris Konev (CADE, 2003)

Handling Equality in Monodic Temporal Resolution. - Boris Konev; Anatoli Degtyarev; Michael Fisher 001 (LPAR, 2003)

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. - Boris Konev; Anatoli Degtyarev; Clare Dixon; Michael Fisher 001; Ullrich Hustadt (TIME, 2003)

TeMP: A Temporal Monodic Prover. - Ullrich Hustadt; Boris Konev; Alexandre Riazanov; Andrei Voronkov (IJCAR, 2004)

Deciding Monodic Fragments by Temporal Resolution. - Ullrich Hustadt; Boris Konev; Renate A. Schmidt (CADE, 2005)

Temporal Logics over Transitive States. - Boris Konev; Frank Wolter; Michael Zakharyaschev (CADE, 2005)

Practical Infinite-State Verification with Temporal Reasoning. - Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (VISSAS, 2005)

Mechanising first-order temporal resolution. - Boris Konev; Anatoli Degtyarev; Clare Dixon; Michael Fisher 001; Ullrich Hustadt (Inf. Comput., 2005)

First-Order Temporal Verification in Practice. - M. Carmen Fernández Gago; Ullrich Hustadt; Clare Dixon; Michael Fisher 001; Boris Konev (J. Autom. Reason., 2005)

Dynamic topological logics over spaces with continuous functions. - Boris Konev; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

Tableau Method with Free Variables for Intuitionistic Logic. - Boris Konev; Alexander V. Lyaletski (Intelligent Information Systems, 2006)

On Herbrand's Theorem for Intuitionistic Logic. - Alexander V. Lyaletski; Boris Konev (JELIA, 2006)

Is There a Future for Deductive Temporal Verification? - Clare Dixon; Michael Fisher 001; Boris Konev (TIME, 2006)

On Dynamic Topological and Metric Logics. - Boris Konev; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2006)

Monodic temporal resolution. - Anatoli Degtyarev; Michael Fisher 001; Boris Konev (ACM Trans. Comput. Log., 2006)

Temporal Logic with Capacity Constraints. - Clare Dixon; Michael Fisher 001; Boris Konev (FroCoS, 2007)

Tractable Temporal Reasoning. - Clare Dixon; Michael Fisher 001; Boris Konev (IJCAI, 2007)

Efficient First-Order Temporal Logic for Infinite-State Systems - Clare Dixon; Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (CoRR, 2007)

The Logical Difference Problem for Description Logic Terminologies. - Boris Konev; Dirk Walther 002; Frank Wolter (IJCAR, 2008)

Logical Difference and Module Extraction with CEX and MEX. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Description Logics, 2008)

Semantic Modularity and Module Extraction in Description Logics. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (ECAI, 2008)

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (OWLED (Spring), 2008)

Practical First-Order Temporal Reasoning. - Clare Dixon; Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (TIME, 2008)

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. - Boris Konev; Dirk Walther 002; Frank Wolter (Description Logics, 2009)

Taming the Complexity of Temporal Epistemic Reasoning. - Clare Dixon; Michael Fisher 001; Boris Konev (FroCoS, 2009)

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. - Boris Konev; Dirk Walther 002; Frank Wolter (IJCAI, 2009)

Temporal Verification of Fault-Tolerant Protocols. - Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (Methods, Models and Tools for Fault Tolerance, 2009)

Formal Properties of Modularisation. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Modular Ontologies, 2009)

Decomposing Description Logic Ontologies. - Boris Konev; Carsten Lutz; Denis K. Ponomaryov; Frank Wolter (KR, 2010)

Special issue on practical aspects of automated reasoning. - Boris Konev; Renate A. Schmidt; Stephan Schulz 001 (AI Commun., 2010)

Conjunctive Query Inseparability of OWL 2 QL TBoxes. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (AAAI, 2011)

Module Extraction via Query Inseparability in OWL 2 QL. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (Description Logics, 2011)

Logical Difference Computation with CEX2.5. - Boris Konev; Michel Ludwig; Frank Wolter (IJCAR, 2012)

Labelled Tableaux for Temporal Logic with Cardinality Constraints. - Clare Dixon; Boris Konev; Renate A. Schmidt; Dmitry Tishkovsky (SYNASC, 2012)

Symmetric Temporal Theorem Proving. - Amir Niknafs-Kermani; Boris Konev; Michael Fisher 001 (TIME, 2012)

The Logical Difference for the Lightweight Description Logic EL. - Boris Konev; Michel Ludwig; Dirk Walther 002; Frank Wolter (J. Artif. Intell. Res., 2012)

Propositional Temporal Proving with Reductions to a SAT Problem. - Richard Williams; Boris Konev (CADE, 2013)

Exact Learning of TBoxes in EL and DL-Lite. - Boris Konev; Carsten Lutz; Frank Wolter (Description Logics, 2013)

Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. - Michel Ludwig; Boris Konev (Description Logics, 2013)

Module Extraction for Acyclic Ontologies. - William Gatens; Boris Konev; Frank Wolter (WoMO, 2013)

Model-theoretic inseparability and modularity of description logic ontologies. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Artif. Intell., 2013)

Deductive temporal reasoning with constraints. - Clare Dixon; Boris Konev; Michael Fisher 001; Sherly Nietiadi (J. Appl. Log., 2013)

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. - William Gatens; Boris Konev; Frank Wolter (ECAI, 2014)

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. - Michel Ludwig; Boris Konev (KR, 2014)

A SAT Attack on the Erdős Discrepancy Conjecture. - Boris Konev; Alexei Lisitsa 001 (SAT, 2014)

Multi-agent Environment Exploration with AR.Drones. - Richard Williams; Boris Konev; Frans Coenen (TAROS, 2014)

Conservative Rewritability of Description Logic TBoxes: First Results. - Boris Konev; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2015)

Exact Learning Description Logic Ontologies from Data Retrieval Examples. - Boris Konev; Ana Ozaki; Frank Wolter (Description Logics, 2015)

Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles. - Richard Williams; Boris Konev; Frans Coenen (IROS, 2015)

Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. - Richard Williams; Boris Konev; Frans Coenen (TAROS, 2015)

Computer-aided proof of Erdős discrepancy properties. - Boris Konev; Alexei Lisitsa 001 (Artif. Intell., 2015)

A Model for Learning Description Logic Ontologies Based on Exact Learning. - Boris Konev; Ana Ozaki; Frank Wolter (AAAI, 2016)

Conservative Rewritability of Description Logic TBoxes. - Boris Konev; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (IJCAI, 2016)

Anti-Unification of Concepts in Description Logic EL. - Boris Konev; Temur Kutsia (KR, 2016)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. - Elena Botoeva; Boris Konev; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (RW, 2016)

Exact Learning of Lightweight Description Logic Ontologies. - Boris Konev; Carsten Lutz; Ana Ozaki; Frank Wolter (J. Mach. Learn. Res., 2017)

Exact Learning of EL Ontologies. - Mario Ricardo Cruz Duarte; Boris Konev; Ana Ozaki (Description Logics, 2018)

ExactLearner: A Tool for Exact Learning of EL Ontologies. - Mario Ricardo Cruz Duarte; Boris Konev; Ana Ozaki (KR, 2018)

Ontology Learning from Twitter Data. - Saad Alajlan; Frans Coenen; Boris Konev; Angrosh Mandya (KEOD, 2019)

Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP, 2019)

Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP (Revised Selected Papers), 2019)

Release-Aware Encryption Adjustment Query processing for Document Database. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICCBDC, 2020)

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). - Marie Fortin; Boris Konev; Frank Wolter (Description Logics, 2021)

Release-aware In-out Encryption Adjustment in MongoDB Query Processing. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP, 2021)

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 (Description Logics, 2022)

Zero Update Encryption Adjustment on Encrypted Database Queries. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP (Revised Selected Papers), 2022)

Efficient and Secure Encryption Adjustment for JSON Data. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP, 2022)

Unique Characterisability and Learnability of Temporal Instance Queries. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (KR, 2022)

Interpolants and Explicit Definitions in Extensions of the Description Logic EL. - Marie Fortin; Boris Konev; Frank Wolter (KR, 2022)

Data Querying with Ciphertext Policy Attribute Based Encryption. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (CoRR, 2022)

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (IJCAI, 2023)

Towards a methodology for the semi-automatic generation of scientific knowledge graphs from XML documents. - George Hannah; Terry R. Payne; Valentina Tamma; Andrew Mitchell; Ellen Piercy; Boris Konev (OM@ISWC, 2023)

RELRaE: LLM-Based Relationship Extraction, Labelling, Refinement, and Evaluation. - George Hannah; Jacopo de Berardinis; Terry R. Payne; Valentina Tamma; Andrew Mitchell; Ellen Piercy; Ewan Johnson; Andrew Ng 003; Harry Rostron; Boris Konev (CoRR, 2025)