Decidability of Graph Neural Networks via Logical Characterizations.
Michael BenediktChia-Hsuan LuBoris MotikTony TanPublished in: CoRR (2024)
Keyphrases
- neural network
- pattern recognition
- graph theory
- description logics
- random walk
- genetic algorithm
- graph representation
- directed acyclic graph
- directed graph
- graph matching
- graph theoretic
- feed forward
- connected components
- artificial neural networks
- query answering
- fuzzy logic
- radial basis function
- multilayer perceptron
- bipartite graph
- fuzzy systems
- graph model
- graph partitioning
- multi layer
- logical representation
- expert systems
- spanning tree
- graph structure
- neural nets
- neural network model