1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2013 г. Том 6. № 3

Computing Truth of Ligical Statements in Multi-Agents Environment
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (M 44)
Библиографическое описание: McLean, David. Computing Truth of Ligical Statements in Multi-Agents Environment = Исчисление истинных утверждений с помощью операций теории Chance Discovery в многоагентном окружении / David McLean, Vladimir V. Rybakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2013. - Т. 6, № 3. - С. 315-328. - Библиогр.: с. 327-328 (34 назв.). - ISSN 1997-1397.
Аннотация: Представленная статья посвящена построению логических моделей различных версий теории случайных открытий и описанию вычислительных алгоритмов для логических высказываний.
Год издания: 2013
Авторы: McLean David , Rybakov Vladimir
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 6, № 3
Номера страниц: 315-328
Количество экземпляров:

Всего свободно 3 из 3 экземпляров.

  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров
  • Читальный зал Б307 (пр. Свободный, 79, к. Б3-07): свободно 1 из 1 экземпляров
  • Информационно-библиографический отдел (ул. Л. Прушинской, 2, к. 3-06): свободно 1 из 1 экземпляров

Похожие публикации

Multi-Agents` Temporal Logic using Operations of Static Agents` Knowledge

  • Rybakov Vladimir
  • 2022 год

Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

  • Bashmakov Stepan
  • 2016 год

A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents

  • Rybakov V. V. и др.
  • 2008 год

Interval Multi-agent Logic with Reliability Operator

  • Kiyatkin Vladimir и др.
  • 2024 год

Non-standard Logic and Reliability of Information

  • Rybakov Vladimir и др.
  • 2025 год

Criterion of Global Admissibility for Logic IPC

  • Rimatskiy Vitaliy
  • 2023 год

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"

  • Rimatsky Vitaliy и др.
  • 2024 год

Satisfiability in a Temporal Multi-valueted Logic Based on Z

  • Kiyatkin Vladimir и др.
  • 2022 год

Показать ещё