?
Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
Vol. 13780.
Хам :
Springer, 2023.
Под общей редакцией: C. Areces, D. Costa
Главы книги
Долгоруков В. В., Maksim Gladyshev, , in: Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected PapersVol. 13780.: Cham: Springer, 2023. P. 56–72.
В статье предлагается динамическая эпистемическая логика, позволяющая моделировать публичные объявления агентов относительно ресурсно-зависимого знания. ...
Добавлено: 31 июля 2022 г.
Язык:
английский
Ключевые слова: dynamic logic
Atlasov B., Сельский А. К., Russian Journal of Information Technology in Sports 2025 Vol. 2 No. 1 P. 13–21
В статье рассматривается текущее состояние глобального рынка технологий виртуальной и дополненной реальности (VR/AR) в спорте, отмечается его рост, хотя и более медленный, чем ожидалось ранее. Особое внимание уделено российскому рынку, где развитие VR-технологий в спорте отстает от мировых лидеров, таких как США, страны ЕС и Китай, но при этом имеет значительный потенциал для роста. Проведен ...
Добавлено: 23 июня 2026 г.
С.Н. Кочеров, Диалог со временем 2026 № 95 С. 5–21
В статье приводятся аргументы в защиту свободы воли. Критикуется подход, основанный на концепции физикализма, с позиций которого жесткие инкомпатибилисты редуцируют сознание человека к активности нейронов мозга, а процессы на всех уровнях бытия – к физическим законам. Хотя физические законы и бессознательная активность мозга обусловливают решения и поступки человека, они не предопределяют его выбор как безальтернативный ...
Добавлено: 23 июня 2026 г.
Космарский А. А., Напреенко И. В., Journal of Cultural Economy 2026 P. 1–4
Добавлено: 23 июня 2026 г.
Михайловский А. В., Journal of Responsible Innovation 2026 Vol. 13 No. 1 P. 1–6
Добавлено: 23 июня 2026 г.
IEEE, 2026.
Добавлено: 23 июня 2026 г.
Добавлено: 22 июня 2026 г.
Herbert A., Cherednichenko O., Lybrand T. и др., International Journal of Molecular Sciences 2025 Vol. 26 No. 6 Article 2422
Добавлено: 22 июня 2026 г.
Ганжа А. Г., Логос 2026 Т. 36 № 1 С. 39–48
Редакторская статья к блоку публикаций и переводов, посвященных звуковым эпистемологиям. Статья последовательно излагает роль и место каждого участника специализированного выпуска журнала и описывает принципы отбора материалов и переводов. ...
Добавлено: 21 июня 2026 г.
Байша О. А., Вестник Санкт-Петербургского университета. Философия и конфликтология 2026 Т. 12 № 1 С. 107–117
В статье анализируется, какие из основополагающих постулатов теории дискурса Э. Ла-клау и Ш. Муфф нашли свое развитие в теории популизма Лаклау и теории агонистиче-ской демократии Муфф. Для этого рассматриваются три основные составляющие дис-курсивной теории. Это дискурсивные механизмы, с помощью которых закрепляются те или иные смыслы; теория коллективной идентичности, которую Лаклау разовьет в те-орию популизма; а ...
Добавлено: 21 июня 2026 г.
Бернацкий М. М., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 3: Филология 2026 № 83 С. 81–100
В публикации представлен комментированный перевод c латинского заметок Жака Гоара к тексту эпиклезы из его «Евхология» (1647). Перевод предваряется вступительной статьей, помещающей текст Гоара в историко-литературный контекст, связанный с греко-латинскими спорами о времени освящения даров, ключевым моментом которых стала полемика об эпиклезе на Флорентийском соборе 1439 г. Комментарии Гоара построены на основе итогов флорентийских дебатов, ...
Добавлено: 21 июня 2026 г.
Лисанюк Е. Н., Прокудин Д. Е., Баймуратов И. Р., Вестник Санкт-Петербургского университета. Философия и конфликтология 2026 Т. 42 № 1 С. 118–130
В статье рассмотрено научное рецензирование как единичный смешанный аргументативный спор между авторами рукописи, направляемой для публикации, и рецензентами, оценивающими ее по определенным критериям. Для нахождения его решений авторы применяют формализм, основанный на абстрактных аргументационных структурах (ААС) с доверительной семантикой расширений. Предложенный метод нахождения решений споров в ходе научного рецензирования состоит из: 1) разметки рецензии; 2) конвертации разметки в JSON; ...
Добавлено: 21 июня 2026 г.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Стогниева О. Н., Чеснокова Н. Е., Отечественная и зарубежная педагогика 2026 Т. 1 № 3 (115) С. 123–131
Внедрение генеративных инструментов искусственного интеллекта в образовательную практику актуализирует проблему педагогически обоснованного использования данных технологий при создании образовательного видеоконтента, который всё чаще применяется в языковом и профессионально-ориентированном обучении.
Цель статьи — провести сравнительный анализ образовательного видеоконтента, созданного с применением генеративных ИИ-инструментов, с позиций теории когнитивной нагрузки и принципов педагогического дизайна, а также выявить дидактические условия повышения ...
Добавлено: 20 июня 2026 г.
Humphrey N., Философский журнал 2026 Т. 19 № 2 С. 99–106
Ощущения представляют собой наше субъективное «схватывание» сенсорнойстимуляции – то, какие чувства вызывают красный свет, падающий на сетчатку,соль, растворяющаяся на языке, шип, впивающийся в кожу. Они передают – на языке феноменальных свойств, – каков этот опыт для нас. Поскольку они выражают реальность этого субъективного отношения, их нельзя считать иллюзорными. Это отношение, каким бы магическим оно ни ...
Добавлено: 19 июня 2026 г.
Горбачев М. Д., Философский журнал 2026 Т. 19 № 2 С. 107–117
Данная публикация представляет собой комментарий к переводу статьи Николаса Хамфри «Redder than Red. Illusionism or Phenomenal Surrealism?», где он предлагает, как может показаться, альтернативный иллюзионистской теории сознания подход – феноменальный сюрреализм. Его главная идея заключается в том, что наш субъективный опыт более реален, чем объективная реальность, поскольку в последней нет, например, смешного, прекрасного или страшного ...
Добавлено: 19 июня 2026 г.
Cherednichenko O., Herbert A., Попцова М. С., Computational and Structural Biotechnology Journal 2025 Vol. 27 P. 992–1000
Добавлено: 19 июня 2026 г.
Переяслов А. Д., Коммуникации. Медиа. Дизайн 2024 Т. 9 № 2 С. 109–131
Автор статьи предлагает расширить понимание креативности в поле исторического материализма. Приводятся примеры отражения внеэконмических проявлений креативности в различных гуманитарных науках. Особый акцент делается на теории социального действия и социологической теории креативности Х. Йоаса. ...
Добавлено: 19 июня 2026 г.
В декабре 2025 г. в Институте философии РАН состоялся «круглый стол» с международным участием на тему «Социальное программирование как методологический инструмент сетевой самоорганизации: проблемы и тенденции». Организаторы «круглого стола» – журнал «Вопросы философии» и представители научного проекта № 25-28-00707 «Социальное программирование как проблема сетевой самоорганизации», поддержанного Российским научным фондом. В обсуждении приняли участие философы-эпистемологи, специалисты ...
Добавлено: 18 июня 2026 г.
Анненков А. Н., Нестеров Р. А., Моделирование и анализ информационных систем 2026 Т. 33 № 2 С. 176–205
Декларативные модели процессов широко используются в process mining для гибкого описания поведения
процессов с помощью наборов ограничений. Однако модели, автоматически извлекаемые из журналов событий, могут содержать несогласованные ограничения, что затрудняет их интерпретацию и делает их непригодными для исполнения, проверки соответствия или дальнейшего анализа. Существующие методы анализа согласованности либо опираются на автоматные конструкции с высокой асимптотической сложностью ...
Добавлено: 18 июня 2026 г.
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Славнов С. А., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477–492
Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n
для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...
Добавлено: 27 февраля 2013 г.