3 papers
cs.FL2026
Temporal Causal Models as a Model of Computation
Maksim Gladyshev, Natasha Alechina, Brian Logan
Causal models, also known as Structural Equation Models (SEM), are a well-known formalism for representing and reasoning about causal dependencies between events. In this paper, we…
cs.AI2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani +2
Structural Equation Models (SEM) are the standard approach to representing causal dependencies between variables in causal models. In this paper we propose a new interpretation of…
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…