9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING

?

9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING

Issue 10900. Springer International Publishing AG, part of Springer Nature 2018, 2018.

Научный редактор: D. Galmiche

Под общей редакцией: S. Schulz, R. Sebastiani

A Logical Framework with Commutative and Non-commutative Subexponentials

Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONINGIssue 10900.: Springer International Publishing AG, part of Springer Nature 2018, 2018. P. 228–245.

Добавлено: 11 июля 2018 г.

Приоритетные направления: компьютерно-математическое

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

Полный текст

DOI

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

9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING

A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection

Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.

Добавлено: 28 сентября 2026 г.

The Global Good. The Future of Culture, Creation, and Author

M.: UNESCO Chair on Copyright, Neighbouring, Cultural and Information Rights (HSE University), 2026.

Сборник студенческих работ на английском языке, подготовленных в ходе профессиональной практики на Кафедре ЮНЕСКО по авторскому праву, смежным, культурным и информационным правам НИУ ВШЭ под руководством М. М. Катковой. Работы в формате небольших обзорных научных статей (Think pieces UNESCO) посвящены будущему культуры, творчества и авторства в эпоху цифровых технологий и искусственного интеллекта. Тема сборника отсылает ...

Добавлено: 28 сентября 2026 г.

Искусственный интеллект и этика будущего

Медушевский А. Н., Liberal.ru 2026

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

Добавлено: 26 августа 2026 г.

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

The Evolution Of Law Concept Of Information: From Philosophical Abstraction To Quantum Information And Cryptography In The Context Of Growing Cyber Threats And The Transition To Post-Quantum Security Method

Polyakov S., Smeshkova L., Лапин В. О. и др., Veredas do Direito 2026 Vol. 23 No. 11 Article 237531

Добавлено: 27 июля 2026 г.

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689)

Cham: Springer, 2026.

Добавлено: 26 июля 2026 г.

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

Добавлено: 23 июня 2026 г.

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

Добавлено: 23 июня 2026 г.

Mapping the research on artificial intelligence in corporate learning: a bibliometric analysis

Асемота М. О., Learning Organization 2026 Vol. 33 No. 5 P. 730–752

Добавлено: 8 июня 2026 г.

Социально-психологические факторы доверия искусственному интеллекту: состояние исследований

Самойлов О. М., Татарко А. Н., Вопросы теоретической экономики 2026 № 2 С. 209–228

В статье представлен теоретический обзор литературы за последние десять лет, посвящённой анализу социально-психологических факторов доверия искусственному интеллекту. Повсеместное внедрение автоматизированных ИИ-систем, связанное с ожидаемым экономическим ростом, снижением ресурсных затрат и оптимизацией ряда рабочих процессов, на практике зачастую сталкивается с недоверием пользователей к новым инструментам и отсутствием готовности трансформировать классические рабочие процессы. Совокупность факторов снижения доверия ...

Добавлено: 21 мая 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Правовой режим объектов, созданных искусственным интеллектом: обзор зарубежной практики

Кирсанова Е. Е., Пакшин П. К., Право и экономика 2026 № 3 (456) С. 26–34

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

Добавлено: 28 апреля 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Intelligent Interfaces and Systems for Human-Computer Interaction

Karpov A., Двойникова А. А., Ryumina E., , in: Lecture Notes in Networks and SystemsVol. 776.: Springer, 2023. P. 3–13.

Добавлено: 25 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Replacing Criterion of Creativity with Criterion of Investment for Results Created by Artificial Intelligence

Пакшин П. К., Legal Issues in the Digital Age 2026 Vol. 7 No. 1 P. 32–48

Искусственный интеллект выполняет значимую функцию в процессе автоматизации, минимизируя операционное участие человека в таких сферах, как медицина, искусство и юриспруденция. Несмотря на исторически тесную взаимосвязь искусства и технологий, именно генеративный искусственный интеллект расширил потенциал для творческой деятельности. Существенным катализатором этого процесса стало распространение предобученных систем искусственного интеллекта, интенсифицировавших развитие технологий в области обработки естественного языка ...

Добавлено: 31 марта 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.

Добавлено: 24 декабря 2025 г.

РАЗРАБОТКА МОДЕЛИ ЦИФРОВОЙ ЗРЕЛОСТИ ГОСУДАРСТВЕННОГО УПРАВЛЕНИЯ В РЕГИОНАХ РОССИЙСКОЙ ФЕДЕРАЦИИ

Стырин Е. М., Вопросы государственного и муниципального управления 2025 № 4 С. 35–60

В статье рассматривается проблема недостаточной диагностической глубины существующих подходов к оценке цифровой зрелости органов государственного управления в субъектах Российской Федерации. На текущий момент методологическая и эмпирическая база для оценки уровня цифровой зрелости в региональном разрезе остается ограниченной и фрагментарной – отсутствует единый подход к операционализации понятия «цифровая зрелость». Требуется общая методология, позволяющая проводить корректный межрегиональный анализ; формировать ...

Добавлено: 23 декабря 2025 г.

Метаэтические основания выравнивания искусственного интеллекта: методологические подходы и их ограничения

Снетков И. Г., Философия. Журнал Высшей школы экономики 2025 Т. 9 № 3 С. 277–302

В статье исследуется проблема выравнивания (alignment problem) — необходимость интеграции моральных ценностей в архитектуру систем ИИ для минимизации экзистенциальных рисков. Рассматриваются концептуальные решения проблемы выравнивания, такие как утилитарные принципы С. Рассела и концепция «когерентной расширенной воли» Э. Юдковского. Вводится понятие «метапроблемы выравнивания». В ходе анализа концептуального различия между «сильным» и «слабым» ИИ автор приходит к ...

Добавлено: 21 декабря 2025 г.

KDD '26: Proceedings of the 32th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Association for Computing Machinery (ACM), 2026.

Добавлено: 19 декабря 2025 г.

Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks

Федянин Д. Н., , in: 17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.

Добавлено: 13 декабря 2025 г.