?
Conservative rewritability of description logic TBoxes
P. 1153-1159.
Konev B. Y., Lutz C., Wolter F., Захарьящев М. В.
[б.и.], 2016
Добавлено: 18 сентября 2017 г.
American Association for Artificial Intelligence (AAAI) Press, 2015
Добавлено: 18 сентября 2017 г.
Bienvenu M., Kikot S., Kontchakov R. и др., , in : International Workshop on Description Logics, DL 2016. Issue 1577.: [б.и.], 2016. P. 1-13.
Добавлено: 18 сентября 2017 г.
Захарьящев М. В., Botoeva E., Konev B. Y. и др., , in : 12th International Summer School on Reasoning Web Summer School, RW 2016. Issue 9885.: [б.и.], 2017. P. 27-89.
Добавлено: 18 сентября 2017 г.
Вялый М. Н., Рубцов А. А., Проблемы передачи информации 2015 Т. 51 № 4 С. 47-59
Рассматриваются задачи регулярной реализуемости, которые состоят в проверке непустоты пересечения регулярного языка на входе задачи и фиксированного языка (фильтра), который явля- ется параметром задачи. В данной работе изучается алгоритмиче- ская сложность задач регулярной реализуемости для контекстно- свободных фильтров. Эта характеристика согласована с отноше- нием рационального доминирования на КС-языках. Однако, как доказано в работе, она более ...
Добавлено: 14 февраля 2016 г.
Рубцов А. А., Вялый М. Н., , in : Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Vol. 10846.: Springer, 2018. P. 295-307.
Добавлено: 21 июня 2018 г.
Cham : Springer, 2018
This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.
The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; ...
Добавлено: 1 марта 2018 г.
Botoeva E., Захарьящев М. В., Kontchakov R. и др., , in : Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. : Palo Alto : AAAI Press, 2015. P. 4240-4246.
Добавлено: 18 сентября 2017 г.
Рубцов А. А., Вялый М. Н., , in : Descriptional Complexity of Formal Systems. Vol. 9118.: Switzerland : Springer, 2015. P. 256-267.
Добавлено: 25 августа 2015 г.
Захарьящев М. В., Kikot S., Bienvenu M. и др., , in : Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. : Aachen : CEUR Workshop Proceedings, 2017.
Добавлено: 18 сентября 2017 г.
Рубцов А. А., Вялый М. Н., , in : Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. : Cham : Springer, 2017. P. 332-344.
Добавлено: 5 сентября 2017 г.
Захарьящев М. В., Artale A., Kontchakov R. и др., , in : Proceedings of the National Conference on Artificial Intelligence. : American Association for Artificial Intelligence (AAAI) Press, 2015. P. 1417-1423.
Добавлено: 18 сентября 2017 г.
Малышев Д. С., / Cornell University. Series math "arxiv.org". 2013. No. 1307.0278v1.
Добавлено: 3 октября 2013 г.
Таганрог : Издательство Южного федерального университета, 2021
В трудах конференции КИИ-2021 опубликованы доклады участников конференции, прорецензированные и отобранные Национальным программым комитетом. ...
Добавлено: 14 октября 2021 г.
Добавлено: 29 октября 2022 г.
Springer, 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February 2014. The 33 contributions presented were carefully reviewed and selected for inclusion in this book. A large variety of topics are covered, such as algorithm configuration; multiobjective ...
Добавлено: 15 сентября 2014 г.
Хорошевский В. Ф., Ефименко И. В., В кн. : XIV Национальная конференция по искусственному интеллекту с международным участием КИИ-2014. : Каз. : Российская ассоциация искусственного интеллекта, 2014. С. 160-168.
В статье представлены результаты наукометрического исследования научного направления "Искусственный интеллект", выполененного на основе лингвистико-статистического анализа корпуса трудов Российской ассоциации искусственного интеллекта. ...
Добавлено: 23 октября 2014 г.
Singapore : Springer, 2020
Добавлено: 19 августа 2020 г.
Springer, 2019
Добавлено: 3 ноября 2019 г.
Springer, 2021
Книга вклюает в себя работы 16ой международной конференции по Анализу формальных понятий. Книга поделена на 5 секций: теория, правила, методы и приложения, исследование и визуализация ...
Добавлено: 10 июля 2021 г.
Боговиз А. В., Lobova S. V., Karp M. . и др., On the Horizon 2019 Vol. 27 No. 3/4 P. 206-212
Добавлено: 6 октября 2019 г.
М. : Физматлит, 2013
Конференция посвящена применению интегрированных моделей и мягких вычислений в искусственном интеллекте. ...
Добавлено: 26 мая 2013 г.
L. : IEEE, 2016
Добавлено: 25 февраля 2017 г.