Login / Signup

What is a Horn Clause in Partial Logic?

Tore Langholm
Published in: JELIA (1990)
Keyphrases
  • horn clauses
  • first order logic
  • lattice theory
  • logic programs
  • inference rules
  • inductive logic programming
  • database queries
  • logic programming
  • fault models
  • data mining
  • domain knowledge
  • text classification