Follow
Vasyl Lenko
Vasyl Lenko
PhD in System Analysis, Docent
Verified email at lpnu.ua
Title
Cited by
Cited by
Year
Knowledge representation and formal reasoning in ontologies with coq
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
Advances in Computer Science for Engineering and Education 13, 759-770, 2019
72019
Knowledge representation models
V Lenko, V Pasichnyk, Y Shcherbyna
Вісник Національного університету Львівська політехніка. Комп’ютерні науки …, 2017
72017
Decentralized Blockchain-based platform for collaboration in virtual scientific communities
V Lenko, N Kunanets, V Pasichnyk, Y Shcherbyna
ECONTECHMOD 8 (1), 21-26, 2019
52019
Експертне оцінювання" розумності міста" із застосуванням нечіткої логіки
ДР Табачишин, ВС Ленько, НЕ Кунанець, ВВ Пасічник, ЮМ Щербина
Штучний інтелект, 2017
52017
Knowledge Representation and Automated Formal Reasoning in Description Logic ALC
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
42021
The procedures of processing of geolocation data on urban underground spaces
O Matsiuk, N Kunanets, V Pasichnyk, V Lenko, Y Shcherbyna, ...
2019 9th International Conference on Advanced Computer Information …, 2019
12019
Type-theoretical foundations of the derivation system in Coq
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
2018 IEEE First International Conference on System Analysis & Intelligent …, 2018
12018
Персональні бази даних та знань віртуальних дослідницьких спільнот
НЕ Кунанець, ВС Ленько, ВВ Пасічник, ЮМ Щербина
Науковий вісник НЛТУ України 27 (6), 185-191, 2017
12017
Відновлення графічних образів за допомогою карт Кохонена
В Ленько, А Караба
Вісник Львівського університету. Серія: Прикладна математика та інформатика …, 2014
12014
Застосування методів штучного інтелекту до сегментації графічного образу
ВС Ленько, ЮМ Щербина
Чотирнадцята всеукраїнська (дев'ята міжнародна) студентська наукова …, 2011
12011
FORMAL APPROACH to PERSONAL KNOWLEDGE MANAGEMENT
V Lenko, Y Shcherbyna
Вісник Львівського університету. Серія прикладна математика та інформатика, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–11