Login / Signup
Model Generation with Existentially Quantified Variables and Constraints.
Slim Abdennadher
Heribert 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