Login / Signup

Induction for positive almost sure termination.

Isabelle Gnaedig
Published in: PPDP (2007)
Keyphrases
  • positive and negative
  • machine learning
  • inductive learning
  • inductive logic programming
  • real world
  • data mining
  • computer vision
  • decision trees
  • lower bound
  • rule induction
  • subgroup discovery