This map shows the geographic impact of Boris Konev's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Boris Konev with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Boris Konev more than expected).
This network shows the impact of papers produced by Boris Konev. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Boris Konev. The network helps show where Boris Konev may publish in the future.
Co-authorship network of co-authors of Boris Konev
This figure shows the co-authorship network connecting the top 25 collaborators of Boris Konev.
A scholar is included among the top collaborators of Boris Konev based on the total number of
citations received by their joint publications. Widths of edges
represent the number of papers authors have co-authored together.
Node borders
signify the number of papers an author published with Boris Konev. Boris Konev is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Konev, Boris, et al.. (2018). ExactLearner: A Tool for Exact Learning of EL Ontologies.. View. 409–413.1 indexed citations
3.
Konev, Boris, Carsten Lutz, Frank Wolter, & Michael Zakharyaschev. (2016). Conservative rewritability of description logic TBoxes. International Joint Conference on Artificial Intelligence. 1153–1159.3 indexed citations
4.
Konev, Boris & Temur Kutsia. (2016). Anti-unification of concepts in description logic EL. Principles of Knowledge Representation and Reasoning. 227–236.3 indexed citations
5.
Konev, Boris, Carsten Lutz, Frank Wolter, & Michael Zakharyaschev. (2015). Conservative rewritability of description logic TBoxes: first results. BIROn (Birkbeck, University of London).
6.
Koopmann, Patrick, Renate A. Schmidt, Diego Calvanese, & Boris Konev. (2015). Saturation-Based Forgetting in the Description Logic SIF. Research Explorer (The University of Manchester).5 indexed citations
7.
Konev, Boris, et al.. (2014). Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference. Principles of Knowledge Representation and Reasoning. 318–327.21 indexed citations
8.
Konev, Boris, et al.. (2013). Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes.. Description Logics. 377–389.5 indexed citations
9.
Konev, Boris, Carsten Lutz, & Frank Wolter. (2013). Exact Learning of TBoxes in EL and DL-Lite.. Description Logics. 341–352.3 indexed citations
Konev, Boris, Dirk Walther, & Frank Wolter. (2009). Forgetting and uniform interpolation in large-scale description logic terminologies. International Joint Conference on Artificial Intelligence. 830–835.60 indexed citations
12.
Konev, Boris, Dirk Walther, & Frank Wolter. (2009). Forgetting and Uniform Interpolation in Extensions of the Description Logic EL.. Description Logics.7 indexed citations
13.
Konev, Boris, Carsten Lutz, Dirk Walther, & Frank Wolter. (2008). Logical Difference and Module Extraction with CEX and MEX.. Description Logics.7 indexed citations
Dixon, Clare, Michael Fisher, & Boris Konev. (2007). Tractable temporal reasoning. Research Explorer (The University of Manchester). 318–323.11 indexed citations
16.
Fisher, Michael, Wiebe van der Hoek, Boris Konev, & Alexei Lisitsa. (2006). Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings (Lecture Notes in Computer Science). Springer eBooks.3 indexed citations
17.
Konev, Boris, Roman Kontchakov, Frank Wolter, & Michael Zakharyaschev. (2006). Dynamic topological logics over spaces with continuous functions. BIROn (Birkbeck, University of London). 299–318.6 indexed citations
18.
Hustadt, Ullrich & Boris Konev. (2002). TRP ++ : A temporal resolution prover.1 indexed citations
19.
Konev, Boris & Tudor Jebelean. (2001). Using meta-variables for natural deduction in theorema. 159–174.6 indexed citations
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.