Learning Logic Programs with Neural Networks.

Rodrigo Basilio Gerson Zaverucha Valmir Carneiro Barbosa

Published in: ILP (2001)

Keyphrases

logic programs
neural network
logic programming
background knowledge
learning algorithm
fixpoint
stable models
inductive logic programming
monotonicity constraints
artificial intelligence
high level
relational learning
normal logic programs
partial deduction
term rewriting systems