Rule Validation Based on Logical Deduction.

Ping Wu Stanley Y. W. Su

Published in: CIKM (1993)

Keyphrases

programming language
rule learning
rule sets
active databases
rule induction
database
databases
association rules
theorem proving
real time
rule discovery
inference rules
knowledge based systems
knowledge base
logical framework
rule generation
automated theorem proving
automated deduction
logical rules