A calculus for the common rules of ∧ and ∨.

Wolfgang Rautenberg

Published in: Stud Logica (1989)

Keyphrases

classification rules
rule sets
genetic algorithm
decision rules
production rules
database
real world
knowledge base
decision trees
association rules
domain knowledge
genetic programming
automated deduction
logical rules