Login / Signup

Solving Recursion-Free Horn Clauses over LI+UIF.

Ashutosh GuptaCorneliu PopeeaAndrey Rybalchenko
Published in: APLAS (2011)
Keyphrases
  • horn clauses
  • inference rules
  • first order logic
  • inductive logic programming
  • conceptual clustering
  • database queries
  • lattice theory
  • high level
  • domain knowledge
  • logic programs
  • function symbols