On complexity of propositional linear-time temporal logic with finitely many variables

M. Rybakov; Shkatov D.

doi:10.1145/3278681.3278718

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

23 сентября 2026 г.

<a>В НИУ ВШЭ испытали робота с ИИ для распознавания окружающей среды

Инженеры и исследователи Института робототехнических систем НИУ ВШЭ провели первые испытания нейросетевой модели для распознавания среды непосредственно на роботе-собаке. Робот передвигался по зданию НИУ ВШЭ на Покровке, а также по Покровскому бульвару, анализируя окружающую обстановку и определяя, в какой сцене и локации он находится.

21 сентября 2026 г.

Ученые НИУ ВШЭ показали, что врожденные нарушения моторики влияют на развитие мозга

Исследователи из Института когнитивных нейронаук НИУ ВШЭ обобщили результаты своих предыдущих исследований, посвященных особенностям развития мозга у детей с акушерским параличом плечевого сплетения и артрогрипозом. Анализ показал, что нарушение моторики в раннем возрасте не только ведет к недостатку двигательного опыта, но и влияет на память, категориальное мышление и обработку информации. Работа опубликована в журнале Frontiers in Psychology.

22 сентября 2026 г.

Как россияне взаимодействуют с ИИ при поиске информации в интернете

Школа коммуникаций НИУ ВШЭ и Online Market Intelligence провели исследование пользовательского поискового опыта в российском сегменте интернета. Как показали результаты, пользователи в России уже воспринимают ИИ-ответ в выдаче как естественную часть поиска и используют его наравне с привычным списком ссылок. При этом на рынке самостоятельных нейросетей (отдельных чат‑ботов) уверенно лидирует Алиса AI от Яндекса — ее регулярно используют 40 % опрошенных.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

On complexity of propositional linear-time temporal logic with finitely many variables

P. 313–316.

Рыбаков М. Н., Shkatov D.

Язык: английский

DOI

Текст на другом сайте

Ключевые слова: finite-variable fragments Satisfiability problem Linear-time Temporal Logic model-checking

В книге

Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists

NY: ACM, 2018.

Complexity of finite-variable fragments of propositional temporal and modal logics of computation

Рыбаков М. Н., Shkatov D., Theoretical Computer Science 2022 Vol. 925 P. 45–60

Добавлено: 12 мая 2022 г.

О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени

Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371

К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...

Добавлено: 17 января 2022 г.

First-order rewritability of ontology-mediated queries in linear temporal logic

Artale A., Kontchakov R., Kovtunova A. и др., Artificial Intelligence 2021 Vol. 299 Article 103536

Добавлено: 30 сентября 2021 г.

Undecidability of the logic of partial quasiary predicates

Рыбаков М. Н., Shkatov D., Logic Journal of the IGPL 2022 Vol. 30 No. 3 P. 519–533

Добавлено: 29 мая 2021 г.

Complexity of finite-variable fragments of products with K

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2021 Vol. 31 No. 2 P. 426–443

Добавлено: 24 сентября 2020 г.

Algorithmic properties of first-order modal logics of the natural number line in restricted languages

Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 523–539.

Добавлено: 27 августа 2020 г.

Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables

Рыбаков М. Н., Shkatov D., , in: Theoretical Aspects of Computing – ICTAC 2018Vol. 11187.: Springer, 2018. P. 396–414.

Добавлено: 8 октября 2019 г.

Algorithmic properties of modal logics with restricted languages

Рыбаков М. Н., University of the Witwatersrand, Johannesburg, 2019.

Добавлено: 5 октября 2019 г.