Raedt, L. de

variable re nement operator nement number clause example operator formula substitution model quanti assignment lemma re nements chain system re nement operators language interpretation re nement chain search space prenex search nition complexity function theory quanti ed pcnf logic w.r.t inductive logic programming literal management space language l constant proof research prenex conjunctive theorem position function-free cation nite number xi 2 evar range x 2 evar occurrence domain qn xn m triangle shape cj _ l 1 fxi 1 claudien interpretation i qn xn quanti ed section predicate circle order symbol quanti ed clause quanti ed clauses point quanti ed theories 4 n 2 xk 2 evar 2 n 2 2 n 3 forms shan-hwei nienhuys-cheng lemma 5 conjunctive quanti ers argument description logic system pcl language bias 1 2