Publications
Publications
P. Faliszewski, J. Mertlová, P. Nunn, S. Szufa, T. Wąs. Distances Between Top-Truncated Elections of Different Sizes, AAAI 2025
P. Nunn, M. Sälzer, F. Schwarzentruber, N. Troquard. A Logic for Reasoning about Aggregate-Combine Graph Neural Networks, IJCAI 2024