- A
- A
- A
- ABC
- ABC
- ABC
- А
- А
- А
- А
- А
Pokrovsky boulevard, 11, room S938, Moscow, Russia, 109028
Phone: +7 (495) 772-95-90*27319
The School of Data Analysis and Artificial Intelligence was created in 2014 as part of the Department of Data Analysis and Artificial Intelligence. The school consists of world-renowned researchers who actively participate in international research projects.
Acquaye F. L., Kertesz-Farkas A., Stafford Noble W.
Journal of Proteome Research. 2023. Vol. 22. No. 2. P. 577-584.
Vasilii A. Gromov, Yury N. Beschastnov, Korney K. Tomashchuk.
PeerJ Computer Science. 2023. Vol. 9. No. .
Makhalova T., Kuznetsov S., Napoli A.
Data Mining and Knowledge Discovery. 2022. P. 108-145.
Dudyrev E., Semenkov Ilia, Kuznetsov S. et al.
Plos One. 2022. Vol. 17. No. 10.
Zhirayr Hayrapetyan, Nascimento S., Trevor F. et al.
In bk.: Information Systems and Technologies: WorldCIST 2022, Volume 2. Iss. 469. Springer, 2022. P. 141-147.
Dudyrev F., Neznanov A., Anisimova K.
In bk.: Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners’ and Doctoral Consortium -23rd International Conference, AIED 2022, Durham, UK, July 27–31, 2022, Proceedings, Part II. Springer, 2022. P. 436-439.
Egurnov D., Точилкин Д. С., Ignatov D. I.
In bk.: Complex Data Analytics with Formal Concept Analysis. Springer, 2022. P. 239-258.
Egurnov D., Ignatov D. I.
Automation and Remote Control. 2022. Vol. 83. No. 6. P. 894-902.
Kudriavtseva P., Kashkinov M., Kertész-Farkas A.
Journal of Proteome Research. 2021. Vol. 20. No. 10. P. 4708-4717.
Kanovich M., Kuznetsov S., Scedrov A.
Information and Computation. 2022. Vol. 287.
International Workshop Logic Matters (LM-2021)
Dear Colleagues!
We are glad to invite you to International Workshop Logic Matters (LM-2021).
Date: December 28th 2021
Time: 11:45 (Moscow)
Place: Moscow, Pokrovsky boulevard, 11, room R 506 (also online in zoom)
Workshop Programme
National Research University Higher School of Economics (HSE), Moscow, December 28
(11:45 - 11:50) Sergei O. Kuznetsov, opening.
(11:50 - 12:50) Keynote talk: Dusko Pavlovic (University of Hawaii, Radboud University), "A Concept Category Construction"
"A Concept Category Construction"
(12:50 - 13:30) Stanislav Kikot' (Institute for Information Transmission Problems, IITP RAS and HSE), Responsibility-sensitive safety for autonomous vehicles
(13:30 - 14:10) Break. For offliners: pizza is served by the dean office in S813 and S912
(14:10-14:50) Stepan Kuznetsov (Stekolv Math. Institute, HSE), Complexity of Logics with Kleene Star
(14:50 - 15:30) Mikhail Zakharyashchev (Birbeck college, HSE), First-order rewritability of ontology mediated queries in linear temporal logic
(15:30-16:10) Olga Gerasimova (HSE), A Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom
(16:10 - 16:50) Andre Scedrov (University of Pennsylvania), Max Kanovich (University College London and HSE University), Periodic Systems: Safety, Security, and Complexity
17:00 For offliners: New Year celebration at S812. Food and drinks.