Abstraction for Safety, Induction for Liveness.

Published in: AMAST (2004)

Keyphrases

constructive induction
inductive learning
concept learning
subgroup discovery
data sets
high level
inductive logic programming
rule induction
oblique decision trees
databases
induction algorithms
decision theoretic planning
functional programs
abstraction hierarchy