Exploring Representation of Horn Clauses using GNNs (Extended Technique Report).

Chencheng Liang Philipp Rümmer Marc Brockschmidt

Published in: CoRR (2022)

Keyphrases

horn clauses
first order logic
image representation
logic programs
inference rules
data sets
keywords
query processing
function symbols