Login / Signup

Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas.

Michael Dierkes
Published in: LPAR (1999)
Keyphrases
  • horn clauses
  • inference rules
  • first order logic
  • logic programs
  • inductive logic programming
  • database queries
  • database
  • databases
  • machine learning
  • training data
  • expressive power
  • temporal logic
  • function symbols