A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting AgentsIn this paper we introduce a temporal
multi-agent logic S4IA T , which implements interacting
Multi-agent pathfinding with continuous timeMulti-Agent Pathfinding (MAPF) is the problem of finding paths for multiple
agents such that each
Simulating city-level airborne infectious diseases characteristics. The
system is currently being used in an attempt to understand the outbreak of influenza
The structure of the managerial system of higher education’s development of the quality of higher education as factor for development of the
system and reconcile of the education
agents Application of supercomputer technologies for simulation of socio-economic systems simulation of
multi-agent social
systems and that is not less important, it belongs to the priority areas