Dmitry Vlasov

According to our database, Dmitry Vlasov authored at least 4 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Approach to combining different methods for detecting insiders.

Mikhail V. Buinevich, Konstantin E. Izrailov, Igor V. Kotenko, Igor Ushakov, Dmitry Vlasov

Proceedings of the ICFNDS '20: The 4th International Conference on Future Networks and Distributed Systems, 2020

2017

System Description: Russell - A Logical Framework for Deductive Systems.

Dmitry Vlasov

CoRR, 2017

2013

Concept Definability and Interpolation in Enriched Models of EL-TBoxes.

Denis K. Ponomaryov, Dmitry Vlasov

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

On Definability and Redundancy in $\cal{EL}$ -TBoxes.

Denis K. Ponomaryov, Dmitry Vlasov

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012