MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report)

Paulo Shakarian, Gerardo I. Simari, Robert Schroeder

The modeling of cascade processes in multi-agent systems in the form of complex networks has in recent years become an important topic of study due to its many applications: the ad…