A Coinduction Rule for Entailment of Recursively Defined Properties.

Joxan Jaffar Andrew E. Santosa Razvan Voicu

Published in: CP (2008)

Keyphrases

association rules
desirable properties
topological properties
database
databases
machine learning
website
bayesian networks
multiresolution
user defined
structural properties
rule learning