Login / Signup

Using Call/Exit Analysis for Logic Program Transformation.

Dmitri BoulangerMaurice Bruynooghe
Published in: LOPSTR (1994)
Keyphrases
  • logic programs
  • logic programming
  • language model
  • background knowledge
  • answer set programming
  • bayesian networks
  • inductive logic programming
  • answer sets
  • stable models
  • counter examples
  • partial deduction