Efficient EM Learning with Tabulation for Parameterized Logic Programs.

Yoshitaka Kameya Taisuke Sato

Published in: Computational Logic (2000)

Keyphrases

logic programs
background knowledge
logic programming
answer set programming
refinement operators
stable models
inductive logic programming
answer sets
fixpoint
high level
expectation maximization
partial deduction