Keyphrases
- sat solving
- satisfiability problem
- np complete
- propositional logic
- planning process
- planning problems
- neural network
- goal oriented
- stochastic domains
- action selection
- production planning
- plan generation
- decision procedures
- mixed initiative
- ai planning
- plan recognition
- heuristic search
- orders of magnitude
- decision support
- multi agent