Dmitry Vlasov

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 2

Top Topics

Reasoning Problems

Logical Framework

Benchmark Datasets

Top Venues

Description Logics

Publications

Mikhail V. Buinevich, Konstantin E. Izrailov, Igor V. Kotenko, Igor Ushakov, Dmitry Vlasov
Approach to combining different methods for detecting insiders. ICFNDS (2020)
Dmitry Vlasov
System Description: Russell - A Logical Framework for Deductive Systems. CoRR (2017)
Denis K. Ponomaryov, Dmitry Vlasov
Concept Definability and Interpolation in Enriched Models of EL-TBoxes. Description Logics (2013)
Denis K. Ponomaryov, Dmitry Vlasov
On Definability and Redundancy in $\cal{EL}$ -TBoxes. RR (2012)