Bridging max graph neural networks and datalog with negation

We consider a general class of data transformations based on Graph Neural Networks (GNNs), which can be used for a wide variety of tasks. An important question in this setting is characterising the expressive power of these transformations in terms of a suitable logic-based language. From a practica...

Full description

Bibliographic Details
Main Authors: Tena Cucala, D, Cuenca Grau, B
Format: Conference item
Language:English
Published: International Conference on Knowledge Representation and Reasoning 2024