Sign in

Determinacy Analysis for Logic Programs Using Mode and Type Information.

Pedro López-GarcíaFrancisco BuenoManuel V. Hermenegildo
Published in: LOPSTR (2004)
Keyphrases
  • logic programs
  • logic programming
  • background knowledge
  • answer sets
  • answer set programming