1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann +1
The design and application of multi-agent systems (MAS) require reasoning about the effects of modifications on their underlying structure. In particular, such changes may impact t…
cs.LO2024★ 1 cited
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
Vitaliy Dolgorukov, Rustam Galimullin, Maksim Gladyshev
Logics for resource-bounded agents have been getting more and more attention in recent years since they provide us with more realistic tools for modelling and reasoning about multi…