Global Explainability of GNNs via Logic Combination of Learned Concepts.
Steve AzzolinAntonio LongaPietro BarbieroPietro LiòAndrea PasseriniPublished in: ICLR (2023)
Keyphrases
- boolean logic
- predicate logic
- data sets
- decision trees
- digital circuits
- logic programming
- concept learning
- knowledge structures
- key concepts
- formal concept analysis
- logical rules
- mathematical theory
- set theory
- classical logic
- modal logic
- description logics
- domain knowledge
- information retrieval
- neural network
- databases