Follow
Vasyl Lenko
Title
Cited by
Cited by
Year
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
62018
Knowledge representation models
V Lenko, V Pasichnyk, Y Shcherbyna
Вісник Національного університету Львівська політехніка. Комп’ютерні науки …, 2017
32017
Decentralized Blockchain-based platform for collaboration in virtual scientific communities
V Lenko, N Kunanets, V Pasichnyk, Y Shcherbyna
ECONTECHMOD 8 (1), 21-26, 2019
22019
Експертне оцінювання" розумності міста" із застосуванням нечіткої логіки
ДР Табачишин, ВС Ленько, НЕ Кунанець, ВВ Пасічник, ЮМ Щербина
Штучний інтелект, 2017
22017
Knowledge Representation and Automated Formal Reasoning in Description Logic ALC
V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna
12021
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