?
Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries
P. 1-13.
Bienvenu M., Kikot S., Kontchakov R., Подольский В. В., Захарьящев М. В.
Konev B. Y., Lutz C., Wolter F. и др., , in : 25th International Joint Conference on Artificial Intelligence. : [б.и.], 2016. P. 1153-1159.
Добавлено: 18 сентября 2017 г.
Захарьящев М. В., 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 г.
Захарьящев М. В., 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 г.
[б.и.], 2016
Добавлено: 18 сентября 2017 г.
Switzerland : Springer, 2015
Добавлено: 6 августа 2015 г.
Рубцов А. А., Вялый М. Н., , 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 г.
Bienvenu M., Kikot S., Kontchakov R. и др., , in : Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. : Aachen : CEUR Workshop Proceedings, 2017. P. 1-12.
Our concern is answering ontology-mediated queries (Ο q), whereΟ is a set of linear tgds and q a conjunctive query (CQ) of bounded hypertree width. Assuming that the arity of predicates is bounded, we show that polynomial-size nonrecursive Datalog rewritings can be constructed and executed in (i) LOGCFL for OMQs with ontologies of bounded existential ...
Добавлено: 18 сентября 2017 г.
Вялый М. Н., Рубцов А. А., Проблемы передачи информации 2015 Т. 51 № 4 С. 47-59
Рассматриваются задачи регулярной реализуемости, которые состоят в проверке непустоты пересечения регулярного языка на входе задачи и фиксированного языка (фильтра), который явля- ется параметром задачи. В данной работе изучается алгоритмиче- ская сложность задач регулярной реализуемости для контекстно- свободных фильтров. Эта характеристика согласована с отноше- нием рационального доминирования на КС-языках. Однако, как доказано в работе, она более ...
Добавлено: 14 февраля 2016 г.
Рубцов А. А., Вялый М. Н., , in : Descriptional Complexity of Formal Systems. Vol. 9118.: Switzerland : Springer, 2015. P. 256-267.
Добавлено: 25 августа 2015 г.
Захарьящев М. В., 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 г.
Улан-Удэ : Издательство Бурятского госуниверситета, 2017
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Рубцов А. А., Вялый М. Н., , 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 г.
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 г.
Springer, 2020
Добавлено: 22 октября 2018 г.
Cham : Springer, 2017
The 21st International Conference on Developments in Language Theory (DLT 2017) was organized by the Department of Mathematics of the University of Liège, Belgium, during August 7–11, 2017.
The DLT conference series is one of the major international conference series in language theory and related areas. The DLT conference was established by G. Rozenberg and A. ...
Добавлено: 5 сентября 2017 г.
American Association for Artificial Intelligence (AAAI) Press, 2015
Добавлено: 18 сентября 2017 г.