University of Oxford; IMC, PUC & IMFD Chile; DCC, UChile & IMFD Chile; DCC, UChile; DCC, PUC & IMFD Chile; IMFD Chile
Graph Neural Networks;First Order Logic;Expressiveness
The Logical Expressiveness of Graph Neural Networks