Login / Signup

Precise pair-sharing analysis of logic programs.

Vitaly LagoonPeter J. Stuckey
Published in: PPDP (2002)
Keyphrases
  • logic programs
  • answer sets
  • logic programming
  • answer set programming
  • inductive logic programming
  • stable models
  • fixpoint
  • general purpose
  • background knowledge
  • computational properties