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

Satisfiability in a Temporal Multi-valueted Logic Based on Z
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (K 50)
Библиографическое описание: Kiyatkin, Vladimir. Satisfiability in a Temporal Multi-valueted Logic Based on Z = Выполнимость во временной логике с мультиозначиванием, основанной на Z / V. R. Kiyatkin, A. V. Kosheleva. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2022. - Т. 15, № 1. - С. 56-74. - Библиогр.: с. 72-74. - ISSN 1997-1397.
Аннотация: Статья продолжает серию работ В. В. Рыбакова, посвященных свойствам логик с мультиозначиванием и в которых предложен новый подход для моделирования знаний и рассуждений агентов в мультиагентной среде. В нашей работе доказано, что проблема выполнимости во временной логике с мультиозначиванием, основанной на Z, разрешима.
Год издания: 2022
Авторы: Kiyatkin Vladimir , Kosheleva Anna
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 15, № 1
Номера страниц: 56-74
Количество экземпляров:

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

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

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

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

  • Rybakov Vladimir
  • 2022 год

Satisfiability in Boolean Logic (SAT problem) is polynomial?

  • Rybakov Vladimir
  • 2021 год

Interval Multi-agent Logic with Reliability Operator

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

Non-standard Logic and Reliability of Information

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

On the Interpolation Problem for Bounded A (z)-analytic Functions

  • Shoimkulov Bakhodir и др.
  • 2025 год

Decidability of Multi-modal Logic LTK of Linear Timeand Knowledge

  • Lukyanchuk Alexandra
  • 2013 год

Computing Truth of Ligical Statements in Multi-Agents Environment

  • McLean David и др.
  • 2013 год

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

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

Показать ещё