Multi-Agents` Temporal Logic using Operations of Static Agents` Knowledgeстатья из журнала
Похожие публикации
Satisfiability in a Temporal Multi-valueted Logic Based on Z : статья из журнала
- Kiyatkin Vladimir и др.
- 2022 год
Decidability of Multi-modal Logic LTK of Linear Timeand Knowledge : статья из журнала
- Lukyanchuk Alexandra
- 2013 год
Interval Multi-agent Logic with Reliability Operator : статья из журнала
- Kiyatkin Vladimir и др.
- 2024 год
Computing Truth of Ligical Statements in Multi-Agents Environment : статья из журнала
- McLean David и др.
- 2013 год
Satisfiability in Boolean Logic (SAT problem) is polynomial? : статья из журнала
- Rybakov Vladimir
- 2021 год
Bimodal Cluster Temporal Logic: Local Filtration, Stabilization, and Decidability : статья из журнала
- Petrov Kirill и др.
- 2026 год
A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents : статья из журнала
- Rybakov V. V. и др.
- 2008 год
Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : статья из журнала
- Rimatsky Vitaliy и др.
- 2024 год
Non-standard Logic and Reliability of Information : статья из журнала
- Rybakov Vladimir и др.
- 2025 год
Specific Damping Capacity of Layered Structures with a Layer of Dissipative Metamaterial under… : статья из журнала
- Skripnyak Vladimir и др.
- 2024 год
Thawing of Permafrost During the Operation of Wells of North-Mukerkamyl Oil and Gas Field : статья из журнала
- Filimonov Mikhail и др.
- 2021 год
Computer-aided Design of Polymer-based Composites Using Multi-scale Models : статья из журнала
- Panin Sergey и др.
- 2024 год
On Calculation of Bending of a Thin Orthotropic Plate Using Legendre and Chebyshev Polynomials of… : статья из журнала
- Germider Oksana и др.
- 2024 год
