Decidability of Graph Neural Networks via Logical Characterizations.

Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan

Browse the full ICALP paper archive.