Login / Signup

Model Generation with Existentially Quantified Variables and Constraints.

Slim AbdennadherHeribert Schütz
Published in: ALP/HOA (1997)
Keyphrases
  • existentially quantified
  • universally quantified
  • logic programs
  • predicate invention
  • inductive logic programming
  • lower bound
  • constraint satisfaction
  • relational learning