| Научен проект |
|
1
|
Димитър Вакарелов, Теории за пространството и времето: алгебрически, топологически и логически подходи. , Член, МОН, Номер на договора:ДИД02/32 от 17.12.2009
|
2009
|
|
2
|
Димитър Вакарелов, Тинко Тинчев, Модална и предикатни определимости за многоразмерни модалности и кардинални характеристики , , Член, СУ, Номер на договора:27/2006
|
2006
|
|
3
|
Димитър Вакарелов, Тинко Тинчев, Модална и предикатна определимости, Член, СУ, Номер на договора:64/2005
|
2005
|
|
4
|
Димитър Вакарелов, И/604 / 1997, Ръководител, МОН, Номер на договора:Договор И/604
|
1997
|
|
5
|
Димитър Вакарелов, 933/1991, Ръководител, МОН, Номер на договора: 933/1991
|
1991
|
| Научно ръководство |
|
1
|
Димитър Вакарелов, Plamen Dimitrov
Dynamic contact algebras and quantifier-free logics for space and time, ФМИ, СУ дипломна работа:Пламен Димитров
|
2018
|
|
2
|
Димитър Вакарелов,
Temporal mereology. Whitehead’s epochal theory of time as an extension of mereology, ФМИ, СУ дипломна работа:Александър Лазаров
|
2017
|
|
3
|
Димитър Вакарелов,
“Modal Syllogistics”, ФМИ, СУ дипломна работа:Цветан Василев
|
2016
|
|
4
|
Димитър Вакарелов, Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics, ФМИ, СУ дисертация д-р:Татяна Иванова
|
2016
|
|
5
|
Димитър Вакарелов, Теории за време и пространство, основани на региони. Динамична релационна мереотопология,, ФМИ, СУ дисертация д-р:Владислав Ненчев
|
2014
|
|
6
|
Димитър Вакарелов,
Реализация на алгоритъма на Крахт, ФМИ, СУ дипломна работа:Димитър Димитров
|
2012
|
|
7
|
Димитър Вакарелов,
Логики за стабилни и нестабилни мереологични релации, ФМИ, СУ дипломна работа:Владислав Ненчев
|
2009
|
|
8
|
Димитър Вакарелов,
Модални логики за конфликтни ситуации, ФМИ, СУ дипломна работа:Петър Ванев Илиев
|
2007
|
|
9
|
Димитър Вакарелов,
Разрешима модална логика за топологични релации, ФМИ, СУ дипломна работа:Явор Нейчев Ненов
|
2007
|
|
10
|
Димитър Вакарелов,
Многосортни модални логики, ФМИ, СУ дипломна работа:Христина Иванова Маричкова
|
2005
|
|
11
|
Димитър Вакарелов, Вероятностни и темпорални модални логики, , ФМИ, СУ дисертация д-р:Димитър Гелев
|
2000
|
|
12
|
Димитър Вакарелов,
Модални логики за локални и глобални прилики, ФМ дипломна работа:Ана Йорданова Денева
|
1996
|
|
13
|
Димитър Вакарелов,
Теорема на Салквист за полимодален език с константи, ФМИ, СУ дипломна работа:Биляна Иванова Гайтанджиева
|
1995
|
|
14
|
Димитър Вакарелов,
Теорема за пълнота на една информационна модална логика, ФМИ, СУ дипломна работа:Милена Йорданова Бранкова
|
1994
|
|
15
|
Димитър Вакарелов,
Теорема за силна пълнота на вероятностната логика на Сегерберг, ФМИ, СУ дипломна работа:Димитър Панайотов Гелев
|
1994
|
|
16
|
Димитър Вакарелов,
Теореми за пълнота в разширения на логиката на стрелките, ФМИ, СУ дипломна работа:Андрей Евгениев Арсов
|
1993
|
|
17
|
Димитър Вакарелов, Определимост и пълнота в полимодални логики, ФМИ, СУ дисертация д-р:Валентин Горанко
|
1988
|
|
18
|
Димитър Вакарелов,
Логики на прости информационни структури с релации за прилика и информативност, ФМИ, СУ дипломна работа:Мирослав Иванов Генов
|
1987
|
|
19
|
Димитър Вакарелов,
Един модален език на предикатното смятане, ФМИ, СУ дипломна работа:Радост Димова Братанова
|
1986
|
|
20
|
Димитър Вакарелов, Разширения на съждителната динамична логика, дисертация д-р:Тинко Тинчев
|
1986
|
|
21
|
Димитър Вакарелов,
N-мерна пропозиционална динамична логика, ФМИ, СУ дипломна работа:Асен Петков Асенов
|
1985
|
|
22
|
Димитър Вакарелов,
Интерполационна теорема на Крейг в съждителни логики със силно отрицание, ФМИ, СУ дипломна работа:Валентин Феодоров Горанко
|
1984
|
|
23
|
Димитър Вакарелов, Комбинаторна динамична логика, ФМИ, СУ дисертация д-р:Соломон Паси
|
1984
|
|
24
|
Димитър Вакарелов,
Програмни динамични логики на интуиционистка основа, ФМИ, СУ дипломна работа:Емил Апостолов Апостолов
|
1983
|
|
25
|
Димитър Вакарелов,
Интуиционистки модални логики, противоречащи на логиките на Ригер – Нишимура, ФМИ, СУ дипломна работа:Веселин Ценов Целков
|
1981
|
|
26
|
Димитър Вакарелов,
Секвенционални формулировки на някои интуиционистки модални логики, ФМИ, СУ дипломна работа:Владимир Ангелов Попов
|
1981
|
|
27
|
Димитър Вакарелов,
Пълнота на динамичната логика, разширена с програмни оператори за тестове, ФМИ, СУ дипломна работа:Иван Маринов Лонгочев
|
1980
|
|
28
|
Димитър Вакарелов, Релевантни системи, ФМИ, СУ дипломна работа:Тинко Величков Тинчев
|
1980
|
|
29
|
Димитър Вакарелов,
Пълнота на една интуиционистка модална система, ФМИ, СУ дипломна работа:Красимир Атанасов Киров
|
1979
|
|
30
|
Димитър Вакарелов,
Модални алгебри на Пост и многозначни модални логики, ФМИ, СУ дипломна работа:Марион Саркис Мирчева
|
1978
|
|
31
|
Димитър Вакарелов,
Редукция на модалности в някои интуиционистки модални логики, ФМИ, СУ дипломна работа:Милена Цветкова Михайлова
|
1978
|
|
32
|
Димитър Вакарелов,
Интуиционистко модално пропозиционално смятане, ФМИ, СУ дипломна работа:Славян Радославов Радев
|
1973
|
| Статия в научно списание |
|
1
|
Vakarelov, Dimiter, POINT-FREE THEORIES OF SPACE AND TIME, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, vol:7, issue:6, 2020, pages:1243-1321, ISSN (print):2055-3706, ISSN (online):2055-3714
|
2020
|
|
2
|
Dimiter Vakarelov, P. Dimitrov, Dynamic contact algebras and quantifier-free logics for space and time, Сиб. электрон. матем. изв., vol:15, 2018, pages:1103-1144, ISSN (print):ISSN:1813-3304, doi:https://doi.org/10.17377/semi.2018.15.092, Ref, Web of Science, IF (515 - 2017), SCOPUS, SJR (339 - 2017), PhD
|
2018
|
|
3
|
Dimiter Vakarelov, A mereotopology based on sequent algebras , Journal of Applied Non-Classical Logics, vol:27, issue:3-4, 2017, pages:342-364, ISSN (print):1166-3081, ISSN (online):1958-5780, doi:https://doi.org/10.1080/11663081.2017.1420590, Ref, IR , SCOPUS, SJR (368 - 2017)
|
2017
|
|
4
|
D. Vakarelov, Mereotopologies with Predicates of Actual Existence and Actual Contact , Fundamenta Informaticae , vol:156, issue:3-4, 2017, pages:413-432, ISSN (print): 0169-2968, ISSN (online):1875-8681, doi:DOI: 10.3233/FI-2017-1613, Ref, Web of Science, IF (691 - 2017), SCOPUS, SJR (332 - 2017), SCOPUS Quartile: Q3 (Appl. Math)
|
2017
|
|
5
|
Tatyana Ivanova, Dimiter Vakarelov, Distributive mereotopology: Extended distributive contact lattices, Annals of Mathematics and Artificial Intelligence, vol:77, issue:1-2, 2016, pages:3-41, ISSN (print): 1012-2443 , ISSN (online):1573-7470, doi:https://doi.org/10.1007/s10472-016-9499-5 , Ref, Web of Science, IF (807 - 2016), SCOPUS, SJR (438 - 2016), SCOPUS Quartile: Q3 (MATH appl.2016 WOS), PhD
|
2016
|
|
6
|
D. Vakarelov, Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. II , Algebra and Logic, vol:55, issue:1, 2016, pages:9-23, ISSN (print):0002-5232, ISSN (online):1573-8302, doi: DOI https://doi.org/10.1007/s10469-016-9372-y , Ref, Web of Science, IF (414 - 2016), SCOPUS, SJR (459 - 2018), SCOPUS Quartile: Q3 (11/20 Logic WOS)
|
2016
|
|
7
|
D. Vakarelov, Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. III, Algebra and Logic, vol:55, issue:3, 2016, pages:273-299, ISSN (print):0002-5232, ISSN (online):1573-8302, doi: DOI https://doi.org/10.1007/s10469-016-9388-3 , Ref, Web of Science, IF (414 - 2016), SCOPUS, SJR (459 - 2016), SCOPUS Quartile: Q3 (11/20 Logic WOS)
|
2016
|
|
8
|
D. Vakarelov, Dynamic Mereotopology. III. Whiteheadean Type of Integrated Point-Free Theories of Space and Time. I, Algebra and Logic, vol:53, issue:3, 2014, pages:191-205, ISSN (print):0002-5232, ISSN (online):1573-8302, doi: DOI https://doi.org/10.1007/s10469-014-9283-8 , Ref, Web of Science, IF (310 - 2014), SCOPUS, SJR (965 - 2014), SCOPUS Quartile: Q4 (17/21 Logic WOS)
|
2014
|
|
9
|
D. Vakarelov, N. Ivanov, A System of Relational Syllogistic Incorporating Full Boolean Reasoning, Journal of Logic, Language and Information, vol:21, issue:4, 2012, pages:433-459, ISSN (print):09258531, ISSN (online):1572-9583 , doi: DOI https://doi.org/10.1007/s10849-012-9165-1 , Ref, Web of Science, IF (450 - 2015), SCOPUS, SJR (383 - 2012), SCOPUS Quartile: Q4 (17/21 Logic 2015 WOS), PhD
|
2012
|
|
10
|
Dimiter Vakarelov, Dynamic Modalities, Studia Logica , vol:100, issue:1-2, 2012, pages:385-397, ISSN (print): ISSN: 0039-3215 (Print) , ISSN (online):1572-8730 (Online), doi: DOI https://doi.org/10.1007/s11225-012-9383-1 , Ref, Web of Science, IF (342 - 2012), SCOPUS, SJR (722 - 2012), SCOPUS Quartile: Q4 (2012 16/20 Logic)
|
2012
|
|
11
|
W. Conradie, V. Goranko, D. Vakarelov, Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA , Journal of Applied Logic, vol:8, issue:4, 2010, pages:319-333, ISSN (print):1570-8683, doi:https://doi.org/10.1016/j.jal.2010.08.002, Ref, Web of Science, IF (574 - 2011), SCOPUS, SJR (754 - 2010), SCOPUS Quartile: Q2 (6/19 Logic 2011 WOS)
|
2010
|
|
12
|
Dimiter Vakarelov, Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations , Fundamenta Informaticae, vol:100, issue:1-4, 2010, pages:159-180, ISSN (print):ISSN 0169-2968 (P) , ISSN (online): ISSN 1875-8681 (E), doi:DOI: 10.3233/FI-2010-268, Ref, Web of Science, IF (522 - 2010), SCOPUS, SJR (403 - 2010), SCOPUS Quartile: Q3 (Appl. Math 2010 WOS)
|
2010
|
|
13
|
W. Conradie, V. Goranko, D. Vakarelov, Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions, Fundamenta Informaticae, vol:92, issue:4, 2009, pages:307-343, ISSN (print):01692968, ISSN (online):1875-8681, Ref, Web of Science, IF (615 - 2009), SCOPUS, SJR (428 - 2009), SCOPUS Quartile: Q3 (Appl. Math 2009 WOS)
|
2009
|
|
14
|
P. Balbiani, P. Iliev, D. Vakarelov, A modal logic for Pawlak's approximation spaces with rough cardinality n , Fundamenta Informaticae, vol:83, issue:4, 2008, pages:451-464, ISSN (print):01692968, ISSN (online):1875-8681, Ref, Web of Science, IF (715 - 2008), SCOPUS, SJR (612 - 2008), SCOPUS Quartile: Q3 (Math appl. 102/175 2008 WOS), International, PhD
|
2008
|
|
15
|
Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter, Distributive contact lattices: Topological representations, Journal of Logic and Algebraic Programming, vol:76, issue:1, 2008, pages:18-34, ISSN (online):15678326, doi:https://doi.org/10.1016/j.jlap.2007.10.002, Ref, Web of Science, IF (1.018 - 2008), SCOPUS, SJR (757 - 2008), SCOPUS Quartile: Q3 (108/175 Comp Sci 2008 WOS), International
|
2008
|
|
16
|
P. Balbiani, D. Vakarelov, Arrow logic with arbitrary intersections: Applications to Pawlak's information systems, Fundamenta Informaticae, vol:75, issue:1-4, 2007, pages:1-25, ISSN (print):ISSN 0169-2968 (P), doi:https://content.iospress.com/articles/fundamenta-informaticae/fi75-1-4-03, Ref, Web of Science, IF (725 - 2007), SCOPUS, SJR (332 - 2007), SCOPUS Quartile: Q2 (Math. appl. 2007 WOS)
|
2007
|
|
17
|
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov, Dynamic logics of the region-based theory of discrete spaces, Journal of Applied Non-Classical Logics, vol:17, issue:1, 2007, pages:39-61, ISSN (print):1166-3081 , ISSN (online):1958-5780, doi:https://doi.org/10.3166/jancl.17.39-61, Ref, IR , SCOPUS, SJR (547 - 2009), International
|
2007
|
|
18
|
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov, Modal Logics for Region-based Theories of Space, Fundamenta Informaticae, vol:81, issue:1-3, 2007, pages:29-82, ISSN (print):0169-2968, Ref, Web of Science, SCOPUS Quartile: Q2 (Mathematics Applied), International
|
2007
|
|
19
|
Ivo Düntsch, Dimiter Vakarelov, Region–based theory of discrete spaces: A proximity approach, Annals of Mathematics and Artificial Intelligence, vol:49, issue:1-4, 2007, pages:5-14, ISSN (print):1012-2443, ISSN (online):1573-7470, doi:https://doi.org/10.1007/s10472-007-9064-3, Ref, Web of Science, IF (588 - 2007), SCOPUS, SJR (624 - 2007), SCOPUS Quartile: Q3 (67/93 CS WOS), International
|
2007
|
|
20
|
W. Conradie, V. Goranko, D. Vakarelov, Algorithmic correspondence and completeness in modal logic. II. Polyadic and hybrid extensions of the algorithm SQEMA, Journal of Logic and Computation,, vol:16, issue:5, 2006, ISSN (print):0955792X, doi:DOI: 10.1093/logcom/exl026, Ref, IF, IF (582 - 2006), SCOPUS Quartile: Q3 (2006 CS WOS)
|
2006
|
|
21
|
V. Goranko, D. Vakarelov, Elementary canonical formulae: extending Sahlqvist’s theorem, Annals of Pure and Applied Logic, vol:141, issue:1-2, 2006, pages:170-217, ISSN (print):0168-0072, doi:https://doi.org/10.1016/j.apal.2005.10.005, Ref, Web of Science, IF (582 - 2006), SCOPUS, SJR (933 - 2006), SCOPUS Quartile: Q2 (Math 2006 WOS)
|
2006
|
|
22
|
Georgi Dimov, Dimiter Vakarelov, Construction of all locally compact Hausdorff extensions of Tychonoff spaces by means of non-symmetric proximities , Questions and Answers in General Topology , vol:22, issue:1, 2004, pages:43-56, ISSN (print):0918-4732, Ref
|
2004
|
|
23
|
P. Balbiani, D. Vakarelov, Iteration-free PDL with Intersection: a Complete Axiomatization , Fundamenta Informaticae, vol:45, issue:3, 2001, pages:173-194, ISSN (print):ISSN 0169-2968 (P), ISSN (online):ISSN 1875-8681 (E), Ref, IR , SCOPUS, SJR (458 - 2001), SCOPUS Quartile: Q3 (2001), International
|
2001
|
|
24
|
V. Goranko, D. Vakarelov, Sahlqvist Formulas in Hybrid Polyadic Modal Logics , Journal of Logic and Computation, vol:11, issue:5, 2001, pages:737-754, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/11.5.737, Ref, Web of Science, SCOPUS Quartile: Q2 (21/72 2001 WOS)
|
2001
|
|
25
|
Philippe Balbiani, Luis Farinas del Cerro, Tinko Tinchev, Dimiter Vakarelov, Modal Logics for Incidence Geometries, Journal of Logic and Computation, vol:7, issue:1, 1997, pages:59-78, ISSN (print):0955-792X , ISSN (online):1465-363X, doi:10.1093/logcom/7.1.59, Ref, IR , SCOPUS, SJR (0.69 - 1999), SCOPUS Quartile: Q1 (Computer science, theory & methods), International
|
1997
|
|
26
|
Dimiter Vakarelov, A model logic for similarity relations in pawlak knowledge representation systems, Fundamenta Informaticae, vol:15, issue:1, 1991, pages:61-79, ISSN (print):01692968, ISSN (online):1875-8681, Ref, IR , SCOPUS, SJR (295 - 1999), SCOPUS Quartile: Q2 (2003 CS WOS)
|
1991
|
|
27
|
Dimiter Vakarelov, Modal logics for knowledge representation systems, Theoretical Computer Scince, vol:90, issue:2, 1991, pages:433-456, ISSN (print):ISSN: 0304-3975 , Ref, IR , SCOPUS, SJR (472 - 1999)
|
1991
|
|
28
|
Dimiter Vakarelov, Notes on N-lattices and constructive logic with strong negation, Studia Logica, vol:36, issue:1-2, 1977, pages:109-125, ISSN (print):0039-3215, ISSN (online):1572-8730, doi:https://doi.org/10.1007/BF02121118, Ref, IR , SCOPUS, SJR (776 - 1999), SCOPUS Quartile: Q4 (2012 WOS)
|
1977
|
| Статия в поредица |
|
1
|
Dimiter Vakarelov, Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics, International Mathematical Series, vol:Mathematical Problems from Applied Logic II., issue:5, editor/s:Gabbay D.M., Zakharyaschev M., Goncharov S.S., Publisher:Springer, 2007, pages:267-348, ISBN:978-0-387-69244-9; Online ISBN 978-0-387-69245-6 , doi: DOI https://doi.org/10.1007/978-0-387-69245-6_6 , Ref
|
2007
|
|
2
|
Georgi Dimov, Dimiter Vakarelov, Topological Representation of Precontact Algebras, Lecture Notes in Computer Science , vol:Relation Methods in Computer Science, issue:3929, editor/s:W. MacCaull, M. Winter, I. D¨untsch , Publisher:Springer-Verlag (Berlin Heidelberg) , 2006, pages:1-16, ISSN (print):0302-9743, Ref, Web of Science, IF (0.402 - 2005), Web of Science Quartile: Q4 (2006), SCOPUS, SJR (0.317 - 2006), SCOPUS Quartile: Q2 (2006)
|
2006
|
|
3
|
V. Goranko, D. Vakarelov, Sahlqvist Formulas Unleashed in Polyadic Modal Languages, Advances in Modal Logic, vol:Advances in Modal Logic vol 3, issue:3, editor/s:Frank Wolter (University of Leipzig, Germany), Heinrich Wansing (Dresden University of Technology, Germany), Maarten de Rijke (University of Amsterdam, The Netherlands) and Michael Zakharyaschev (King's College London, UK), Publisher:World Scientific, 2002, pages:221-240, ISBN:981-238-179-1, doi:https://doi.org/10.1142/9789812776471_0012, Ref, IR , SCOPUS, SJR (261 - 2007)
|
2002
|
|
4
|
Dimiter Vakarelov, Information Systems, Similarity Relations and Modal Logics, Studies in Fuzziness and Soft Computing, vol:Incomplete Information: Rough Set Analysis., issue:13, editor/s:Orłowska E. , Publisher:Springer, 1998, pages:492-550, ISBN:978-3-7908-2457-5; 978-3-7908-1888-8, doi: https://doi.org/10.1007/978-3-7908-1888-8_16 , Ref, IR , SCOPUS, SJR (128 - 2006)
|
1998
|
|
5
|
Tinko Tinchev, Dimiter Vakarelov, PDL with counters (in Russian), Math. theory of programming, issue:1085, editor/s:Ershov, A. P., Skordev, D., Publisher:Akad. Nauk SSSR Sibirsk. Otdel., Vychisl. Tsentr, Novosibirsk, 1985, pages:50-57, ISSN (print):MН 06097, Ref
|
1985
|
| Статия в сборник (на конференция и др.) |
|
1
|
D. Vakarelov, Actual existence predicate in mereology and mereotopology , International Joint Conference on Rough Sets, Lecture Notes in Computer Science, vol 10314., editor/s:Polkowski L. at al., Publisher:Springer. Cham, 2017, ISBN:978-3-319-60839-6, doi: DOI https://doi.org/10.1007/978-3-319-60840-2_10 , Ref, IR , SCOPUS, SJR (295 - 2017)
|
2017
|
|
2
|
Dimiter Vakarelov, Algorithmic definability and completeness in modal logic , oundations of Information and Knowledge Systems. FoIKS 2010. Lecture Notes in Computer Science, vol 5956, editor/s:Link S., Prade H., Publisher:Springer, 2010, pages:6-8, ISSN (print):978-3-642-11828-9, ISSN (online):978-3-642-11829-6, doi:https://doi.org/10.1007/978-3-642-11829-6_3, Ref, IR , SCOPUS, SJR (322 - 2010)
|
2010
|
|
3
|
T. Tinchev, D. Vakarelov, Logics of Space with
Connectedness Predicates: Complete axiomatizations., Proceedings of Advances of Modal Logics, vol. 8, editor/s:L. Beklemishev, V. Goranko and V. Sheshtman, Publisher:College Publications, London, 2010, pages:409-427, ISSN (print):ISBN-13: 978-1-84890-013-4, ISBN:1904987206; 978-184890013-4, Ref, Web of Science, SCOPUS, SJR ( - 2012)
|
2010
|
|
4
|
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
|
|
5
|
Dimiter Vakarelov, Y. Nenov, Modal logics for mereotopological relations , Advances in Modal Logic, volume 7, editor/s:Carlos Areces and Robert Goldblatt,, Publisher:College Publication, 2008, pages:249-272, ISSN (print):ISBN-13: 978-1904987680, ISBN:http://www.aiml.net/volumes/volume7/, Ref, IR , SCOPUS, SJR (512 - 2008), PhD
|
2008
|
|
6
|
Dimiter Georgiev, Tinko Tinchev, Dimiter Vakarelov, SQEMA - an Algorithm for Computing First-Order Correspondences in Modal Logic: a Computer Realization, International Conference Pioneers of Bulgarian Mathematics, Sofia, July 8--10, 2006, Book of Abstracts, 2006, pages:45-46, MSc
|
2006
|
|
7
|
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov, Geometrical Structures and Modal Logic, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96,Lecture Notes in Computer Science, vol. 1085, Bonn, Germany, June 3-7, 1996, Proceedings 1996, editor/s:Dov M. Gabbay, Hans Jürgen Ohlbach, Publisher:Springer, Berlin, 1996, pages:43-57, ISSN (print):03029743, ISBN: 3540613137;978-354061313-8, doi:10.1007/3-540-61313-7_62, Ref, International
|
1996
|
|
8
|
D. Vakarelov, A modal theory of arrows. Arrow logics I., European Workshop on Logics in Artificial Intelligence. Logics in AI. JELIA 1992. Lecture Notes in Computer Science, vol 633, editor/s:Pearce D., Wagner G. , Publisher:Springer, 1992, pages:1-24, ISBN:978-3-540-55887-3 Online ISBN 978-3-540-47304-6 , doi:https://doi.org/10.1007/BFb0023418, Ref, Web of Science, SCOPUS Quartile: Q1 (13/66 CS 1999 WOS)
|
1992
|
|
9
|
Dimiter Vakarelov, Modal logics for knowledge representation systems, Logic at Botik '89. Lecture Notes in Computer Science, vol 363., editor/s:Meyer A.R., Taitslin M.A., Publisher:Springer, 1989, pages:257-277, ISBN:978-3-540-51237-0; 978-3-540-46180-7, doi:https://doi.org/10.1007/3-540-51237-3_21 , Ref, IR , SCOPUS, SJR (299 - 1999), SCOPUS Quartile: Q1 (13/66 1999 WOS)
|
1989
|
|
10
|
Dimiter Vakarelov, Modal logics for knowledge representation systems, Logic at Botik '89. Lecture Notes in Computer Science, vol 363., editor/s:Meyer A.R., Taitslin M.A., Publisher:Springer, 1989, pages:257-277, ISBN:978-3-540-51237-0; 978-3-540-46180-7, doi:https://doi.org/10.1007/3-540-51237-3_21 , Ref, IR , SCOPUS, SJR (0.299 - 1999), SCOPUS Quartile: Q1 (13/66 1999 WOS)
|
1989
|
|
11
|
Tinko Tinchev, Dimiter Vakarelov, Propositional Dynamic Logic with Recursive Programs, ath. Problems in Computation Theory, Banach Center Publications, vol. 21, editor/s:Grażyna Mirkowska and Helena Rasiowa, Publisher:PWN, Warsaw, 1988, pages:419-426, ISBN:83-01-07936-3/hbk, Ref, Web of Science
|
1988
|
|
12
|
Tinko Tinchev, Dimiter Vakarelov, Propositional dynamic logics with counters and stacks, Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings. Lecture Notes in Computer Science 208, editor/s:Andrzej Skowron , Publisher:Springer, Berlin, 1985, pages:364-374, ISBN:978-3-540-16066-3, doi:https://doi.org/10.1007/3-540-16066-3_3, Ref, SCOPUS Quartile: Q1 (13/66 1999 WOS)
|
1985
|
| Студия в научно списание |
|
1
|
G. Dimov, E. Ivanova-Dimova, D. Vakarelov, A Generalization of the Stone Duality Theorem, Topology and its Applications, vol:221, 2017, pages:237-261, ISSN (print):0166-8641, ISSN (online):1879-3207, doi:http://dx.doi.org/10.1016/j.topol.2017.02.041, Ref, Web of Science, IF (0.549 - 2017), Web of Science Quartile: Q3 (2017), SCOPUS, SJR (0.609 - 2017), SCOPUS Quartile: Q2 (2017)
|
2017
|
|
2
|
Dimov, Georgi, Vakarelov, Dimiter, Contact algebras and region-based theory of space: Proximity approach - II, FUNDAMENTA INFORMATICAE, vol:74, issue:2-3, 2006, pages:251-282, ISSN (print):0169-2968, ISSN (online):1875-8681
|
2006
|
|
3
|
Dimiter Vakarelov, Georgi Dimov, Ivo Duentsch, Brandon Bennett, A proximity approach to some region-based theories of space, Journal of Applied Non-Classical Logic, vol:12, issue:3-4, 2002, pages:527-559, ISSN (print):1166-3081, ISSN (online):1958-5780, doi:https://doi.org/10.3166/jancl.12.527-559, Ref, SCOPUS, SJR (0.379 - 2002), SCOPUS Quartile: Q1 (2002), International
|
2002
|
|
4
|
Georgi Dimov, Dimiter Vakarelov, On Scott consequence systems, Fundamenta Informaticae, vol:33, issue:1, 1998, pages:43-70, ISSN (print):0169-2968, doi:doi:10.3233/FI-1998-33103, Ref, IF (0.691 - 2003), Web of Science Quartile: Q2 (1998), SCOPUS, SJR (0.295 - 1999), SCOPUS Quartile: Q3 (1998)
|
1998
|
|