Most Specific Logic Programs.

Kim Marriott Lee Naish Jean-Louis Lassez

Published in: Ann. Math. Artif. Intell. (1990)

Keyphrases

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