no code implementations • 8 Aug 2022 • Sophia Knight, Pavel Naumov, Qi Shi, Vigasan Suntharraj
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples.
no code implementations • 4 Dec 2020 • Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
We describe a model for polarization in multi-agent systems based on Esteban and Ray's classic measure of polarization from economics.
Multiagent Systems