Sign in
Determinacy Analysis for Logic Programs Using Mode and Type Information.
Pedro López-García
Francisco Bueno
Manuel V. Hermenegildo
Published in:
LOPSTR (2004)
Keyphrases
</>
logic programs
logic programming
background knowledge
answer sets
answer set programming