Keyphrases
- search space
- defeasible logic
- constraint propagation
- propositional theories
- search algorithm
- theorem proving
- optimal solution
- metaheuristic
- heuristic search
- reduce the search space
- search strategy
- constraint satisfaction problems
- prune the search space
- theoretical framework
- search tree
- branch and bound
- design theory
- complete search
- sat solvers
- horn clauses
- legal reasoning
- decision procedures
- combinatorial search
- effective pruning
- global optimum
- neural network
- rule base
- state space
- np hard
- computational properties
- inductive logic programming
- constraint programming
- candidate set
- temporal resolution
- image sequences
- artificial intelligence
- genetic algorithm
- machine learning