Proof Rules for Recursive Procedures.

Wim H. Hesselink

Published in: Formal Aspects Comput. (1993)

Keyphrases

logical rules
rule sets
association rules
knowledge based systems
decision rules
rule based systems
association rule mining
classification rules
theorem proving
recursive algorithm
evolutionary algorithm
logic programs
inference engine
active databases
rule extraction
rule generation