Polynomial-Time MAT Learning of Multilinear Logic Programs.

Kimihito Ito Akihiro Yamamoto

Published in: ALT (1992)

Keyphrases

logic programs
background knowledge
logic programming
answer sets
fixpoint
inductive logic programming
stable model semantics
refinement operators
prolog programs
answer set programming
stable models
computational properties
normal logic programs
term rewriting systems