A Resolution Rule for Well-Formed Formulae.
K. S. H. S. R. BhattaHarish KarnickPublished in: FSTTCS (1988)
Keyphrases
- high resolution
- consequence finding
- sampling rate
- low resolution
- association rules
- rule learning
- active databases
- rule sets
- knowledge discovery
- information retrieval
- machine learning
- bayesian networks
- expert systems
- real time
- database systems
- case study
- decision making
- artificial intelligence
- inductive logic programming
- automatically generated
- neural network
- rule generation
- data sets