Boris Konev - RankMe

100 papers A* 13A 12B 5C 8Misc 1Journal 23Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Large Language Models as Knowledge Evaluation Agents. ESWC-JP George Hannah, Jacopo de Berardinis, Terry R. Payne, Valentina Tamma, Andrew Mitchell, Ellen Piercy, Ewan Johnson, Andrew Ng, Harry Rostron, Boris Konev
2025	J	`jnl`	RELRaE: LLM-Based Relationship Extraction, Labelling, Refinement, and Evaluation. CoRR George Hannah, Jacopo de Berardinis, Terry R. Payne, Valentina Tamma, Andrew Mitchell, Ellen Piercy, Ewan Johnson, Andrew Ng, Harry Rostron, Boris Konev
2025	—	`ed.`	Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic - 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures RW Marco Console, Boris Konev
2023	A*	`conf`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023	—	`conf`	Towards a methodology for the semi-automatic generation of scientific knowledge graphs from XML documents. OM@ISWC George Hannah, Terry R. Payne, Valentina Tamma, Andrew Mitchell, Ellen Piercy, Boris Konev
2022	J	`jnl`	Data Querying with Ciphertext Policy Attribute Based Encryption. CoRR Maryam Almarwani, Boris Konev, Alexei Lisitsa
2022	C	`conf`	Efficient and Secure Encryption Adjustment for JSON Data. ICISSP Maryam Almarwani, Boris Konev, Alexei Lisitsa
2022	A*	`conf`	Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR Marie Fortin, Boris Konev, Frank Wolter
2022	J	`jnl`	Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR Marie Fortin, Boris Konev, Frank Wolter
2022	—	`ed.`	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. PAAR Boris Konev, Claudia Schon, Alexander Steen
2022	—	`conf`	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	A*	`conf`	Unique Characterisability and Learnability of Temporal Instance Queries. KR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	J	`jnl`	Unique Characterisability and Learnability of Temporal Instance Queries. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	—	`conf`	Zero Update Encryption Adjustment on Encrypted Database Queries. ICISSP (Revised Selected Papers) Maryam Almarwani, Boris Konev, Alexei Lisitsa
2021	—	`ed.`	Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings FroCoS Boris Konev, Giles Reger
2021	—	`conf`	Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics Marie Fortin, Boris Konev, Frank Wolter
2021	C	`conf`	Release-aware In-out Encryption Adjustment in MongoDB Query Processing. ICISSP Maryam Almarwani, Boris Konev, Alexei Lisitsa
2020	—	`conf`	Release-Aware Encryption Adjustment Query processing for Document Database. ICCBDC Maryam Almarwani, Boris Konev, Alexei Lisitsa
2019	—	`conf`	Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. ICISSP (Revised Selected Papers) Maryam Almarwani, Boris Konev, Alexei Lisitsa
2019	C	`conf`	Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. ICISSP Maryam Almarwani, Boris Konev, Alexei Lisitsa
2019	C	`conf`	Ontology Learning from Twitter Data. KEOD Saad Alajlan, Frans Coenen, Boris Konev, Angrosh Mandya
2018	—	`conf`	Exact Learning of EL Ontologies. Description Logics Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
2018	A*	`conf`	ExactLearner: A Tool for Exact Learning of EL Ontologies. KR Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
2018	J	`jnl`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2018	—	`ed.`	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. PAAR@FLoC Boris Konev, Josef Urban, Philipp Rümmer
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. CoRR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2016	A*	`conf`	A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI Boris Konev, Ana Ozaki, Frank Wolter
2016	A*	`conf`	Anti-Unification of Concepts in Description Logic EL. KR Boris Konev, Temur Kutsia
2016	A*	`conf`	Conservative Rewritability of Description Logic TBoxes. IJCAI Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2016	—	`ed.`	IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 IWIL@LPAR Boris Konev, Stephan Schulz, Laurent Simon
2016	—	`conf`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	—	`ed.`	4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014 PAAR@IJCAR Stephan Schulz, Leonardo de Moura, Boris Konev
2015	—	`conf`	Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. TAROS Richard Williams, Boris Konev, Frans Coenen
2015	J	`jnl`	Computer-aided proof of Erdős discrepancy properties. Artif. Intell. Boris Konev, Alexei Lisitsa
2015	—	`conf`	Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics Boris Konev, Ana Ozaki, Frank Wolter
2015	—	`ed.`	Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Description Logics Diego Calvanese, Boris Konev
2015	A	`conf`	Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles. IROS Richard Williams, Boris Konev, Frans Coenen
2014	J	`jnl`	A SAT Attack on the Erdos Discrepancy Conjecture. CoRR Boris Konev, Alexei Lisitsa
2014	A	`conf`	A SAT Attack on the Erdős Discrepancy Conjecture. SAT Boris Konev, Alexei Lisitsa
2014	J	`jnl`	Computer-Aided Proof of Erdos Discrepancy Properties. CoRR Boris Konev, Alexei Lisitsa
2014	A*	`conf`	Exact Learning of Lightweight Description Logic Ontologies. KR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2014	—	`conf`	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Description Logics William Gatens, Boris Konev, Frank Wolter
2014	A	`conf`	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. ECAI William Gatens, Boris Konev, Frank Wolter
2014	—	`conf`	Multi-agent Environment Exploration with AR.Drones. TAROS Richard Williams, Boris Konev, Frans Coenen
2014	A*	`conf`	Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. KR Michel Ludwig, Boris Konev
2014	J	`jnl`	The Logical Difference for the Lightweight Description Logic EL. CoRR Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
2013	J	`jnl`	Deductive temporal reasoning with constraints. J. Appl. Log. Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi
2013	—	`conf`	Exact Learning of TBoxes in EL and DL-Lite. Description Logics Boris Konev, Carsten Lutz, Frank Wolter
2013	J	`jnl`	Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2013	—	`conf`	Module Extraction for Acyclic Ontologies. WoMO William Gatens, Boris Konev, Frank Wolter
2013	A	`conf`	Propositional Temporal Proving with Reductions to a SAT Problem. CADE Richard Williams, Boris Konev
2013	—	`conf`	Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. Description Logics Michel Ludwig, Boris Konev
2012	Misc	`conf`	Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky
2012	A	`conf`	Logical Difference Computation with CEX2.5. IJCAR Boris Konev, Michel Ludwig, Frank Wolter
2012	—	`ed.`	Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010 PAAR@IJCAR Renate A. Schmidt, Stephan Schulz, Boris Konev
2012	C	`conf`	Symmetric Temporal Theorem Proving. TIME Amir Niknafs-Kermani, Boris Konev, Michael Fisher
2012	J	`jnl`	The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
2011	A*	`conf`	Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2011	—	`conf`	Module Extraction via Query Inseparability in OWL 2 QL. Description Logics Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2010	A*	`conf`	Decomposing Description Logic Ontologies. KR Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter
2010	J	`jnl`	Special issue on practical aspects of automated reasoning. AI Commun. Boris Konev, Renate A. Schmidt, Stephan Schulz
2009	—	`conf`	Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics Boris Konev, Dirk Walther, Frank Wolter
2009	A*	`conf`	Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI Boris Konev, Dirk Walther, Frank Wolter
2009	—	`ch.`	Formal Properties of Modularisation. Modular Ontologies Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2009	—	`conf`	Taming the Complexity of Temporal Epistemic Reasoning. FroCoS Clare Dixon, Michael Fisher, Boris Konev
2009	—	`ch.`	Temporal Verification of Fault-Tolerant Protocols. Methods, Models and Tools for Fault Tolerance Michael Fisher, Boris Konev, Alexei Lisitsa
2008	—	`conf`	CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	—	`conf`	Logical Difference and Module Extraction with CEX and MEX. Description Logics Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	C	`conf`	Practical First-Order Temporal Reasoning. TIME Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2008	—	`ed.`	Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 PAAR/ESHOL Boris Konev, Renate A. Schmidt, Stephan Schulz
2008	—	`ed.`	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 LPAR Workshops Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz
2008	A	`conf`	Semantic Modularity and Module Extraction in Description Logics. ECAI Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	A	`conf`	The Logical Difference Problem for Description Logic Terminologies. IJCAR Boris Konev, Dirk Walther, Frank Wolter
2007	J	`jnl`	Efficient First-Order Temporal Logic for Infinite-State Systems CoRR Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2007	—	`ed.`	Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings FroCoS Boris Konev, Frank Wolter
2007	—	`conf`	Temporal Logic with Capacity Constraints. FroCoS Clare Dixon, Michael Fisher, Boris Konev
2007	A*	`conf`	Tractable Temporal Reasoning. IJCAI Clare Dixon, Michael Fisher, Boris Konev
2006	B	`conf`	Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2006	C	`conf`	Is There a Future for Deductive Temporal Verification? TIME Clare Dixon, Michael Fisher, Boris Konev
2006	B	`ed.`	Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings JELIA Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa
2006	J	`jnl`	Monodic temporal resolution. ACM Trans. Comput. Log. Anatoli Degtyarev, Michael Fisher, Boris Konev
2006	J	`jnl`	On Dynamic Topological and Metric Logics. Stud Logica Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	On Herbrand's Theorem for Intuitionistic Logic. JELIA Alexander V. Lyaletski, Boris Konev
2006	—	`conf`	Tableau Method with Free Variables for Intuitionistic Logic. Intelligent Information Systems Boris Konev, Alexander V. Lyaletski
2005	A	`conf`	Deciding Monodic Fragments by Temporal Resolution. CADE Ullrich Hustadt, Boris Konev, Renate A. Schmidt
2005	J	`jnl`	First-Order Temporal Verification in Practice. J. Autom. Reason. M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
2005	J	`jnl`	Mechanising first-order temporal resolution. Inf. Comput. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2005	—	`conf`	Practical Infinite-State Verification with Temporal Reasoning. VISSAS Michael Fisher, Boris Konev, Alexei Lisitsa
2005	A	`conf`	Temporal Logics over Transitive States. CADE Boris Konev, Frank Wolter, Michael Zakharyaschev
2004	A	`conf`	TeMP: A Temporal Monodic Prover. IJCAR Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
2003	B	`conf`	Handling Equality in Monodic Temporal Resolution. LPAR Boris Konev, Anatoli Degtyarev, Michael Fisher
2003	A	`conf`	Monodic Temporal Resolution. CADE Anatoli Degtyarev, Michael Fisher, Boris Konev
2003	J	`jnl`	Monodic temporal resolution CoRR Anatoli Degtyarev, Michael Fisher, Boris Konev
2003	A	`conf`	TRP++2.0: A Temporal Resolution Prover. CADE Ullrich Hustadt, Boris Konev
2003	C	`conf`	Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2002	B	`conf`	A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX Anatoli Degtyarev, Michael Fisher, Boris Konev
2001	J	`jnl`	MAX SAT approximation beyond the limits of polynomial-time approximation. Ann. Pure Appl. Log. Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev