A formal treatment of the barendregt variable convention in rule inductions.

Christian Urban Michael Norrish

Published in: MERLIN (2005)

Keyphrases

formal treatment
data sets
neural network
active databases
rule learning
knowledge acquisition
rule sets
rule discovery
social networks
natural language
association rules
classification rules
rule induction
elimination algorithm