Login / Signup
A Generic Framework for the Analysis and Specialization of Logic Programs
Germán Puebla
Elvira Albert
Manuel V. Hermenegildo
Published in:
CoRR (2005)
Keyphrases
</>
logic programs
logic programming
answer set programming
inductive logic programming
answer sets
computational properties
stable models
logic program updates