A Generic Framework for the Analysis and Specialization of Logic Programs.

Germán Puebla Elvira Albert Manuel V. Hermenegildo

Published in: ICLP (2005)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
fixpoint
partial deduction
knowledge representation
term rewriting systems
background knowledge
relational databases
modal logic
stable models
functional programs
existentially quantified