W91-0112 Convert the clauses to be used for goal expansion into the canonical form . In
W90-0118 Finally , the devices of top-down goal expansion , traversal algorithms , and
W90-0118 process account begins . Top-Down Goal Expansion . Top-down expansion of a discourse
C90-2060 introduce a mixed top-downPoottom-up goal expansion strategy , in which only selected
W90-0118 computational formalisms such as top-down goal expansion , traversal al - gorithms , and
P04-1031 et al. , 1992 ) , deterministic goal expansion ( Doerre , 1993 ) , and guard
hide detail