Login / Signup
Adding New Rules to an LCF-style Logic Implementation.
Konrad Slind
Published in:
TPHOLs (1992)
Keyphrases
</>
logical rules
efficient implementation
neural network
association rules
decision rules
databases
association rule mining
rule sets
intuitionistic logic