?
Algorithms and Discrete Applied Mathematics 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings
Vol. 12016.
Springer, 2020.
Под общей редакцией: M. Changat, S. Das
Главы книги
Боду Л., Foucaud F., Naserasr R., , in: Algorithms and Discrete Applied Mathematics 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, ProceedingsVol. 12016.: Springer, 2020. P. 184–196.
Добавлено: 18 февраля 2020 г.
Медушевский А. Н., Liberal.ru 2026
Вклад новых технологий сегодня, более чем когда-либо в прошлом, определяет условия существования человечества как биологического вида, заставляя обсуждать перспективы его выживания. Процесс трансформации, охвативший все области социального и морального регулирования – от семейных отношений и воспитания до понимания смысла жизни, — раскалывает общественное сознание на противников и сторонников новых этических, социальных и правовых норм. Ключевой ...
Добавлено: 26 августа 2026 г.
The class of all ∗-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The complexity of reasoning in such algebras — ranging from the equational theory to the Horn one, with restricted fragments of the latter in between — was analyzed by Kozen (2002). This ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Grefenshtein A., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 105–126
The article is concerned with Halpern's first-order logics of probability, which we denote by L_1 and L_2 – the first of these deals with probability distributions on the domain, while the second employs distributions on external sets of possible worlds. The proofs of [Abadi & Halpern 1994] of the complexity lower bound results for L_1 and L_2 ...
Добавлено: 12 августа 2026 г.
David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 22 P. 585–608.
Добавлено: 10 августа 2026 г.
Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 13 P. 359–409.
Добавлено: 10 августа 2026 г.
Leonid Grinin, Alexander M., Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 12 P. 283–355.
Добавлено: 10 августа 2026 г.
David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 1 P. 1–25.
Добавлено: 10 августа 2026 г.
Polyakov S., Smeshkova L., Лапин В. О. и др., Veredas do Direito 2026 Vol. 23 No. 11 Article e237531
Добавлено: 27 июля 2026 г.
Самойлов О. М., Татарко А. Н., Вопросы теоретической экономики 2026 № 2 С. 209–228
В статье представлен теоретический обзор литературы за последние десять лет, посвящённой анализу социально-психологических факторов доверия искусственному интеллекту. Повсеместное внедрение автоматизированных ИИ-систем, связанное с ожидаемым экономическим ростом, снижением ресурсных затрат и оптимизацией ряда рабочих процессов, на практике зачастую сталкивается с недоверием пользователей к новым инструментам и отсутствием готовности трансформировать классические рабочие процессы. Совокупность факторов снижения доверия ...
Добавлено: 21 мая 2026 г.
Кирсанова Е. Е., Пакшин П. К., Право и экономика 2026 № 3 (456) С. 26–34
В статье рассматривается вопрос правового режима интеллектуальной собственности, созданной искусственным интеллектом. Изменения существующей правовой базы в сторону признания искусственного интеллекта субъектом права нарушат обоснование и фундаментальные принципы системы интеллектуальных прав. В статье представлен обзор разных взглядов на обоснование предоставления авторских прав на созданные искусственным интеллектом произведения. Автор отмечает, что в некоторых юрисдикциях авторские права таким ...
Добавлено: 28 апреля 2026 г.
Karpov A., Двойникова А. А., Ryumina E., , in: Lecture Notes in Networks and SystemsVol. 776.: Springer, 2023. P. 3–13.
Добавлено: 25 апреля 2026 г.
Пакшин П. К., Legal Issues in the Digital Age 2026 Vol. 7 No. 1 P. 32–48
Искусственный интеллект выполняет значимую функцию в процессе автоматизации, минимизируя операционное участие человека в таких сферах, как медицина, искусство и юриспруденция. Несмотря на исторически тесную взаимосвязь искусства и технологий, именно генеративный искусственный интеллект расширил потенциал для творческой деятельности. Существенным катализатором этого процесса стало распространение предобученных систем искусственного интеллекта, интенсифицировавших развитие технологий в области обработки естественного языка ...
Добавлено: 31 марта 2026 г.
Добавлено: 16 февраля 2026 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Studia Logica 2017 Vol. 105 No. 2 P. 407–429
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general. ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Studia Logica 2023 Vol. 111 No. 2 P. 251–280
Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 2 Article jzae042
This paper is concerned with a two-sorted probabilistic language, denoted by QPL, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of QPL containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from [Fagin et al. 1990, Section 6]. ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Добавлено: 26 декабря 2025 г.