User-Definable Resource Bounds Analysis for Logic Programs.

Jorge A. Navas Edison Mera Pedro López-García Manuel V. Hermenegildo

Published in: ICLP (2007)

Keyphrases

logic programs
answer sets
logic programming
answer set programming
computational properties
logic program updates
background knowledge
inductive logic programming
fixpoint
stable models
normal logic programs
answer set programs
partial deduction