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 | 7 | 2019 |
Knowledge representation models V Lenko, V Pasichnyk, Y Shcherbyna Вісник Національного університету Львівська політехніка. Комп’ютерні науки …, 2017 | 7 | 2017 |
Decentralized Blockchain-based platform for collaboration in virtual scientific communities V Lenko, N Kunanets, V Pasichnyk, Y Shcherbyna ECONTECHMOD 8 (1), 21-26, 2019 | 5 | 2019 |
Експертне оцінювання" розумності міста" із застосуванням нечіткої логіки ДР Табачишин, ВС Ленько, НЕ Кунанець, ВВ Пасічник, ЮМ Щербина Штучний інтелект, 2017 | 5 | 2017 |
Knowledge Representation and Automated Formal Reasoning in Description Logic ALC V Lenko, V Pasichnyk, N Kunanets, Y Shcherbyna | 4 | 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 | 1 | 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 | 1 | 2018 |
Персональні бази даних та знань віртуальних дослідницьких спільнот НЕ Кунанець, ВС Ленько, ВВ Пасічник, ЮМ Щербина Науковий вісник НЛТУ України 27 (6), 185-191, 2017 | 1 | 2017 |
Відновлення графічних образів за допомогою карт Кохонена В Ленько, А Караба Вісник Львівського університету. Серія: Прикладна математика та інформатика …, 2014 | 1 | 2014 |
Застосування методів штучного інтелекту до сегментації графічного образу ВС Ленько, ЮМ Щербина Чотирнадцята всеукраїнська (дев'ята міжнародна) студентська наукова …, 2011 | 1 | 2011 |
FORMAL APPROACH to PERSONAL KNOWLEDGE MANAGEMENT V Lenko, Y Shcherbyna Вісник Львівського університету. Серія прикладна математика та інформатика, 2021 | | 2021 |