Login / Signup
A Generic Framework for the Analysis and Specialization of Logic Programs.
Germán Puebla
Manuel V. Hermenegildo
Elvira Albert
Published in:
WLPE (2005)
Keyphrases
</>
logic programs
logic programming
answer sets
answer set programming
inductive logic programming
background knowledge
fixpoint
stable models
monotonicity constraints
strong equivalence
expert systems
expressive power
horn clauses
prolog programs