Construction of an Explicit Basis for Rules Admissible in Modal System S4.

Vladimir V. Rybakov

Published in: Math. Log. Q. (2001)

Keyphrases

association rules
starting point
construction process
rule induction
modal logic
databases
multiscale
production rules
association rule mining
logic programs
quantitative measures
rule mining
active databases
database
decision making
artificial intelligence
genetic algorithm
neural network
data sets