Execution of Logic Programs by Iterative Deepening A* SLD-Tree Search.
Roland OlssonPublished in: BIT (1993)
Keyphrases
- logic programs
- tree search
- iterative deepening
- logic programming
- search tree
- search algorithm
- branch and bound
- alpha beta
- constraint propagation
- depth first search
- mathematical programming
- background knowledge
- state space
- evaluation function
- path finding
- memory efficient
- optimal solution
- game tree
- mobile robot
- search space
- combinatorial optimization
- linear programming
- heuristic search algorithms
- data structure