The axiom of choice, a benign matter for the non-logician, puzzles mathematicians. Today, it manifests itself in a strange way: it takes, depending on the axiom’s variants, either two or infinity of colors to resolve a coloring problem. Just as the parallels postulate seemed obvious, the axiom of choice has often been considered true and beyond discussion. The inventor of set theory, Georg Cant...

Similarly to other connectionist models, Graph Neural Networks (GNNs) lack transparency in their decision-making. A number of sub-symbolic approaches have been developed provide insights into the GNN decision making process. These are first important steps on way explainability, but generated explanations often hard understand for users that not AI experts. To overcome this problem, we introduc...