Inferring Termination Conditions for Logic Programs Using Backwards Analysis.

Samir Genaim Michael Codish

Published in: LPAR (2001)

Keyphrases

logic programs
logic programming
answer set programming
stable models
answer sets
artificial intelligence
fixpoint
high level
background knowledge
deductive databases
partial deduction