Learning local and recognizable Ω-languages and monadic logic programs.

Ahmed Saoudi Takashi Yokomori

Published in: EuroCOLT (1993)

Keyphrases

logic programs
logic programming
background knowledge
answer set programming
stable models
answer sets
fixpoint
refinement operators
deductive databases
strong equivalence
expressive power
inductive logic programming
computational properties
stable model semantics
normal logic programs
monotonicity constraints