On the Hybrid Propositional Encodings of Planning.
Amol Dattatraya MaliPublished in: Comput. Intell. (2002)
Keyphrases
- planning problems
- strips planning
- propositional logic
- causal graph
- ai planning
- pseudo boolean constraints
- sat solving
- sat encodings
- blocks world
- heuristic search
- multi valued
- statistical relational learning
- planning process
- planning systems
- hybrid learning
- orders of magnitude
- decision support
- multi agent
- plan generation
- goal oriented
- default logic
- first order logic