A Framework for Intelligent Backtracking in Logic Programs.

Vipin Kumar Yow-Jian Lin

Published in: FSTTCS (1986)

Keyphrases

logic programs
logic programming
abductive logic programming
abductive reasoning
background knowledge
answer set programming
answer sets
fixpoint
stable models
extended logic programs
term rewriting systems
computational properties
normal logic programs
prolog programs
stable model semantics