On Backtracking and Greatest Fixpoints.
Willem P. de RoeverPublished in: Formal Description of Programming Concepts (1977)
Keyphrases
- logic programs
- search algorithm
- constraint satisfaction
- deductive databases
- dependency directed backtracking
- fixpoint
- nonmonotonic reasoning
- search space
- databases
- constraint propagation
- database
- hidden markov models
- autoepistemic logic
- conflict directed
- backtracking search
- tree search
- search tree
- modal logic
- constraint programming
- special case
- computational complexity
- neural network