Login / Signup
Exploiting Goal Independence in the Analysis of Logic Programs.
Michael Codish
Maurice Bruynooghe
Maria J. García de la Banda
Manuel V. Hermenegildo
Published in:
J. Log. Program. (1997)
Keyphrases
</>
logic programs
logic programming
answer set programming
fixpoint
term rewriting systems
background knowledge
stable models
normal logic programs
partial deduction
object oriented
answer sets
software engineering
inductive logic programming
prolog programs
logic program updates