brute force
connectionist
context-free
depth-first
deterministic
generalize
heuristic
iterative
look-ahead
minimization
multi-step
non-canonical
non-deterministic
object-oriented
probabilistic
recursive
reductionistic
steepest-descent
top-down