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...
প্রধান লেখক: | Tena Cucala, D, Cuenca Grau, B |
---|---|
বিন্যাস: | Conference item |
ভাষা: | English |
প্রকাশিত: |
IJCAI Organization
2024
|
অনুরূপ উপাদানগুলি
-
On the correspondence between monotonic max-sum GNNs and datalog
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2023) -
On the correspondence between monotonic max-sum GNNs and Datalog
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2023) -
Stratified negation in datalog with metric temporal operators
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2021) -
DatalogMTL with negation under stable models semantics
অনুযায়ী: Wałęga, PA, অন্যান্য
প্রকাশিত: (2021) -
The stable model semantics of datalog with metric temporal operators
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2023)