Login / Signup

Solving non-linear Horn clauses using a linear Horn clause solver.

Bishoksan KafleJohn P. GallagherPierre Ganty
Published in: HCVS@ETAPS (2016)
Keyphrases
  • horn clauses
  • first order logic
  • logic programs
  • inference rules
  • inductive logic programming
  • boolean formula
  • lattice theory
  • database queries
  • jigsaw puzzle
  • high level
  • query language
  • data model