A Symbolic Approach to Predicate Abstraction.

Shuvendu K. Lahiri Randal E. Bryant Byron Cook

Published in: CAV (2003)

Keyphrases

high level
symbolic representation
first order logic
low level
intermediate level
multimedia
decision trees
image segmentation
logic programs
decision theoretic planning
symbolic reasoning
symbolic description
connectionist learning
associative learning