Sign in

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

Chencheng LiangPhilipp RümmerMarc Brockschmidt
Published in: CoRR (2022)
Keyphrases
  • horn clauses
  • first order logic
  • image representation
  • logic programs
  • inference rules
  • data sets
  • keywords
  • query processing
  • function symbols