Exploring Representation of Horn clauses using GNNs.

Chencheng Liang Philipp Rümmer Marc Brockschmidt

Published in: PAAR@IJCAR (2022)

Keyphrases

horn clauses
first order logic
inference rules
logic programs
image representation
conceptual clustering
databases
learning algorithm
training data
xml documents
probabilistic model
lattice theory