default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBoris Konev
Person information
- affiliation: University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c62]Marie Fortin, Boris Konev
, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI 2023: 3230-3238- [c61]George Hannah, Terry R. Payne, Valentina A. M. 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: 85-90 - [i11]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR abs/2305.01248 (2023) - 2022
- [c60]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 - [c59]Maryam Almarwani, Boris Konev, Alexei Lisitsa:
Zero Update Encryption Adjustment on Encrypted Database Queries. ICISSP (Revised Selected Papers) 2022: 25-47 - [c58]Maryam Almarwani, Boris Konev, Alexei Lisitsa:
Efficient and Secure Encryption Adjustment for JSON Data. ICISSP 2022: 307-313 - [c57]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. KR 2022 - [c56]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR 2022 - [e11]Boris Konev, Claudia Schon, Alexander Steen:
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. CEUR Workshop Proceedings 3201, CEUR-WS.org 2022 [contents] - [i10]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR abs/2202.07186 (2022) - [i9]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR abs/2205.01651 (2022) - [i8]Maryam Almarwani, Boris Konev, Alexei Lisitsa:
Data Querying with Ciphertext Policy Attribute Based Encryption. CoRR abs/2209.15103 (2022) - 2021
- [c55]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics 2021 - [c54]Maryam Almarwani, Boris Konev, Alexei Lisitsa:
Release-aware In-out Encryption Adjustment in MongoDB Query Processing. ICISSP 2021: 714-722 - [e10]Boris Konev, Giles Reger:
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12941, Springer 2021, ISBN 978-3-030-86204-6 [contents] - 2020
- [c53]Maryam Almarwani, Boris Konev, Alexei Lisitsa:
Release-Aware Encryption Adjustment Query processing for Document Database. ICCBDC 2020: 48-51
2010 – 2019
- 2019
- [c52]Saad Alajlan, Frans Coenen, Boris Konev, Angrosh Mandya:
Ontology Learning from Twitter Data. KEOD 2019: 94-103 - [c51]Maryam Almarwani, Boris Konev, Alexei Lisitsa:
Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. ICISSP (Revised Selected Papers) 2019: 403-425 - [c50]Maryam Almarwani, Boris Konev, Alexei Lisitsa:
Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. ICISSP 2019: 606-614 - 2018
- [c49]Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki:
Exact Learning of EL Ontologies. Description Logics 2018 - [c48]Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki:
ExactLearner: A Tool for Exact Learning of EL Ontologies. KR 2018: 409-414 - [e9]Boris Konev, Josef Urban, Philipp Rümmer:
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018. CEUR Workshop Proceedings 2162, CEUR-WS.org 2018 [contents] - [i7]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR abs/1804.07805 (2018) - 2017
- [j11]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18: 201:1-201:63 (2017) - [i6]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. CoRR abs/1709.07314 (2017) - 2016
- [c47]Boris Konev, Ana Ozaki, Frank Wolter:
A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI 2016: 1008-1015 - [c46]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016: 1153-1159 - [c45]Boris Konev, Temur Kutsia:
Anti-Unification of Concepts in Description Logic EL. KR 2016: 227-236 - [c44]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW 2016: 27-89 - [e8]Boris Konev, Stephan Schulz, Laurent Simon:
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. EPiC Series in Computing 40, EasyChair 2016 [contents] - 2015
- [j10]Boris Konev, Alexei Lisitsa:
Computer-aided proof of Erdős discrepancy properties. Artif. Intell. 224: 103-118 (2015) - [c43]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics 2015 - [c42]Boris Konev, Ana Ozaki, Frank Wolter:
Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics 2015 - [c41]Richard Williams, Boris Konev, Frans Coenen:
Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles. IROS 2015: 3092-3097 - [c40]Richard Williams, Boris Konev, Frans Coenen:
Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. TAROS 2015: 296-302 - [e7]Stephan Schulz, Leonardo de Moura, Boris Konev:
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. EPiC Series in Computing 31, EasyChair 2015 [contents] - [e6]Diego Calvanese, Boris Konev:
Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. CEUR Workshop Proceedings 1350, CEUR-WS.org 2015 [contents] - 2014
- [c39]William Gatens, Boris Konev, Frank Wolter:
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Description Logics 2014: 181-184 - [c38]William Gatens, Boris Konev, Frank Wolter:
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. ECAI 2014: 345-350 - [c37]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. KR 2014 - [c36]Michel Ludwig, Boris Konev:
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. KR 2014 - [c35]Boris Konev, Alexei Lisitsa:
A SAT Attack on the Erdős Discrepancy Conjecture. SAT 2014: 219-226 - [c34]Richard Williams, Boris Konev, Frans Coenen:
Multi-agent Environment Exploration with AR.Drones. TAROS 2014: 60-71 - [i5]Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter:
The Logical Difference for the Lightweight Description Logic EL. CoRR abs/1401.5850 (2014) - [i4]Boris Konev, Alexei Lisitsa:
A SAT Attack on the Erdos Discrepancy Conjecture. CoRR abs/1402.2184 (2014) - [i3]Boris Konev, Alexei Lisitsa:
Computer-Aided Proof of Erdos Discrepancy Properties. CoRR abs/1405.3097 (2014) - 2013
- [j9]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203: 66-103 (2013) - [j8]Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi:
Deductive temporal reasoning with constraints. J. Appl. Log. 11(1): 30-51 (2013) - [c33]Richard Williams, Boris Konev:
Propositional Temporal Proving with Reductions to a SAT Problem. CADE 2013: 421-435 - [c32]Boris Konev, Carsten Lutz, Frank Wolter:
Exact Learning of TBoxes in EL and DL-Lite. Description Logics 2013: 341-352 - [c31]Michel Ludwig, Boris Konev:
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. Description Logics 2013: 377-389 - [c30]William Gatens, Boris Konev, Frank Wolter:
Module Extraction for Acyclic Ontologies. WoMO 2013 - 2012
- [j7]Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter:
The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. 44: 633-708 (2012) - [c29]Boris Konev, Michel Ludwig, Frank Wolter:
Logical Difference Computation with CEX2.5. IJCAR 2012: 371-377 - [c28]Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky:
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC 2012: 111-118 - [c27]Amir Niknafs-Kermani, Boris Konev, Michael Fisher:
Symmetric Temporal Theorem Proving. TIME 2012: 21-28 - [e5]Renate A. Schmidt, Stephan Schulz, Boris Konev:
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010. EPiC Series in Computing 9, EasyChair 2012 [contents] - 2011
- [c26]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011: 221-226 - [c25]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011 - 2010
- [j6]Boris Konev, Renate A. Schmidt, Stephan Schulz:
Special issue on practical aspects of automated reasoning. AI Commun. 23(2-3): 67-68 (2010) - [c24]Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter:
Decomposing Description Logic Ontologies. KR 2010
2000 – 2009
- 2009
- [c23]Boris Konev, Dirk Walther, Frank Wolter:
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009 - [c22]Clare Dixon, Michael Fisher, Boris Konev:
Taming the Complexity of Temporal Epistemic Reasoning. FroCoS 2009: 198-213 - [c21]Boris Konev, Dirk Walther, Frank Wolter:
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835 - [p2]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Formal Properties of Modularisation. Modular Ontologies 2009: 25-66 - [p1]Michael Fisher, Boris Konev, Alexei Lisitsa:
Temporal Verification of Fault-Tolerant Protocols. Methods, Models and Tools for Fault Tolerance 2009: 44-56 - 2008
- [c20]Boris Konev, Dirk Walther, Frank Wolter:
The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274 - [c19]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008 - [c18]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59 - [c17]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 - [c16]Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical First-Order Temporal Reasoning. TIME 2008: 156-163 - [e4]Boris Konev, Renate A. Schmidt, Stephan Schulz:
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 373, CEUR-WS.org 2008 [contents] - [e3]Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz:
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. CEUR Workshop Proceedings 418, CEUR-WS.org 2008 [contents] - 2007
- [c15]Clare Dixon, Michael Fisher, Boris Konev:
Temporal Logic with Capacity Constraints. FroCoS 2007: 163-177 - [c14]Clare Dixon, Michael Fisher, Boris Konev:
Tractable Temporal Reasoning. IJCAI 2007: 318-323 - [e2]Boris Konev, Frank Wolter:
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4720, Springer 2007, ISBN 978-3-540-74620-1 [contents] - [i2]Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Efficient First-Order Temporal Logic for Infinite-State Systems. CoRR abs/cs/0702036 (2007) - 2006
- [j5]Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
On Dynamic Topological and Metric Logics. Stud Logica 84(1): 129-160 (2006) - [j4]Anatoli Degtyarev, Michael Fisher, Boris Konev:
Monodic temporal resolution. ACM Trans. Comput. Log. 7(1): 108-150 (2006) - [c13]Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318 - [c12]Boris Konev, Alexander V. Lyaletski:
Tableau Method with Free Variables for Intuitionistic Logic. Intelligent Information Systems 2006: 153-162 - [c11]Alexander V. Lyaletski, Boris Konev:
On Herbrand's Theorem for Intuitionistic Logic. JELIA 2006: 293-305 - [c10]Clare Dixon, Michael Fisher, Boris Konev:
Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18 - [e1]Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa:
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Lecture Notes in Computer Science 4160, Springer 2006, ISBN 3-540-39625-X [contents] - 2005
- [j3]Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt:
Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005) - [j2]M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev:
First-Order Temporal Verification in Practice. J. Autom. Reason. 34(3): 295-321 (2005) - [c9]Boris Konev, Frank Wolter, Michael Zakharyaschev:
Temporal Logics over Transitive States. CADE 2005: 182-203 - [c8]Ullrich Hustadt, Boris Konev, Renate A. Schmidt:
Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218 - [c7]Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical Infinite-State Verification with Temporal Reasoning. VISSAS 2005: 91-100 - 2004
- [c6]Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov:
TeMP: A Temporal Monodic Prover. IJCAR 2004: 326-330 - 2003
- [c5]Ullrich Hustadt, Boris Konev:
TRP++2.0: A Temporal Resolution Prover. CADE 2003: 274-278 - [c4]Anatoli Degtyarev, Michael Fisher, Boris Konev:
Monodic Temporal Resolution. CADE 2003: 397-411 - [c3]Boris Konev, Anatoli Degtyarev, Michael Fisher:
Handling Equality in Monodic Temporal Resolution. LPAR 2003: 214-228 - [c2]Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt:
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME 2003: 72-82 - [i1]Anatoli Degtyarev, Michael Fisher, Boris Konev:
Monodic temporal resolution. CoRR cs.LO/0306041 (2003) - 2002
- [c1]Anatoli Degtyarev, Michael Fisher, Boris Konev:
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX 2002: 85-99 - 2001
- [j1]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): 81-94 (2001)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-09 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
