Efficient Induction of Executable Logic Programs from Examples.

Nobuhiro Inuzuka Hirohisa Seki Hidenori Itoh

Published in: ASIAN (1997)

Keyphrases

logic programs
logic programming
inductive logic programming
answer sets
counter examples

functional programs
fixpoint
stable models
answer set programming
background knowledge

normal logic programs
prolog programs
partial deduction
machine learning
strong equivalence

term rewriting systems
logic program updates
expressive power
stable model semantics
semantic web