2019
-
Liliana Shakirova, Marina Falileeva, Alexander Kirillovich and Eugeny Lipachev. Problems and Solutions in the Design of Formal Taxonomy of Concepts of Geometry // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6793-6801
-
Кириллович А.В. Релятивизм в отношении истины // Материалы международной научной конференции «Одиннадцатые Смирновские чтения по логике», 19-21 июня 2019, г. Москва, МГУ. М.: Современные тетради, 2019. С. 82-84
-
Alexander Kirillovich, Liliana Shakirova, Marina Falileeva and Eugeny Lipachev. Towards an Educational Mathematical Ontology // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6823-6829
2018
-
Alexander Kirillovich and Olga Nevzorova. Ontological Analysis of the Wikipedia Category System // David Aveiro, Jan Dietz, Joaquim Filipe (eds). Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018). Seville, Spain, 18-20 September, 2018. Volume 2: KEOD. SCITEPRESS, 2018. Pp. 358-366
- Невзорова О.А., Кириллович А.В., Невзоров В.Н., Николаев К.С. Модели семантического контекста математических формул в научных статьях // 16-я Национальная конференция по искусственному интеллекту с международным участием КИИ-2018. 24–27 сентября 2018 г., г. Москва, Россия. Труды конференции. В 2-х томах. Т 1. Москва: РКП, 2018. С. 271-278
- Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А., Шакирова Л.Р. Открытые связанные данные и онтологии в математическом образовании// Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (17–23 сентября 2018 г., г. Новороссийск). – М.: ИПМ им. М.В. Келдыша, 2018. – С. 186–196
-
Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A., Shakirova L.R. Open linked data and ontologies in mathematics education (Открытые связанные данные и онтологии в математическом образовании) // V. Voevodin, et al (eds). Proceedings of the 20th Conference Scientific Services & Internet (SSI-2018). CEUR Workshop Proceedings, vol. 2260. CEUR-WS, 2018. Pp. 186-196
- Шакирова Л.Р., Фалилеева М.В., Кириллович А.В., Липачев Е.К. Проектирование образовательной математической онтологии: проблемы и методы решения на примере курса планиметрии // XV Международная конференция по компьютерной и когнитивной лингвистике TEL 2018. Сборник трудов: в 2-х томах. Т. 1. – Казань: Изд.-во АН РТ, 2018. – С. 393-405
-
Olga Nevzorova, Alexander Kirillovich, Vladimir Nevzorov, Konstantin Nikolaev. The Semantic Context Models of Mathematical Formulas in Scientific Papers // Leonid Kalinichenko, et al. (eds). Selected Papers of the XX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2018). CEUR Workshop Proceedings, vol. 2277. CEUR-WS.org, 2018. Pp. 33-40
2017
-
Кириллович А.В. Логические константы и проблема демаркации логики // Десятые Смирновские чтения по логике: Материалы междунар. науч. конференции. – М.: Современные тетради, 2017. – С. 82-84.
logical_constants_srl17.pdf -
Alexander Elizarov, Alexander Kirillovich, Evenvgeny Lipachev, Olga Nevzorova. Semantic Formula Search in Digital Mathematical Libraries // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017). IEEE, 2017. Pp. 39-43. DOI: 10.1109/RPC.2017.8168063.
-
Alfiya Galieva, Alexander Kirillovich, Bulat Khakimov, Natalia Loukachevitch, Olga Nevzorova, Dzhavdet Suleymanov. Toward Domain-Specific Russian-Tatar Thesaurus Construction // Proceedings of the International Conference IMS-2017. ACM, 2017
-
Кириллович А.В., Невзорова О.А. Проблема транзитивности в системе категорий Википедии // Leonid Kalinichenko, et al. (eds). Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017). CEUR Workshop Proceedings, vol. 2022. CEUR-WS.org, 2017. Pp. 57-63
DAMDID_2017.pdf -
Olga Nevzorova, Vladimir Nevzorov, Alexander Kirillovich. A Syntactic Method of Extracting Terms from Special Texts for Replenishing Domain Ontologies // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017). IEEE, 2017. Pp. 127-131
2016
-
Елизаров А.М. Экосистема ONTOMATH и проект Всемирной цифровой математической библиотеки / А.М. Елизаров, Н.Г. Жильцов, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Труды международной конференции по компьютерной и когнитивной лингвистике TEL-2016. – Казань: Изд-во Казан. ун-та, 2016. – С. 25–28.
1_7_PDF_proceedings.pdf -
Alexander M. Elizarov, Alexander V. Kirilovich, Evgeny K. Lipachev, Olga A. Nevzorova. Mathematical Knowledge Management: Ontological Models and Digital Technology // Leonid Kalinichenko, et al. (eds). Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016). CEUR Workshop Proceedings, vol. 1752, pp. 44–50. CEUR-WS, 2016
paper08.pdf -
Елизаров А.М. Управление математическими знаниями: онтологические модели и цифровые технологии / А.М. Елизаров, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Аналитика и управление данными в областях с интенсивным использованием данных: сборник статей XVIII Междун. конф. DAMDID/RCDL'2016 . - М.: ФИЦ ИУ РАН, 2016. - С.95-101.
DAMDID_Elizarov_all.pdf
2015
-
Елизаров А. М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Терминологическое аннотирование и рекомендательный сервис в системе управления физико-математическим контентом // Труды XVII Международной конференции DAMDID/RCDL'2015 «Аналитика и управление данными в областях с интенсивным использованием данных» . – Обнинск: ИАТЭ НИЯУ МИФИ, 2015. С.357-350.
damdid2015_paper_Elizarov_new.pdf -
Елизаров А. М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Семантическое аннотирование в системе управления физико-математическим контентом // Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2015. - С.98-103.
Elizarov_at_all_.pdf
2014
- А.В. Кириллович. Висячая пунктуация в web-типографике // Труды Казанской школы по компьютерной и когнитивной лингвистике TEL-2014 (Казань, 6-9 февраля 2014г.). Вып.16. Интеллект. Язык. Компьютер. КФУ, АН РТ НИИ "Прикладная семиотика". Казан:изд-во "ФЕН", 2014
-
Елизаров А.М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К., Невзорова О.А., Соловьев В.Д.
Онтологии математических знаний и их применение в науке и образовании // Материалы международной научно-практической конференции «Информационные технологии в образовании и науке (ИТОН – 2014)», 10-13 декабря 2014. –Казань, изд-во ФОЛИАНТ, 2014. – С.60-64.
2013
