Sign in

Extending Horn Clause Logic with Implication Goals.

Laura GiordanoAlberto MartelliGianfranco Rossi
Published in: Theor. Comput. Sci. (1992)
Keyphrases
  • horn clause logic
  • data sets
  • representation language
  • databases
  • logic programming
  • background knowledge
  • data mining
  • genetic algorithm
  • artificial intelligence
  • relational databases
  • domain knowledge