Iterative Induction of Logic Programs, An approach to logic program synthesis from incomplete specifications.

Published in: AI Commun. (1999)

Keyphrases

recursive programs
program synthesis
logic programs
inductive logic programming
logic programming
answer set programming
stable models
general purpose
integrity constraints
relational learning
partial deduction