On Backtracking and Greatest Fixpoints.

Willem P. de Roever

Published in: ICALP (1977)

Keyphrases

constraint satisfaction
logic programs
deductive databases
nonmonotonic reasoning
fixpoint
dependency directed backtracking
search algorithm
default reasoning
search space
information retrieval
backtracking search
computer vision
expert systems
tree search