TBA
It is known that without synchronization via a global clock one cannot obtain common knowledge by communication. Moreover, it is folklore that without exchanging higher-level information arbitrary ...
Judgment aggregation (JA) offers a generic formal logical framework for modeling various settings where agents must reach joint agreements through aggregating the preferences, judgments, or beliefs...
In recent years there has been a growing interest in studying graph theoretical structures used for designing efficient algorithms in various computational models, such as dynamic, parallel and dis...
Logic and asymptotic combinatorics of Graph Neural Networks
On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs
A new version of content is available.