3 papers
cs.SI2026
Coalgebraic analysis of social systems
Nima Motamed, Nina Otter, Emily Roff
The algebraic analysis of social systems, or algebraic social network analysis, refers to a collection of methods designed to extract information about the structure of a social sy…
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.AI2025
Probabilistic Strategy Logic with Degrees of Observability
Chunyan Mu, Nima Motamed, Natasha Alechina +1
There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are u…