Non-Failure Analysis for Logic Programs.

Saumya K. Debray Pedro López-García Manuel V. Hermenegildo

Published in: ICLP (1997)

Keyphrases

logic programs
logic programming
stable models
inductive logic programming
fixpoint
normal logic programs
background knowledge
answer set programming
horn clauses
partial deduction
artificial intelligence
answer sets
stable model semantics