Foundations of Inductive Logic Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) [Paperback]

algorithm  answer  atoms  c1  c2  called  case  chapter  clauses  co  complete  concept  contains  correct  covers  definite  definition  derivation  does  downward  example  exists  false  figure  find  finite  first  following  follows  form  formula  function  general  generalization  given  goal  ground  hence  herbrand  ii  implication  input  instance  interpretation  knowledge  language  least  lemma  let  literals  logic  may  model  need  negative  normal  note  now  number  operator  order  polynomial  positive  predicate  previous  problem  program  proof  prove  refinement  refutation  resolution  resolvent  respect  result  rule  section  see  set  show  since  specialization  step  substitution  subsumes  subsumption  suppose  symbol  terms  theorem  theory  thus  time  tree  true  truth  two  use  used  variables