Learning Efficient Logic Programs.

Published in: IJCAI (2015)

Keyphrases

logic programs
logic programming
background knowledge
refinement operators
machine learning
answer sets
answer set programming
fixpoint
stable models
prolog programs
monotonicity constraints
expert systems
relational databases
normal logic programs
predicate invention
partial deduction