A Gaze into the Internal Logic of Graph Neural Networks, with Logic.

Published in: ICLP Technical Communications / Doctoral Consortium (2022)

Keyphrases

neural network
logic programming
classical logic
modal logic
graph theory
random walk
predicate logic
back propagation
defeasible logic
logical framework
proof theory
asynchronous circuits
automated reasoning
graph theoretic
recurrent neural networks
fault diagnosis
pattern recognition
genetic algorithm