Дипломна работа |
|
Владислав Владимиров Ненчев, Логики за стабилни и нестабилни мереологични релации, СУ "Св. Кл. Охридски", ФМИ, Ръководител:Димитър Вакарелов
|
2009
|
Дисертация д-р |
|
Владислав Владимиров Ненчев, Теории за време и пространство, основани на региони
Динамична релационна мереотопология, СУ "Св. Кл. Охридски", ФМИ, Ръководител:Димитър Вакарелов
|
2014
|
Научен проект |
1
|
Владислав Ненчев, Integration of new practices and knowledge in computational linguistics education, Член,
|
2012
|
2
|
Владислав Ненчев, CULTivating Understanding and Research through Adaptivity, Член, 7th Framework Programme of the European Commission
|
2011
|
3
|
Владислав Ненчев, Mathematical Logic and Computational Linguistics: Development and Interpenetration, Член,
|
2009
|
4
|
Владислав Ненчев, Theories of space and time: algebraic, topological and logical approaches, Член, ФНИ
|
2009
|
Статия в научно списание |
1
|
Faisal Mokammel, Eric Coatanéa, Joonas Coatanéa, Vladislav Nenchev, Eric Blanco, Matti Pietola, Automatic requirements extraction, analysis, and graph representation using an approach derived from computational linguistics, Systems Engineering, 2018, Ref, SCOPUS, SJR ( - 2018)
|
2018
|
2
|
Vladislav Nenchev, Dynamic relational mereotopology: Logics for stable and unstable relations., Logic and Logical Philosophy, vol:22, 2013, pages:295-325, Ref, SCOPUS, SJR ( - 2013)
|
2013
|
3
|
Vladislav Nenchev, Logics for stable and unstable mereological relations, Central European Journal of Mathematics, vol:9, issue:6, 2011, pages:1354-1379, Ref, Web of Science, SCOPUS, SJR ( - 2011)
|
2011
|
Статия в сборник (на конференция и др.) |
1
|
Nagarajan, H.P.N., Mokhtarian, H., Jafarian, H., Coatanéa, E., Vladislav Nenchev, Knowledge-based optimization of artificial neural network topology for process modeling of fused deposition modeling, Proceedings of the ASME Design Engineering Technical Conference , 2018, Ref, SCOPUS, SJR ( - 2018)
|
2018
|
2
|
Vladislav Nenchev, An Improved Algorithm for Representation in Relational Mereotopology, Panhellenic Logic Symposium, Proceedings, 2017
|
2017
|
3
|
Vladislav Nenchev, Definability between temporal relations in dynamic mereology, Logic Colloquium, Proceedings, 2017
|
2017
|
4
|
Vladislav Nenchev, Effective representation in point-free theories, Proceedings of Logic Colloquium 2015, 2015
|
2015
|
5
|
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev, Flexible noisy text correction, 11th IAPR International Workshop On Document Analisys Systems, 2014, pages:31-35, ISBN:978-1-4799-3243-6, doi:10.1109/DAS.2014.12, Ref, SCOPUS, SJR (0.367 - 2015)
|
2014
|
6
|
Vladislav Nenchev, Decidability of modal logics for dynamic contact relations, Proceedings of 9-th Panhellenic Logic Symposium, 2013, pages:68-73
|
2013
|
7
|
Vladislav Nenchev, Decidability of modal logics for dynamic contact relations, Proceedings of Logic Colloquium 2013, 2013, pages:76-76
|
2013
|
8
|
Stefan Gerdjikov, Stoyan Mihov, Vladislav Nenchev, Extraction of spelling variations from
language structure for noisy text correction, Proceedings of ICDAR 2013 , 2013, pages:324-328, ISBN:978-0-7695-4999-6, doi:10.1109/ICDAR.2013.72, Ref, SCOPUS, SJR ( - 2013)
|
2013
|
9
|
Stefan Gerdjikov, Petar Mitankin, Vladislav Nenchev, Realization of common statistical methods in computational linguistics with functional automata, Proceedings of Recent Advances in Natural Language Processing (RANLP) 2013, editor/s:Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Publisher:INCOMA Ltd. Shoumen, BULGARIA, 2013, pages:294-301, ISSN (print):1313-8502, Ref, SCOPUS, SJR ( - 2013)
|
2013
|
10
|
Vladislav Nenchev, Dynamic relational mereotopology: A modal logic for stable and unstable relations., Proceedings of Advances in Modal Logic 2012, 2012, pages:47-51
|
2012
|
11
|
Vladislav Nenchev, Dynamic relational mereotopology: First-order and modal logics for stable and unstable relations., Proceedings of Logic Colloquium 2012, 2012, pages:29-29
|
2012
|
12
|
Vladislav Nenchev, Undecidability of Logics for Mereological and Mereotopological Relations, Proceedings of 8-th Panhellenic Logic Symposium, 2011, pages:82-86
|
2011
|
13
|
Vladislav Nenchev, Undecidability of Logics for Mereological and Mereotopological Relations, Proceedings of Logic Colloquium 2011, 2011, pages:86-87
|
2011
|
14
|
Vladislav Nenchev, Logics for Stable and Unstable Mereological Relations, Proceedings of Logic Colloquium 2010, 2010, pages:310-311
|
2010
|
15
|
Vladislav Nenchev, Dimiter Vakarelov, An Axiomatization of Dynamic Ontology of Stable and Unstable Mereological Relations, Proceedings of 7-th Panhellenic Logic Symposium, 2009, pages:137-141
|
2009
|
16
|
Vladislav Nenchev, Logics for Stable and Unstable Mereological Relations, Proceedings of MASSEE International Congress on Mathematics, 2009, pages:75-75
|
2009
|
Участие в конференция |
1
|
Секционен доклад, Владислав Ненчев, Effective representation in point-free theories
|
2016
|
2
|
Секционен доклад, Владислав Ненчев, Effective representation in point-free theories
|
2015
|
3
|
Секционен доклад, Владислав Ненчев, Alternative theories of time and space: Dynamic relational mereotopology.
|
2014
|
4
|
Секционен доклад, Владислав Ненчев, Decidability of modal logics for dynamic contact relations
|
2013
|
5
|
Секционен доклад, Владислав Ненчев, Decidability of modal logics for dynamic contact relations
|
2013
|
6
|
Секционен доклад, Владислав Ненчев, Dynamic relational mereotopology: A modal logic for stable and unstable relations.
|
2012
|
7
|
Секционен доклад, Владислав Ненчев, Dynamic relational mereotopology: First-order and modal logics for stable and unstable relations.
|
2012
|
8
|
Секционен доклад, Владислав Ненчев, Logics for Stable and Unstable Mereological Relations
|
2011
|
9
|
Секционен доклад, Владислав Ненчев, Undecidability of Logics for Mereological and Mereotopological Relations
|
2011
|
10
|
Секционен доклад, Владислав Ненчев, Undecidability of Logics for Mereological and Mereotopological Relations
|
2011
|
11
|
Секционен доклад, Владислав Ненчев, Logics for Stable and Unstable Mereological Relations
|
2010
|
12
|
Секционен доклад, Владислав Ненчев, An Axiomatization of Dynamic Ontology of Stable and Unstable Mereological Relations
|
2009
|
13
|
Секционен доклад, Владислав Ненчев, Logics for Stable and Unstable Mereological Relations
|
2009
|
|