Photo of Professor Boris Konev

Professor Boris Konev

Professor of Computer Science Computer Science

    Publications

    Selected Publications

    1. The Logical Difference for the Lightweight Description Logic EL (Journal article - 2014)
    2. Semantic Modularity and Module Extraction in Description Logics (Journal article - 2013)
    3. Computer-aided proof of Erdos discrepancy properties (Journal article - 2015)