Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
5 links
Boris Konev
Researcher
PaperThe Logical Difference for the Lightweight Description Logic ELAuthorship / preprint / 2014PaperA SAT Attack on the Erdos Discrepancy ConjectureAuthorship / preprint / 2014PaperComputer-Aided Proof of Erdos Discrepancy PropertiesAuthorship / preprint / 2014PaperInterpolants and Explicit Definitions in Extensions of the Description Logic ELAuthorship / preprint / 2022PaperUnique Characterisability and Learnability of Temporal Instance QueriesAuthorship / preprint / 2022