Підписатись
Vasyl Lenko
Vasyl Lenko
PhD in System Analysis, Lviv Polytechnic National University
Підтверджена електронна адреса в lpnu.ua
Назва
Посилання
Посилання
Рік
Knowledge representation and formal reasoning in ontologies with coq
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
International Conference on Computer Science, Engineering and Education …, 2018
52018
Knowledge representation models
V Lenko, V Pasichnyk, Y Shcherbyna
Вісник Національного університету Львівська політехніка. Комп’ютерні науки …, 2017
22017
Knowledge Representation and Automated Formal Reasoning in Description Logic ALC
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
12021
Decentralized Blockchain-based platform for collaboration in virtual scientific communities
V Lenko, N Kunanets, V Pasichnyk, Y Shcherbyna
ECONTECHMOD 8 (1), 21-26, 2019
12019
Експертне оцінювання" розумності міста" із застосуванням нечіткої логіки
ДР Табачишин, ВС Ленько, НЕ Кунанець, ВВ Пасічник, ЮМ Щербина
Штучний інтелект, 2017
12017
FORMAL APPROACH to PERSONAL KNOWLEDGE MANAGEMENT
V Lenko, Y Shcherbyna
Вісник Львівського університету. Серія прикладна математика та інформатика, 2021
2021
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
2019
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
2018
Персональні бази даних та знань віртуальних дослідницьких спільнот
НЕ Кунанець, ВС Ленько, ВВ Пасічник, ЮМ Щербина
Науковий вісник НЛТУ України 27 (6), 185-191, 2017
2017
Відновлення графічних образів за допомогою карт Кохонена
В Ленько, А Караба
Вісник Львівського університету. Серія: Прикладна математика та інформатика …, 2014
2014
Застосування методів штучного інтелекту до сегментації графічного образу
ВС Ленько, ЮМ Щербина
Чотирнадцята всеукраїнська (дев'ята міжнародна) студентська наукова …, 2011
2011
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–11