Forward-Chaining Planning in Nondeterministic Domains.
Ugur KuterDana S. NauPublished in: AAAI (2004)
Keyphrases
- forward chaining
- symbolic model checking
- backward chaining
- model checking
- defeasible logic
- partial observability
- planning systems
- formal verification
- binary decision diagrams
- symbolic representation
- action selection
- blocks world
- machine learning
- planning domains
- theorem proving
- temporal logic
- np complete
- general purpose
- dynamic programming