Keyphrases
- domain theory
- abstract interpretation
- termination analysis
- static analysis
- domain knowledge
- explanation based learning
- inductive learning
- model checking
- active rules
- reasoning engine
- active databases
- dynamic analysis
- background knowledge
- training examples
- case base
- data sets
- expert systems
- databases
- database systems
- high level
- decision trees
- artificial intelligence